Index

Tests by case feature BagCopiesIn; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
d9c7478d39d2f4a92a1de5b566e809a2a5352129 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BoolTrue True Passed
5148a93623ad62d474a48d9cae9a54d81a5e35f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BoolTrue False Passed
d98b1a0906a65e0af632a8f9e07f3316aee2a0f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BoolFalse True Passed
317ed660b20307969f81988578237ee8bfe94785 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BoolFalse False Passed
677a7e74bade846e1231f366d49623fea40ea780 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BoolSet True Passed
dd09c6091b7f3ee655cc20668ae89a0648ff3dea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BoolSet False Passed
9f6765eff900e97865466b49c40d11c303e7fb66 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn And True Passed
ee63869e2b2c17e37dd413370833246032fa2409 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn And False Passed
dbe564b481f92433c5126b70d807281d93d6a3b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn AndMultiLine True Passed
fbc87bbb4754e31d509c21632657a25a2c8b827a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn AndMultiLine False Passed
1e22959c30d7f7e982fe7cd409e888c12b5aa10e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Imply True Passed
2be4fb8c0309ba8718ff49728bb03ffdc8e95cb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Imply False Passed
7d647c31ff1fd9960c30ce95cfa8a9ba40aa17dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Not True Passed
7ef290e3a830c55ab84583456e11d3e0c729d87f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Not False Passed
de39d613b47e9db1c15ac8239eff7624842c7179 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Or True Passed
862ddb17bcdb7dc13867d70ca54cc7593ea79ccf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Or False Passed
521c5699cbda813c22d178f31d4fcf77303b1b8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn OrMultiLine True Passed
6ebed549027e39fa7be44eb983ac6fdcc300a017 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn OrMultiLine False Passed
308d97fcace89de4a8a156fd9f3437df0d6a863a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Eq True Passed
8ecb938640672e22bcae96855502b04f214d71a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Eq False Passed
a11098dbe49508c4ba15d84cfccf9eef004274aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Ne True Passed
be7cd71afc531eb8dbb9508f437881cb2819eee5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Ne False Passed
f0d45567b55ce3f03831eac4f6973841d8ab9863 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Let True Passed
3570591cb5d9b610312b4f885c388dbff07f4da4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Let False Passed
36ceab1a837b2ec26d138cda1e7ef9576d622a78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SetEmpty True Passed
ab076a15d7226ababb627a2af4f6286cd267c322 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SetEmpty False Passed
eb331483bf1b72b32eed0c2bcb291e2895a0804f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Set0 True Passed
980905942b6e77d9517c7f3df00ba23af093f3ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Set0 False Passed
00fd5d5b8194a755cdbdbefb5d0f99275007648a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Set1 True Passed
c94854cf6b6b130bb2e54c9478b597bcab0e372b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Set1 False Passed
ffe13a01035c0641585137916ab6f9f4262e4fcd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Set2 True Passed
fda87e1e9e6fd389f05f27f35efe06c68380059f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Set2 False Passed
9bc1cef2178a09000f278bcf2e973f16238c6c7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Fun True Passed
467b26d2e7c10b1b261ef02d05f71eac4bbfe896 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Fun False Passed
3b07049bd4471f6387560cd314089bfffedc5b19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn In True Passed
9e5f9f1bc7e8f8a5208eef1130a01373c9b5bb28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn In False Passed
8784cc61a3b2dfe30caa2ce71951dd8d64a6fc0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NotIn True Passed
93c24c6d6041f64ad6039bcf33e9046af0605900 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NotIn False Passed
d09bdb876723059522de44a21125cb402ec407ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Exists True Passed
b6fb39fa28ae9d274283bda39f0cb45bdce3224e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Exists False Passed
82f815997d6ac65e6cc089c3fa6cafa46568bc74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Forall True Passed
e64bad5529b1501a25d5768f960e6827ec981c8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Forall False Passed
50bf92a00e78632b8ad0469a97f8301e9dba3114 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Choose True Passed
5754a5118e90fae26bddc648cc12f1b238b6b053 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Choose False Passed
6379033f2ffbaecafd799785af1b804f013577d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Record True Passed
18277f83300169c088f3a6d3bac41abd399c2c7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Record False Passed
66e0fbd47f3374da075809e00135258ba00c4a4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Tuple True Passed
30ae537cf6288be23b073347efd71569b284b83d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Tuple False Passed
f6d7e82567d040ea5f212f9ff55ae290b305c901 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn TupleEmpty True Passed
f28bdea060caa5fd9cb0eb7400b0fd6bc2e64b14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn TupleEmpty False Passed
f50e684ea6d83006e3ee2a6da1262f4fe794cf5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn FunApp True Passed
277d2ef599139d37d81ece0ba113d6564fe5ad5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn FunApp False Passed
b25a7d512c4b1c6f647182ce13e1351d131cbd1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Prime True Passed
3738158a265ce722c8de7f229bedefe889b392d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Prime False Passed
6331b01768729b02a068c460047df6d098f4fbb8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumZero True Passed
c359c347f659daf4bb475f76876efc088eaeeae7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumZero False Passed
ec55099db398329db842268dbc43d4440d5f60ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumOne True Passed
3786644af5633948001fe5aa02c5a3eda9451a40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumOne False Passed
307fe4c715a56167465f1b5293ba876677d088a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumMaxInt True Passed
5450c1720d1359798de0bb6743fc7d9709be6da8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumMaxInt False Passed
a962f524d69f6f4825f488bf182e5870bf3760fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumUnaryMinus True Passed
9e0c094fd442400f0b7344daae5f64844beda2e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumUnaryMinus False Passed
a0723d38b2655b0d2e8e7822ab7911d5e7b9d5ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumPlus True Passed
2a461fea448536ffba9bb91016ba7713753f32f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumPlus False Passed
1182e4e28d8043cd48b32af6343c89d6679909ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumMinus True Passed
cf6a150d6a4f95a0965d4a6f889bb68996dad9b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumMinus False Passed
1e6fce82330a30718b10d252fbd48994d86424eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumMul True Passed
fa0e98b72df1a9b0e18943e5f557635767a3f90b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumMul False Passed
eb81949a0ccd7e69981e551691d9f9c3abc7ae5d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumDiv True Passed
887ee95df12b43cd8ba4bad4cc15e75d7eb14f2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumDiv False Passed
93673ad4c7c375d417c5012ae83598be4ed8161e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumMod True Passed
3ac597681c54ff7923c8f85cf926716ad3882c1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumMod False Passed
b4b0f7144b4859ebe9de479f15c4a030c6d7c6ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumPow True Passed
7323f8bb82fd087c2087414f78452ed73ce6c21a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumPow False Passed
89fc9e250071852006344728c4e334f4a18fd06e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumGt True Passed
f37de5321c2a54451a7a47cbfbecaca1119cdad3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumGt False Passed
569b3def007d1886fcf8142420a3d1b7e965bcfc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumGe True Passed
3efe69c245f0b6ca613e4e902bb459a59290c507 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumGe False Passed
288c2f48fb3e3a083cbd4ba3ef4a30ad8d119cc8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumLt True Passed
4309bf450dab0b4de8813565f581037be3a7bc4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumLt False Passed
eabe51a6bcd6c81ad332871e40383d13137629af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumLe True Passed
7a5f60ef4757f641be907b261fadfa6b6e5b3875 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumLe False Passed
111432139f7a721e83b2235c6feb9c9c5a9143d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn DefFun True Passed
59b2963d9fd945caa78cdc89f917031448c4348b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn DefFun False Passed
b04ecf423d67dbb68794ac35a02b4e8b2adb9432 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn LetDefFun True Passed
9a4769260f27feded5be913e1f03c119d6af809d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn LetDefFun False Passed
656dd86785944ee109cec32b745e216500c082a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn DefFunRecursive True Passed
7e180d7ee4ca7fa59734c3acdff5054ef0339bcb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn DefFunRecursive False Passed
3602a779203bb95d195ef45e4a145dca135536ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn LetDefFunRecursive True Passed
4a04a5381051d2dfa795b73e7c4b83bd97729365 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn LetDefFunRecursive False Passed
63b1aac0f40dbffc793c82049351026293426ae0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Def0 True Passed
526205c8ff2aa8006afd0c9ca067c88793865b13 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Def0 False Passed
4960d368a397d7ea2a2e0910abbd3216b3862d54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn LetDef0 True Passed
b3cbf89aaad1dc9c4698626a03838f3417b69735 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn LetDef0 False Passed
5804a4f03f1bc51038c4626ef55139a1a0d53051 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Def1 True Passed
256f40313cbfa0d2e5d9c01150db458224572127 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Def1 False Passed
b2065c4012522379522819a5bd898e345f9c3064 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn LetDef1 True Passed
381ca091f7028ee2840b768cdb477688e7f34dbf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn LetDef1 False Passed
67ceb207c28d42fd0273a1193793768b3645233c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Def2 True Passed
d7a171d0eec1496b17f2feba22f3d04c1c19518f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Def2 False Passed
4ccb69599a98e7e5057afbd78f48d7dbb4e6b827 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn LetDef2 True Passed
99f250d2b5b9291d201074348ca17a26e4763e4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn LetDef2 False Passed
0f23cb8dcc476ab8cb19ed6d48426326bba06862 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Def1Recursive True Passed
a2e815cec604b03a68a46a2eb9766ef4412bcff3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Def1Recursive False Passed
2889a2bfde4a13be851e98f618e8ec402d4e7f73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn LetDef1Recursive True Passed
69769c115acd8bbf30523b5427a0c3c40789b782 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn LetDef1Recursive False Passed
9850ede16b82a62409dd9c044adf345c41493136 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Extends True Passed
a386dd3d1c7212a483ee08fcde099764c91a8acd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Extends False Passed
b2c9325d375a15e08426ed39513a537636265a74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn ExtendsInDifferentFolder True Passed
48c8e2ff03e0e28e02525a7b8aceba2d4915eb1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn ExtendsInDifferentFolder False Passed
52bcaca09a97f0bde5df197922f3346daf5f650c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Variable True Passed
d2e053d0cb1a7bdfe1a2a180ca816c5feb92f182 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Variable False Passed
594d1db8a90cfeb350e447ba0c439e2ae3a86eb0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Constant True Passed
326a5a5b6c5c90e18d5613523720e393aa2cc2e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Constant False Passed
d837359f9aef2f2f055840c5f9b989e8c04f7944 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn ConstantRank1 True Passed
ff6dcc7e91c4e6330b4e1c5f23adb0432be543b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn ConstantRank1 False Passed
dd1966b66bba6e2eec546fbff20b03a01baafbe0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Instance True Passed
e83eca2291024a06ae8ad0d4cea200546df8bee8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Instance False Passed
00e01dd2eb0979ebead9ccc3f687be92ff6355c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn InstanceWith True Passed
cd567c54b9438c3ad967f2c777e6103cf9908140 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn InstanceWith False Passed
009b320fb695a533509dc886127ebf2b6e603148 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn InstanceNamed True Passed
2c1924942a6ceb5ed46b92938a35333b70a933ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn InstanceNamed False Passed
850ac2a1ae3eb0dbc1e50cb0cc01506a41109436 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn InstanceNamedWith True Passed
1c8a915a87d604433f6c4717a00426008ed6223b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn InstanceNamedWith False Passed
e60df4c5e2eb479ba6c3b2cf3bcf835fa5aec815 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn InstanceInFolder True Passed
0df0c3f37b77efca9f70f07f8945ca28212bcbca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn InstanceInFolder False Passed
907d499ab3ffd98c574035d00ee77829de99de1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn InstanceWithInFolder True Passed
b3c85d284315c0a4fa8479db3ff34325f9d0458e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn InstanceWithInFolder False Passed
b9aa49142ef44e8e596fa080f06ae2862a0607bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn InstanceNamedInFolder True Passed
e0e94a55d1f6b015e29830532f65a2a4dee56587 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn InstanceNamedInFolder False Passed
61d649ed5a35fbcbb168d3cd188a6c5beaf29f6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn InstanceNamedWithInFolder True Passed
5eded4161c29eb086c589461c46449350380b4df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn InstanceNamedWithInFolder False Passed
69e65b0a8fff7b3b9f5fa194d4691535b0697607 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Enabled True Passed
c19a822432fa22dadf6ff50874af7822c4f416cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Enabled False Passed
3a59ae4d58aaeb5c9cb0d7566dc73bf37854d3b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Cross2 True Passed
53e40f58ccbe160a8f904aea6b0833a95dd1a826 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Cross2 False Passed
68faf987cfbbe3aff1b061ac831189979030aa4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Cross3 True Passed
eec996ec811e47f2df15c789576e9989cfc95b14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Cross3 False Passed
818a386bb2977b398bb900301d5eea6842c16b98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn FunSet True Passed
fe80cc1dab0a04ec2ed4fb0f184f69e34cd83e46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn FunSet False Passed
4537f9832fe514cf61710a348221c67f8dc1faf5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn RecordSet True Passed
e442035371da067c465f03c9d9f646de3e24abfb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn RecordSet False Passed
c8e11dd3eb02ab98d3e62e616a5f7b052c1f9531 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SetDiff True Passed
785e99722c37000405d1b32944d1e85dbdd6227d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SetDiff False Passed
f98a73fef148fa778f703032c2294bcaef157ab2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SetUnion True Passed
cc5fac6a7af42d454e8a7902eb07fab773144381 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SetUnion False Passed
76e84ff5c99bccbda575ad853d91d094afcd3757 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SetIntersect True Passed
da1f67dde40a33492cd301188d038df260d6e771 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SetIntersect False Passed
92d2e830bbfbae53e9597f61e1bcfd5eedf5038f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SubsetEq True Passed
3f64f3a1ab8e919520ee479d7ca45cf5370c7ad0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SubsetEq False Passed
1eea1e1ca9ad1b31cbacb62f5fbcb8122c36c790 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn IfCond True Passed
af1c674d31f0e231e716c2dc1971d9b8da76397d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn IfCond False Passed
a110c238d73d40a2381c7a3d85a54bc80eed175f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn IfThen True Passed
cc799dbc4d1687805723fa1f622d716b1eb6690b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn IfThen False Passed
5fb4f17d969809c929eeaaa1cbb8eb6926b18016 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn IfElse True Passed
80ac0d008f0fe3fcf60128e538b5f2ba7e488fec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn IfElse False Passed
fee6b64297903a755a8e4246f5247ff749ec1bcf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Subset True Passed
af14384de137ae0dd6cb38198f1a61f52fe07e5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Subset False Passed
bfc32c0096f300225ba70d4024f0addaf44b924b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Domain True Passed
05b0030af77bed82a15f293a8b1cb59eb2058166 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Domain False Passed
aaec0e68360ffb0903d78afddea750ff3dda3d2f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Union True Passed
440e409a786459c69b87c8c11cb8651d01caf232 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Union False Passed
1c7162039e565c39ca04065a3486058953660bb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Unchanged True Passed
efcf14c2ae0b95df81d4e55a855a2e8c4c484d1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Unchanged False Passed
72d98e817670b7d3f4a403aef6c59792cd404bea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Equivalence True Passed
66e949ef5f67a91113d579c761fd0d6d70b742f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Equivalence False Passed
83a20ddee7c609a21f9efefabf51320eefd032b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn StringEmpty True Passed
b91cc8374345548b4003e3601035cc3e750ea883 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn StringEmpty False Passed
5d496c2f62970acd52153deb2700b1e90c9bf50b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn String True Passed
8e30fb719a1ac22c141ea375cefe244c86d7a04e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn String False Passed
30d37d846473f6bcacaf876c97f8d5c534e76665 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SeqLen True Passed
dc6b4c5e1c9461edadeb665587498f9cd6f3822d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SeqLen False Passed
30387e8bfcbed0478512b968948e61e0ff4d5afc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SeqConcat True Passed
ffb8535eef0f2df51d7138773dcfc0333447f049 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SeqConcat False Passed
3219625a5a83ef4fd34e8dbb8527052bd6bf2ec8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SeqSelectSeq True Passed
4d242a85f56fc9a82d22888686f7fceb93fbe9ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SeqSelectSeq False Passed
b9255d10bcc2352629d0992ee5e8654c361386e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SeqSubSeq True Passed
b7f85b0b7234ff072402a699710222fc4226fa22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SeqSubSeq False Passed
c30139c78b5f5c62faa31007d82c5873564f7609 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumRange True Passed
1693a046823adf8dc2a6c2d87a91acaf7220843f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumRange False Passed
15116735b83b1fef1ecc9b6b4864e2be2e654f6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn TlcSingletonFun True Passed
01ad789c8e57143b7bec1e0afcf86ed7304c6c5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn TlcSingletonFun False Passed
cf0d12db99cb3b40993a894a3b9ffebb323ecc52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn TlcExtendFun True Passed
3305e80996f4403012b5fb9a40b795119c16ceaa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn TlcExtendFun False Passed
89e385346561cd0a005a8fd5b05ca2b8728fde74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn TlcPermuteFun True Passed
960cdbb94d8213673c3e0d59f4e14952b814a932 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn TlcPermuteFun False Passed
ae4c81e52666a7d2f8856b4bb7574b9a1192862a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn TlcSortSeq True Passed
2822de0025789a445781efc075554e86764d88f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn TlcSortSeq False Passed
b63c62940d11217d4571ad9aad3c9f9a63ab686c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn TlcEval True Passed
061f066d19cdc368eb47c490fb2b53a086203573 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn TlcEval False Passed
879e501d620d2a34645c230b04d6543dfc435427 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagBagToSet True Passed
f44c39819cf801d5d3f2778b7dcd22c7d086442a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagBagToSet False Passed
a15c8bab4bceaeb1d1d8354e8a87a9f04b6a5a41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagSetToBag True Passed
f4b12dc4a8561a555228cd2ca40bde99ebc4738d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagSetToBag False Passed
056ee842b169855ebfebe29f199f04e4869333c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagBagIn True Passed
ca85a8e51025665332869372ced73338f764ebb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagBagIn False Passed
c89a7e1cafe2b1b97edb290836f8dcacc4d4c171 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagEmptyBag True Passed
4903770e775848abd92d6450f583668afd616e5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagEmptyBag False Passed
b90c8251f61642c4f561d6315939d860b3e8ace9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagAddBag True Passed
e0b5aa67dff5cc09ac7fb28971decc5094f726be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagAddBag False Passed
b59f8939aad55de461ef4723766f758ffad2a216 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagBagSub True Passed
b1a483cc04c9c0fd8ed0cc7c2012881abcdbc00f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagBagSub False Passed
e04e088770139cdea7558c12bb157db91c28c508 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagCopiesIn True Passed
d2f7dd58872b3acdca02de992405b8fd0e8c1b05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagCopiesIn False Passed
2f0e3c6be9035c38367e82a71c34057f3e596b1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagSubsetEqBag True Passed
4e640f99b9ccae5a672aee795ab58e9b55d47857 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagSubsetEqBag False Passed
4149274cda7071a43990f0138a3730280f92fb40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagBagUnion True Passed
c02f1d02177b5ef934ffa3932e7447ce6e80326a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagBagUnion False Passed
74f753fe2f174018af087185d63052ca5124ae6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagBagCardinality True Passed
867352d52f31f3fea75f34a30ad1b29cb9a232ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagBagCardinality False Passed
c4b3bfcd0927ac12c2eea137cdb80900a4ff3084 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagBagOfAll True Passed
8190bc43900fdc31d10531bcfa31772ca3b24596 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagBagOfAll False Passed
86a47ef08ac8a1fec913814c089f3ab465b7f716 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagSubBag True Passed
5a486c17c5831cd21291be26bb1a764b98d352dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn BagSubBag False Passed
599b07eb082d344e43825dae5cd24b130699a8a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn FiniteSetsIsFiniteSet True Passed
5c46fef3af4407b43b0d1f76a6159b9ca904e91a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn FiniteSetsIsFiniteSet False Passed
a6511845a319ff44b01515a404ca5829b1185c8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn FiniteSetsCardinality True Passed
10b998e24f270a604f8fdca493efa950c6a5e419 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn FiniteSetsCardinality False Passed
12857760e3e910c5974a523acb3bc2736841f901 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SeqHead True Passed
96e3a451ab13de5ea992a76268a1142d9c7ecbb0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SeqHead False Passed
04b3130dc8245cfc8777283f9caefc5176a5e295 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SeqTail True Passed
a3057b758c5a398db7e1de34f2649ae4e617a62e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SeqTail False Passed
ea94bad8592d278a6e047f216498983fc81d70e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SeqAppend True Passed
b5947cacaa44c32bd2dd7cbfce8f53470182c668 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn SeqAppend False Passed