Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
b546814793290cdbbabd5f3672cc29cddbef706e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse OneLineComment True Passed
b10f034bb74e8c705298a91a6b3d97b03cbe43b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse OneLineComment False Passed
6467c3f09f6cfb3c76091bdb39fc8b1e6ef0aa1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse MultiLineComment True Passed
c018de2db270d28f053081840e58e93df04ec24b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse MultiLineComment False Passed
f159adbd1c75bebf1499148ff2f25083984e1aa6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BoolTrue True Passed
c0ffadc22fd0d0d39a9b393dcd2521ce7837685c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BoolTrue False Passed
87c35d13b088e345960496adbcdcdae240579e8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BoolFalse True Passed
e67cfa6e6a112cc2bb1927f296b01ad960a03e0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BoolFalse False Passed
559bcf3b8557d2503884c4436d22bcff4696d15a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BoolSet True Passed
bd30b104c661ffa8990e60b52c88b6f4bf6cddf1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BoolSet False Passed
6713b908568fb1995ffb05b26c1c24e900a7cef9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse And True Passed
f04a9c2f5ef22e34768e5da19c159d701edb5f42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse And False Passed
b38cff051e140d3934f421aa3e17b2d0bc3d9b91 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse AndMultiLine True Passed
e391e02b068971c5b606b9777df21c89577cade7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse AndMultiLine False Passed
54ca25e8668fec87aabadadb95b03ba80654c55c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Imply True Passed
61f32a50b3ca57c5ae3689d7a64dfddb0c708367 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Imply False Passed
f4bad4f36814ae0a0a4d21ab54ff2ae54b967d02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Not True Passed
efaaaeeb6cd8a88be2e3569b04d35d67b91c74b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Not False Passed
6641e8df3145b5adf7e40552997821295af70271 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Or True Passed
77642cefef1a51d675ea2aa18999989e9565e471 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Or False Passed
23ae7fb293f345217abd4f92135ffab8c5f4d1a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse OrMultiLine True Passed
9a820454e3103d9ec6d207160e7987ef3e744a36 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse OrMultiLine False Passed
6b0da93fb7a91230cc962e955572f902cad938fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Eq True Passed
bce0857fc7dbb75accd409a3a5065e71a19e2ef7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Eq False Passed
671fd5c0bb7f23eb528108ff8f5357a2594b5451 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Ne True Passed
c0befffc15aa858154db97429783efdda2c53678 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Ne False Passed
d79412abd92677fb0d8aac669517978312e0e148 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Let True Passed
3b149e3abf3e8f635a4c9b6273118f826154285c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Let False Passed
af7f20068564c26e06f4c02243b5e98585020941 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SetEmpty True Passed
225a59e61a85982ee97312c66333ded0c63f3ede TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SetEmpty False Passed
d30522ec934db1f3425a509ae329a47d25a26811 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Set0 True Passed
dc526cf08c2da4ccef45a21971a8c94a6df8940f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Set0 False Passed
5462e08821baf1f29c8d65fc68da89a8e3dd45cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Set1 True Passed
505a12507f60f20704c90fa3c82c9548a41da998 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Set1 False Passed
67fd4e28a8001666e41e54c98db9c6fbe235cada TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Set2 True Passed
21320645197a9776ec88a1ff012da359c70b6a17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Set2 False Passed
7a9e269a1c1ba8e59bfa570f8b4f1a2f32c2da05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Fun True Passed
499da9547861ccd2c9eaa311906864b9c7365c15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Fun False Passed
4f6a7a61bdef63c8d9646ca476fad91cd56fb6ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse In True Passed
10dd34bd95719ab47016bbed5a35fd69ae52d90f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse In False Passed
ca7a948a2afafaede2915ee084f8a1466acc23c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NotIn True Passed
d0bb26b45a914bc3dff32408becff0198f1a2b60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NotIn False Passed
c92cc2949bff9ab2382e4a9b41f9a5b1fc2f2df7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Exists True Passed
130e9ff0d2bf0fbb7e2301d01f61f2b1aa16588a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Exists False Passed
41537f74b42a2f1db3709d4c63f6d86acbff097a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Forall True Passed
7e96a37f587b4cd4746226df78dfc30a87d2b8c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Forall False Passed
8c8da3dba718786d4f933f45bc7f106a0272f463 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Choose True Passed
3067668f70138e2114f27f4fa1e9d6fd1d1274ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Choose False Passed
d247c6e164320bc0903dc354ed510d02dca6d201 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Record True Passed
cd1a46e1f6a407a4bc4c67902434fb2915901683 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Record False Passed
88610b9e4c3adb5bbb0e06cee9394b2391339acd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Tuple True Passed
dbb76bc56047aee9095166572abdd10d0eb759d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Tuple False Passed
c4bc818f15f7f5b7935441ba938f35f7806563d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse TupleEmpty True Passed
bbb74fb3904670ac0cfbe44bb2a358096fbac467 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse TupleEmpty False Passed
6ff0a623d0c23be263b56ae2b7837d6c7f721f5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse FunApp True Passed
87f241b850847688c71bbbbe14a1235c839930dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse FunApp False Passed
863751abed9d01d352c6b4e6d4633e6fb487ff16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Prime True Passed
f258537ec151a83a382b2336819d3a893282ff73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Prime False Passed
02d8ecf74773e219f4727bc5f69487b882e79e57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumZero True Passed
ebd13d817b95d999266c81fba7407850a64d2053 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumZero False Passed
dcd0b89bc34031754c80fd4089e93b3376713af4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumOne True Passed
9b02beb13e1ea516e694efcd361ff4a0acd66f5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumOne False Passed
9fad92a7c71fc63a512a61414e8dd84eb9030c5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumMaxInt True Passed
8a0455d39b9d74e58fed010a415f503f86120656 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumMaxInt False Passed
b4350f36a153105ec29efb9e38a5f825c3ddcd68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumUnaryMinus True Passed
9e02022561a3f8b5eb684719c3149df1dde1f3cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumUnaryMinus False Passed
ab56366624cbbfaf2439e6c0fccfbd031b89370a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumPlus True Passed
723e7821f98b32209077a2d3c76fb2b1bd880b82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumPlus False Passed
e6911563900bca8649607b8a4adc8a6949843658 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumMinus True Passed
3e2104fe4c0a6e95f12e66c918cc4d7e3ad5c632 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumMinus False Passed
45b649ac260747e0a607a97750ac38beb6d093f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumMul True Passed
10cf825015b4b77dee2948924b92325e0ebb8eb9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumMul False Passed
8669ad5d07fca584694c7bc396572f5112536a45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumDiv True Passed
1a6f5fff0f8f01b2e72f635ae535cf5e94618b46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumDiv False Passed
f3f01804fb8e36f8ad7380a88383ff41efdcd284 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumMod True Passed
50e36ae251ce980767f943a02e8e44f02e4ba69f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumMod False Passed
52294eae0b199f1d66209435ce698dfc8126f0b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumPow True Passed
1c2a68451871952ada1e769ab1f2e5455d04252f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumPow False Passed
d4bd77f1faa75f1577cdb1295b8e0e1670319a1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumGt True Passed
137c3a3184183a817bc2c6e5b3bd4cacb360949b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumGt False Passed
a8cd836260a70c04fbc5f9a217ceb877287a481c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumGe True Passed
77a8ef11eeb9ecb9a9aefcc9fb7b986523728b37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumGe False Passed
fe9139e4a8a35337fe639e19c46fb95718cb3e94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumLt True Passed
e8df5f5d2d07953cde613a364853b8b6f2c1de3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumLt False Passed
d3c808aff3f0bb0019ba0956bdfc3ff8579adbc1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumLe True Passed
9375595c4394fd8643e3589626d66cd4b4bfa6f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumLe False Passed
f58d2d3be1372fabadbaf246c718f32724536338 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse DefFun True Passed
05cfc9f0f6677de9f939683e7530e63fcb1658d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse DefFun False Passed
05205ecabf40e98953ac964649b2b154ca5cb0ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse LetDefFun True Passed
72be26b29df4ee33fccc699b8f59bc527d4c9baf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse LetDefFun False Passed
bb76e9947de6c4b8f6a4f8b72f1f534d4f43d8b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse DefFunRecursive True Passed
10c6f1c4c5bae710529a317c0af0e7883b36675e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse DefFunRecursive False Passed
55c71e6236d5cef99dbec0c22872cba28ad98d26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse LetDefFunRecursive True Passed
9259dc9c229e39d4a2bd67bea22bf8abb1622f98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse LetDefFunRecursive False Passed
b3bde8f12e2d9693f4c626c9224d6f04c11bd7cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Def0 True Passed
bbd6c30b2bb2e0c035535526ae73537aa6a42226 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Def0 False Passed
33a6f8b8b1bacdb024a3e211f6b5c2dd9aa73ab5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse LetDef0 True Passed
a730d403d37a802146237d16ed58119572ac53d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse LetDef0 False Passed
1ae3b3307b6139dcb3aeeb83fe90a1593a993993 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Def1 True Passed
56c1bff7479f3bdadd74918f89f93942dd651d53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Def1 False Passed
810a06ee9b9934dc4cc1a2467383f9b2e08126c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse LetDef1 True Passed
44afa2b22391fa7ccf31d5ab30ed7d0d6245cf51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse LetDef1 False Passed
8b31ad36f4c56bb621beb246ec43161617af4216 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Def2 True Passed
1a7835612a9bb4d95ee81f793e95603fea9c652b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Def2 False Passed
ddbb80d8724d7c84b2c818efedd0444cf88216d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse LetDef2 True Passed
556e3898400360d0851818202b26736fc09e5469 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse LetDef2 False Passed
c2e0ffd5092e4048e4603e701b384257080b571f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Def1Recursive True Passed
c8f51215aa7caade0d73d60759107e5c8256f396 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Def1Recursive False Passed
b52b1dc559625f44fbe175e66a785c4e6fe73739 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse LetDef1Recursive True Passed
9856ffa7967962772ffc06a4181dd251c6ab781b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse LetDef1Recursive False Passed
0340b84aa29b2174a9dca71b40b037bbf8344918 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Extends True Passed
51e03d316b673d2b8fbd4a5928cdfb0850dd6f96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Extends False Passed
f55047aa4dc37d4783f660e0ed20d7defed1409e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse ExtendsInDifferentFolder True Passed
0abbdac8c03da9c04dfc222e0235beb523beaad8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse ExtendsInDifferentFolder False Passed
a38d349bfe27d1ad2f92195651b1655972dd9ac3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Variable True Passed
e6f196387c297ac2c45ac9dfc440edd2ce67e880 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Variable False Passed
b670b32b785107c2a915adfecc91928b4ec08b90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Constant True Passed
3b55335198be31ab5f9c4d2b53818b263be60340 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Constant False Passed
e69a9a5b6bb7895db84563ffac57d28ac9cf646a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse ConstantRank1 True Passed
181092fd7b0014789bf2371221d88c44bef265e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse ConstantRank1 False Passed
fd2f0e8e1e94a2ccd5788a57ad813bdb353a7b19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Instance True Passed
1474627ceb91eada9a28c6f5d96dce0e9a6a85e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Instance False Passed
7a38b83fc1ead3c57384c245fe5c37082fcf578a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse InstanceWith True Passed
4de927157bf1c35c789765bd5daa16ef1167a356 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse InstanceWith False Passed
614e8454a694583408fb044f2bb0010e6d2ae517 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse InstanceNamed True Passed
6f4edd48440a66808c639c9f84e1302bc25f68fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse InstanceNamed False Passed
d72938f1f134c5e1e0c73d86eaae8b1306c46d37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse InstanceNamedWith True Passed
9b70ef7820b28cf7240c29dac24f3430bdf0e69f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse InstanceNamedWith False Passed
8a4f1d8e82f9273683e093f6a8164add9c6eb9c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse InstanceInFolder True Passed
105e1de7251102534f0bb64fe5fc44767f7a44da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse InstanceInFolder False Passed
d944fceb75bfa8208449d1450e8a44207a5605f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse InstanceWithInFolder True Passed
23d41569b15ce027c835d7a1e741af0b66c8ede5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse InstanceWithInFolder False Passed
788fcbe00f43177238c36baa75810561c5e46700 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse InstanceNamedInFolder True Passed
363f895fb04fba0f4f3d70cde817d741e7a36bda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse InstanceNamedInFolder False Passed
b09727af5dbd44d389a655618ae9f2b947209599 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse InstanceNamedWithInFolder True Passed
3b0242432d10ed1267ea9438f21ee75e3cc10c0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse InstanceNamedWithInFolder False Passed
fa564f3c5c56fc1d1cd06a985ece44a83aa1bac1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Enabled True Passed
d2aa4f97caa5388de10156355e5256e2cb21377a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Enabled False Passed
840bb9e1b45ac00be7c16c0bc14d78a8782562ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Cross2 True Passed
6d161fe508f04dc6b1519ec91d9252b14ac85828 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Cross2 False Passed
56a0de363d7e1009001fb2321a81ad0c1762f6c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Cross3 True Passed
00c3725637937151d2068b4a1cbeec6fb352422f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Cross3 False Passed
5811442169aa8c69f12af35ba25c6d83136916a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse FunSet True Passed
9620cf391c8293457906f62fd5f5260c014a2fe5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse FunSet False Passed
0660c3bd60493e1df0fb34d0fd0333a236489284 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse RecordSet True Passed
08bd15fb2c589a7f9815757dd96d871beef6e7f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse RecordSet False Passed
dbc71384e807b299d1d1473d5237f53036cf465e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SetDiff True Passed
d2567cbbc6425d6d747cf5a804ef1133a77c8278 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SetDiff False Passed
1fff29d9b76c503e619825450410e405f02007e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SetUnion True Passed
d006b69a9b342e1021159a72b2aa72b8db4fc66e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SetUnion False Passed
1e530f506118bdc4ecd2dbc9786bad510f2d7ab3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SetIntersect True Passed
818f900cdc669b1ed2becbf958f6d0d520440eb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SetIntersect False Passed
c82731432c2b9504f0a0c53f34cca464e7a6f512 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SubsetEq True Passed
8ca0274bb049196ab573b51cd34728bb346b40e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SubsetEq False Passed
70822e9497f10e496a7e284180ab499eab45abe2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse IfCond True Passed
7eaecc0d4bb42825d754b1cca3d4bf827de4ffbb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse IfCond False Passed
a96834f038e3e1e864cd475f60e49887c0b5b147 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse IfThen True Passed
25b40057f6693a319d0c1b1fcac672c58b16df54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse IfThen False Passed
de1a51cdb22dff3769c164b84c7eed38c9ff7088 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse IfElse True Passed
11d7ffc45fdba0f8580d922857e3c7c3abe495ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse IfElse False Passed
5dae5051e824bfea171a8cb5581c63700f97bcf3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Subset True Passed
23e9d836c687c5fd07c5abca00f82db86141ee2f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Subset False Passed
786cc60cf51ef5b36b0fc0269fad8de086e7d7d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Domain True Passed
25c89f8d0960e3a0d7a713e059b74279e166b103 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Domain False Passed
a56c97b9d149b70e413d70cb87909b97cfec8fdf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Union True Passed
97d799e8c06541d4f2d79ab2ef3d7425fdfea13c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Union False Passed
16fc25db365792ecb1fdcd61d52d2f83e7165e97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Unchanged True Passed
6bd2b50481f92829b69f6b0995cfa5b550255435 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Unchanged False Passed
614673204f9362da25c7d7461778c78465b240e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Equivalence True Passed
6a3ee94e4a29fc428806cfde0e4eb263edfe6e97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Equivalence False Passed
a56cace1bbe2476843d1a0ef9e07cc2a7cfe0ca6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse StringEmpty True Passed
5fd5f1db35ce2bad829d542cafd734afa549bfee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse StringEmpty False Passed
7b23be2294b7126c6e963ae1d299b6958a4fd315 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse String True Passed
82cd9d9acdfd0edeb9ab2109eee79b0cd380ed07 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse String False Passed
f6487211c8a4b37ea0d63d7398f3510f8be3ff40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SeqLen True Passed
9ff4f1eacf11edaa7c05238747a0524f273aa700 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SeqLen False Passed
e82615fb7c27cdb5549d38bbc4d78f9d16650d49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SeqConcat True Passed
9f719825f8607962130d25587d5ffc38c541a86d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SeqConcat False Passed
b95ba2bb4ae0afc5a92a265b028ebbe2328e448e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SeqSelectSeq True Passed
15da9585490ee350c13eda79a5497c14341575b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SeqSelectSeq False Passed
3332385077d391771798ff91419efab115ec33b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SeqSubSeq True Passed
ac878e77f73f3b2d9a71ee38549ea8b9574f3262 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SeqSubSeq False Passed
4799d76f245e9b41eee858308e91f6f6073f79a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumRange True Passed
1437773d992b5189b7680bd40eb68108218ba449 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumRange False Passed
be715959afd673c19a83245606f23701e073707e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse TlcSingletonFun True Passed
95f82d280528069a9ed26603a6af47cfbf76940b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse TlcSingletonFun False Passed
128b2d21fe701c1756dd815c0b632d4e21b743d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse TlcExtendFun True Passed
5cd5d92ef9d0eb9611bd8311089fd0d6f9c9e0d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse TlcExtendFun False Passed
382c60158824170f966888ed806b630ba1dfd7b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse TlcPermuteFun True Passed
a2e00790cf712c7eafd1b29bdb31d55ba40d0811 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse TlcPermuteFun False Passed
b863219882344788a5d6445268ab0c9fd15150df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse TlcSortSeq True Passed
d783b00fbdf5668cac7d74c3f45fe2a0289c6564 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse TlcSortSeq False Passed
1702312e0d8cd23817f4bd93e57a9c3c29ae7fd9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse TlcEval True Passed
28425281b9c94933fc0b042a0d1758bf36c9bb63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse TlcEval False Passed
030637e043c0dfc8a8187fc6ee64cb28f027d6cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagBagToSet True Passed
a88ea0a1b99ca6c9f5f5e55942c4192f0c07d8ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagBagToSet False Passed
f6edeac246537635c90afc64b5198ddf78dad4e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagSetToBag True Passed
45fb14d72d7558dfaf847a98d3bb9444ecd5dfe0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagSetToBag False Passed
d5c8823c057c2b4ec35535b56c64223cadf50983 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagBagIn True Passed
c3f1bef00cba4b99bab0cffdf68d55fe7c9e1107 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagBagIn False Passed
7724433998bb16df5277636790807aa313c39626 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagEmptyBag True Passed
afc897055e58aa89a9d8d13c5217c8227cf80f55 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagEmptyBag False Passed
2a84deee88d21a7278e725e2941d5edf569ef8af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagAddBag True Passed
a3511dbb2276c6cb571dfa87cffac5e394de71fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagAddBag False Passed
36a9cdc070ad8d4658fc4868c5f36cb66b735293 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagBagSub True Passed
1ea4b31c973decb2f5c678adfbb0aee4cc5ed8fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagBagSub False Passed
e99a724a72e3abfee0977aa32c77927d4000ca75 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagCopiesIn True Passed
4a3a46c40012eabf320bfa08c63b24f327fa9d07 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagCopiesIn False Passed
cf7ac9747eef7cf7641e6e74858f25e82468e198 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagSubsetEqBag True Passed
bda4a552f95d2f58856f3befca235f78b9b6ae84 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagSubsetEqBag False Passed
9f4f64a3d644e135c43d5fc9c4a706154d44a02a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagBagUnion True Passed
7c9495949d0ff4a511cfab49512305359fdc6ca6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagBagUnion False Passed
65b1684615c0e75a8cf740e8a1a71dc0d7a1ae29 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagBagCardinality True Passed
b62b03d828c6f60922b3324aa4d274451177352b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagBagCardinality False Passed
5e58157c1ba868f7c489b065d9ea6cc41d18c438 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagBagOfAll True Passed
1b37a1e2263fc208c0ffad6085cb03281c0ef159 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagBagOfAll False Passed
9b01a83fb745ea1f28314a87a1cbc386d392c9ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagSubBag True Passed
b52af97eade4ed2ebae8697fbe7eaa7a06a8f84c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse BagSubBag False Passed
557c34d7e14c6db2ac761a2999c97570949caa46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse FiniteSetsIsFiniteSet True Passed
79b61141af19b5ca41229392ff013fbe8274979d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse FiniteSetsIsFiniteSet False Passed
cd4140e5746567320121dbe117c42959e45dfbc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse FiniteSetsCardinality True Passed
39e292087a4f2d6d34285976e03938e5668bd7df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse FiniteSetsCardinality False Passed
2c105538a5a713e81094c0cae8487cd7da8bcff4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SeqHead True Passed
ed6dfd3a0e6410081632f04eb1485cae9de9304a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SeqHead False Passed
03869a9637f8f2351bbd638e7ae56587acaf511e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SeqTail True Passed
d42f2c73fec8fdf6a52f29cb1342f8a357a05648 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SeqTail False Passed
be1191f0012f035f4c5e78c21f592d188936182f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SeqAppend True Passed
bc3483c92d939b2616db1186f6d0c25c75b88162 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse SeqAppend False Passed