Index

Tests by plug feature NumRange; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
c9a21b5cebae059fefcbb5ffba3e6dcf1083e2cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq NumRange True Passed
c0b2f22ab691e44404fafd1145679ec7c1ce627a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq NumRange False Passed
1881c5f27bba749c5b44d33fc4235294a5da5f65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumRange True Passed
81567d0b7033bd3cd45ae4cfcd3d344515b384ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne NumRange False Passed
ea5ff54f2e07b8b679e7412764e96a05800188f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumRange True Passed
bc28494b309fee16252188c8f06d506dad9b05ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let NumRange False Passed
3187f47a0707dfc3b00d15800fb43c38a3f49dba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 NumRange True Passed
1fbe5baf54fb95056e680700e444f9bf9f0f209f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 NumRange False Passed
24c3913273fc9cd1d5665cc6514f1e57c504d1bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumRange True Passed
2a348e9d704bd950b2c78955b3ec09f95b0b8a56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 NumRange False Passed
716687bf98cfa9cd2417ab0892c3e73ba19dbe7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumRange True Passed
12cfcc89f10b992d6fb732e2b8ca74d36e884120 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumRange False Passed
5c7f06006c03c250d20d1b20c0110853bd270403 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumRange True Passed
e153e657699b67e3e224b80e643f3695db85909f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun NumRange False Passed
c88bfd956e913fa144b18c930d5c250d678d3b9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumRange True Passed
03cb5e9b27e331337a15bc20fb34fd4b22b54dd0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In NumRange False Passed
d71ffdc6e76a92fea927f9173b0e5e85a3c6aad3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn NumRange True Passed
0e19974ab39d8c2e28fbb074e4de4118f65cd4c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn NumRange False Passed
13b2ee84b29b978e0b9fc76822552fc5f93023fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record NumRange True Passed
8dfd751e3e846f0e3b45f3c7cc35d4c120e4bf9a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record NumRange False Passed
27d8cdc6549d6711cf6a40e5ac6af64ec4a24a9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple NumRange True Passed
a01de9cb48fe8f873ec5518bfaad800297ec4090 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple NumRange False Passed
28091039e00e557a388558a2ec90c052083f1c15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumRange True Passed
6aaa0b0de5dc57513d58356f7159514dad636ea1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumRange False Passed
09d86b683996c54a4ed8c8ee22b8312d8b2c085e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumRange True Passed
566842c5b63d94c604bc88bc27f614d41f958602 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun NumRange False Passed
e3be4ddc5e3bad35f210711ccd8ed028a4cdc4cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt NumRange True Passed
5f3e36420f37db8e380db5010177added6a49f71 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt NumRange False Passed
dc5fbef9d7bc158587dcb649f707af79cd3c2138 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumRange True Passed
222e077eb09ba6557e68e812d798c2a8e8c4e378 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumRange False Passed
9994e515ce6fe06c8ed6779bcbf96101482ab62b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt NumRange True Passed
6a331ba39c5f0407c89af08b7a4d1c781099790f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt NumRange False Passed
ddde51aa6f4496ab8f2ee5b70cc460b4e216e888 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumRange True Passed
b8ec798085d93af0bb108110cb4bbe328e500025 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumRange False Passed
261e1014b7d590df5fa4373414c4f5640c2d18f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime NumRange True Passed
eadd8dc3d52e4e2a9be91dfffb123f337b4ccdfe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime NumRange False Passed
a8fd2bc666f7004dddced98c0086e43c1c09df52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumRange True Passed
64e2038807321b79ff8f159d414c88c124374471 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun NumRange False Passed
a478b9317826b13af853e06db4a2db0cc09af725 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumRange True Passed
f44fdbf7e9ac1630bb13c7ce721f2b5fbeb4fa8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun NumRange False Passed
8fd9ec1dd46317104b9787e66d5476c7a24ef48a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumRange True Passed
a0bb307dc42d62f3833fcf6f3449c04c4a516158 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive NumRange False Passed
4ea3957c063f5cb4c00956e4b591dfdc06dc5a25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive NumRange True Passed
71a50e4c3cde74bf1a365ae0ead7290e204e6bbb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive NumRange False Passed
876d504a30fa5fffa72715f1581e1c92510ef7e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 NumRange True Passed
dfc87f6ad17ea2f050b92e1f67c993103edbab9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 NumRange False Passed
01e93a5577d9a541f344956000ec1e9106727117 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 NumRange True Passed
e0ebc122def5acd0ba0ce5f87609bc27b8bfdabf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 NumRange False Passed
257a87ce3f241102dbe2e4b9f9a3aab6a61166d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumRange True Passed
982eb7a9f465b4f05306ab87ed687f5d76eebb13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumRange False Passed
1fd3bf8e401c56086ba16b17a4f5bcbb407d36ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumRange True Passed
f2bd45930c41bc48c3065e1db56dc5ba686c75f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 NumRange False Passed
a295a84a22ec2c23901b5362bbfe1f46d8fc5bd3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 NumRange True Passed
4a6002187201de981bb4a2e7560304caf97eb7f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 NumRange False Passed
8b7e8db2961ac7c497d8c4e8b56796cd12b95917 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 NumRange True Passed
0e4b6d278d6878bd13ab370eefa841fbadab6a18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 NumRange False Passed
af72568aebcf2c6504ab3d86f803c5e61d58ddab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumRange True Passed
5c7c202b3e898fbca70d0c8fe287b9086c737531 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumRange False Passed
24e7fcf59a57215b3ce5576d42066436677cc9d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive NumRange True Passed
9e9e892736e7965daa6e434388a0af762224f476 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive NumRange False Passed
ba3a0df263da3461b7380c8b1380758daa638bbd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends NumRange True Passed
b7580e93f742378de5c767deb9c92ca34e6316e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends NumRange False Passed
01b35fd6a3139c91d449e4fe928c0b1473521b3c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumRange True Passed
fc7731ec7245b11e17e8532e8663949d130f58d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder NumRange False Passed
37a5b7b969376b013870d2278642b0802068df25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumRange True Passed
4f413469c60ce5448a57ce494d7a4cb813d48853 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable NumRange False Passed
68e23b20274d0663f916dcf0630ac981212fb28c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumRange True Passed
45233199643dccc8c6a0468802ae05dd4085e89a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude NumRange False Passed
2b40b5796caaf1ecfddc4f74495083d37be2c9fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant NumRange True Passed
0295544c0425fdfefcaa3cb0f91ee70d28f9e647 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant NumRange False Passed
808370b549eab3f216a3f4efa881f497ce663ab1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumRange True Passed
f9ef3b64fa04f2a6e1cf48a74c43ac63f998bbc8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumRange False Passed
229b99c0de5809db38e676a5bb3acc434034b489 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance NumRange True Passed
0d70fbfdb132feb787cf9f0afb1abf3c38b4c032 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance NumRange False Passed
e1744fbb8c62dae7e04fc61670ac1f32b1a29e42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumRange True Passed
7e5adc90a4ee3e9c2611d857bd8b2d48ef0c6170 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumRange False Passed
bc80e77cbfc4ece0419376da0ef88dd7686e52c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumRange True Passed
f6adb9180dd548a32dc0f318380abddaa809d750 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumRange False Passed
aba48a50c5c424726b803c30fda911aaf94b71af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumRange True Passed
f25b7cdeeab5bdc6450b5c89a0d41a0cc7c3703e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith NumRange False Passed
006c29a5228fea057d72086b3826febee464e6c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumRange True Passed
77b595f767689fb585415eee1f11f277289a36f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumRange False Passed
d8f2ccbcb86be2efd22f666f7895e7724a918c1c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumRange True Passed
a78189661b53fb436801d929f62fc67d3d4df5ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder NumRange False Passed
b7536bc4b189a18a8a1fa5eb34f577a4a9045ab8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumRange True Passed
ba3b8370adcc448730d3c52c66afecce5cbc7132 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder NumRange False Passed
9b93304d7eb6c40e74abaf38c66fce83bdad2b75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumRange True Passed
50155b739e1ef08261785e637f4ff22fc68b62a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder NumRange False Passed
3fdc2093424147610e7a1e69ebe992cca9b1f6d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda NumRange True Passed
bdd22b5497cc749a62efbf269ce69232a1bba062 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda NumRange False Passed
defa3ad52a40cbf3fb5ef13d6f5c80a1e94675c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 NumRange True Passed
d51f7708baf9c6e86e18861f02ea6adaf442dcd1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 NumRange False Passed
a9958cb7691b37fae8728d5541665586a57b50bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 NumRange True Passed
72b09b4c02f392817837d8246c1286fc0d24d8eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 NumRange False Passed
f6188a9869deb6c93f9e6441eb6cfe97dd458354 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet NumRange True Passed
008a563198ad6481ec83f9d39e65704ed1a9828f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet NumRange False Passed
e6220c5f57da0bc252aac19f2ec718652409ab29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet NumRange True Passed
dd5ef4d9a521ef9a4be62fdac0c37b4ef804e420 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet NumRange False Passed
f5b61edda771fcf8202efc96d53a481b662dde4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff NumRange True Passed
bcc774410855478df7bb88a4d70d034bf385ccbb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff NumRange False Passed
8c5c4d62e7cb3f4fba754711e88b1d8697cf7ec0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion NumRange True Passed
07fe025b008d99c3668f4a8347184783d3ed6eb2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion NumRange False Passed
f7a40cc8945df0687fa84bec48c5cf6398fd79e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect NumRange True Passed
9f81b0d9c0306b75179c8d138562c3df7d2f7ed5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect NumRange False Passed
4478f1d118717ef282aaf10c140600cf137fcae5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq NumRange True Passed
cfc55e5e0aa9fecbd7665cb2608b06bef5683656 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq NumRange False Passed
df8f953944c526e07d753a0fe06fdd06cf7461b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumRange True Passed
da3f35babe279d131ac34b5fb91bdef12dc65f89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumRange False Passed
8bd66fd218ce235c9482402bce740ad3c57096d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumRange True Passed
c65f76fc4ba5a702e688712879bf14396beffe4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse NumRange False Passed
f784b4bbe6ef409318f03f71a2d518eb8d1c9b36 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset NumRange True Passed
27605cd51eb0b088304a3a54378948f4c6b75093 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset NumRange False Passed
8b498ed787126a1bee066bfe3f1323261fed03ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumRange True Passed
bdf45b3c9238196099d1b7099c8c938461a1e489 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged NumRange False Passed
844e0871a080e610ab305b41192b82dafe1689cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq NumRange True Passed
8705512a0f67b8e1e75f09a6c2ea9349e535dc08 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq NumRange False Passed
891ea7c9c758d4ffe668fa141f5f16546a650c06 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumRange True Passed
19bdc126333572436868011a964513f80e880534 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun NumRange False Passed
e92d67d164443d7ae9aecd409cc9ad84ac658ec5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun NumRange True Passed
b03264f3d9dc97eedf7b6bbe7dd5b630001b643d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun NumRange False Passed
956e4ff302dde56158bafa8a6965921690d15710 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumRange True Passed
b492588acdd2656a03bee0f2786280f27cdbdf3c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval NumRange False Passed
55f093ef9f99680d4b22c3755b58bd2eadc82378 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag NumRange True Passed
e6216ab59912bb26ef24279261b036d179bf5610 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag NumRange False Passed
68cf44e39f9bafa726835fa485091c3dd0d55751 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumRange True Passed
47ce6c10a1989bc0c9748cfd4310ff2b72c2c3cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn NumRange False Passed
2bf33edabd32752d5fa83f4d852dd019e18593d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumRange True Passed
cab6f59b79ec2049d1d82f56fe6e400af027767d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn NumRange False Passed
be53cb7f0613ad225418ad94ce95ea032133a02e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet NumRange True Passed
0443a3a8aa3a26b05f2f34e568d22fd8dfc97728 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet NumRange False Passed
a79f12f3e508f119a9d87dd7c358fa75c9e61fbc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality NumRange True Passed
53fbaf4a73b7c2d9a102b618ef1d74fad6a3e68b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality NumRange False Passed
069d1223ce33657bda97faa6f1d57b350f7e684c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumRange True Passed
411b294b74fcfadc1ea2085d97f3c78410a2e351 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend NumRange False Passed