Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
f920a26629619783edf84e33909b3a0665de12c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BoolTrue True Passed
d58b2b4b291d8d80fa0be032242b51e8a225482c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BoolTrue False Passed
5fb9ecb6454eb73a4f744e3355b0321cf09e4567 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BoolFalse True Passed
eafc1aa69a25d45108d2763af10e2d0eeff4135a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BoolFalse False Passed
e76955a7d7fd3ca9f74f3646361d71cdcd0024e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BoolSet True Passed
8295b02dddf159e3508f4fe182de915afcd22fb4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BoolSet False Passed
49e3f4d47747354bf6c857edf29d5ac26347b478 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In And True Passed
000a4e4b9a2c1dfd8e64ae1d4931587b08b74234 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In And False Passed
ef88f52d0f9220c5156634365d6a545443c1e945 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In AndMultiLine True Passed
84ff5c7c0de8f2af6f0b6b4c11ed259ab7d2c403 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In AndMultiLine False Passed
3186d82f99bdd1a98aa10b629bf4c8d3fd4bb15f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Imply True Passed
11fcedc9a62e23155e97e5ecc42b148295005b69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Imply False Passed
5c04a80bc927bd0f964e821768c197cada5b5752 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Not True Passed
c5aa065f1a325839b79f5b35c5fdff2407a89e5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Not False Passed
a4633cb93cc6fbb07af1608ee2b07a59cdb1bfb7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Or True Passed
02a59601edcc74e58729afd64723f71722127a78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Or False Passed
17a4a8d248b122ac14e101e07df0b3dee3ea85a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In OrMultiLine True Passed
174e76eb9d2c05d85838e933268317a55fe84b65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In OrMultiLine False Passed
afb72ca2028963d9f0572a2da907a17ee3cc1d79 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Eq True Passed
77e399b6c098427e8ee9e5225e1af40675144488 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Eq False Passed
b2923d9399b6ba6ffda17f769274a635e824a860 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Ne True Passed
f456e8435fcbc6efacbbe5498d4f2677cf0e7552 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Ne False Passed
7f905304cf48b65ae20806869cef06df5bdd44f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Let True Passed
40862567d1959548bec5e5ddcb7926babadea1db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Let False Passed
0cabf12b6b98e0fa5ff52b6cfbe9b45031ae75af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SetEmpty True Passed
71591b179ee2c11201150e3345d72a3258809ac0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SetEmpty False Passed
f818c347e25fc730f5a933cdfd0ba492d8376814 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Set0 True Passed
bdd9a67a8cb4c699cbe8d4d83b1813277eede10c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Set0 False Passed
7d16b943b07a9da2c37744a1eb91fd1c742ad7ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Set1 True Passed
e192ec435b1b27252069c5c29abf6f7f875332ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Set1 False Passed
8461ac5968fed9754e5dfc855d60b1bc178d1547 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Set2 True Passed
f562f67e7df02787f20ab432c28b7784b8b51449 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Set2 False Passed
95573bb8849d6427cad88fbd097972a9717dc718 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Fun True Passed
267644f48a89dc4c1b734679f8abd6afd1f4d9ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Fun False Passed
90457b846594d8f0a3d3ffcba6c53a2164510f5d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In In True Passed
ccaadeb307b914c3045c4d197ca75a9a1b3ac98f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In In False Passed
241739ce95021c7851af7e84f25816d7ae489604 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NotIn True Passed
d83676c467ac388d3fb2323758161d094084659a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NotIn False Passed
373b9309a4ff7514d05942e813bc10d178223e8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Exists True Passed
0e610bbc6f8c73a25439cd553f36b3f371167a09 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Exists False Passed
25dcbb79133f46543c932770e817619492cb9c4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Forall True Passed
9aefaa1ec62b72b0ffe82912f62f7921de246f91 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Forall False Passed
5a8174782ea1c618b8fcb520aa42c15fc797f32b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Choose True Passed
36207bbfa5b50857ac90648121d6e973fa39f270 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Choose False Passed
75c0f8a345e69003bb50f772e60a42eccfe7cc91 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Record True Passed
71289860a695f1c08da3717d5ebd5621f53faee9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Record False Passed
7b7f12415b61d5037570c4d930c04205e6c787be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Tuple True Passed
677426737ddbfb8148b0e295de80d59f680300e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Tuple False Passed
b150998c6c1049e491f485109555cce40fd44828 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In TupleEmpty True Passed
61a8bdc7dbaacdefb9d209992eb8012b37c93cc5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In TupleEmpty False Passed
58a2a85ce4db36639dc0ef099cbede7b8202f3cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In FunApp True Passed
7d6306de0e57f7547187261dbab96d699fd637b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In FunApp False Passed
1278551be07fe267faefaa75c59eb7fca10b4b27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Prime True Passed
874f3e652bcad2b9f20c2a03357c23b259186980 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Prime False Passed
08749704342950aea754ac554f15d644c016595a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumZero True Passed
28e191ea213a844d7de3921296c341cc9b35dcc2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumZero False Passed
b17a108dd4472cf58a3a9c2aaf6564f0e2117da5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumOne True Passed
055c7b780aeca6f11337c68ecac0240645e26a69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumOne False Passed
ca52a4ecdac2fa2c6676201d82c25ccfbe361aab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumMaxInt True Passed
c3736972f284e21eec56c091906cb6416094301a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumMaxInt False Passed
19999b3e61a5eeca225de3fd7f8f3c201399777a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumUnaryMinus True Passed
26556a64175696d679c33b43d0d553f77fab6c24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumUnaryMinus False Passed
0df2c53cbfc07667f4078bd2c8f5d7995cb34e6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumPlus True Passed
b10dde5f6001321473d8ffc5782d64f956c33a52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumPlus False Passed
6bcb5e29532c0b13acbda924c7be1cf64667479a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumMinus True Passed
c4ba7a74753072595094b1ae7bc7dec31440a55b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumMinus False Passed
40859f0c5a4ef0f2804a9a8d6d532a100671142b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumMul True Passed
f8a42a2c73219bf208f45bdc0a55684c081a8664 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumMul False Passed
99cf91b51c5fafeb18608e74d8b7af1e8808c5f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumDiv True Passed
55c51ddd22559038558b81a0dccabc15bb8a3a9c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumDiv False Passed
a94ce96bfbc5ec1d61520c9653df6a73946f490b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumMod True Passed
363607546e17954163ad3c2a730aa1a1c3a65164 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumMod False Passed
7bac11cc1f2cc0c019e0fc5400c50029d287e3bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumPow True Passed
cc1549b6b7d88612149fd42f2decc9c81d8fd283 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumPow False Passed
c7458c0b7f534635f8b62871ddee2a3b743219cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumGt True Passed
0b2698facad5e7e389daa67bd57e6a3b3bb15767 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumGt False Passed
9efd0efd362df4fe514d1fb163687130398a09fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumGe True Passed
b358f7d68cbbe3650526a80bf7268e51e19df2d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumGe False Passed
7d619132f86b1faff93ce62fe7ce994e5cad09c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumLt True Passed
34618fed62c2db4898e51f236ba90b32f1af56de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumLt False Passed
8691040acd71e9cf7ff4f178909d0fb93b9c431d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumLe True Passed
2f377104aa796772cab50a0db67143a7d54a0580 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumLe False Passed
45343947c5b591939a6d327b6c7411229a2c6ad7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In DefFun True Passed
5e189073fc93636d87cdb83af875823a005a7dcd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In DefFun False Passed
ae5ad57ba85793adc0c483eb929906f1cc415430 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In LetDefFun True Passed
da490e03e55316989e78e00a48feff817defa4d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In LetDefFun False Passed
a9595239896f6e16f490ee43ff451e14767fc0d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In DefFunRecursive True Passed
a19d31f471423c3adea231b4e37ee98bf4bcd44d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In DefFunRecursive False Passed
7e3a635ac5ac1a716824267d1b8e4ddfbb204cdb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In LetDefFunRecursive True Passed
86e91c886084263328005561a0cc02d330c363d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In LetDefFunRecursive False Passed
605342feea6ed222496269fb6c12ef7b12ff8269 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Def0 True Passed
0dab73e96b20abb87351f139291a20a68068716a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Def0 False Passed
da90564db007dea98ea8f08838b6bcbb2b7730f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In LetDef0 True Passed
f2dfe6eb9eefc045ae3f0fe7174589649b60b07f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In LetDef0 False Passed
a9f539063227c40ff8d3fa1ca587bfb40ad02e50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Def1 True Passed
75509b7db61b8043d57314a5685c773cdb777e5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Def1 False Passed
4eba49dd3dd858573f49c4e48b9aeed166529226 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In LetDef1 True Passed
37480a07d64548fb9887cc14e1d6b076473f0e76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In LetDef1 False Passed
908d19722938d20184a5cdc852e94217777463a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Def2 True Passed
b8169323b71c57ee279a775dfdbce503b6d4c2a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Def2 False Passed
dca498ced80885657ab1f7c90fde28846c71bfbd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In LetDef2 True Passed
2cc976a307bbdc626582ca6980da61605a99b30e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In LetDef2 False Passed
0c07f107eb0e26aa2156f0f76729e00fe3d4f0e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Def1Recursive True Passed
1a6700c2e8ea595d45ff998a834fd5768cffda74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Def1Recursive False Passed
e557d0c918c4483e16e917bb202f6af5b939893c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In LetDef1Recursive True Passed
5d8d6e3f5dee9b7608e38b76a669ea74a3b1768a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In LetDef1Recursive False Passed
ebab4d6885028cd56a51f90da25af0a8bbb08379 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Extends True Passed
fdd10a29aef23df7e0d963f268a971ecf72fd4f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Extends False Passed
fcfe7f8f5a84bf1934cbd82a3c14f1f94308a7d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In ExtendsInDifferentFolder True Passed
6b72a51c4adc81ce12d8e70400e7e76700f269f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In ExtendsInDifferentFolder False Passed
caeecc320d05caf489dbea220a2fea70fb49ffb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Variable True Passed
9f0a09a3b2ca908ef0ebbb67379817516f15f257 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Variable False Passed
a94d76a98455e44777ba43a22ae6870c5ef40d70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Constant True Passed
8f1f761d726738e04060f2701d437d344a849ba7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Constant False Passed
0b7a111200b311dfcb5f0e5c6a8a3bc6d9df7d2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In ConstantModelValue True Passed
419d1ace6c143c7c89b607e021733bfb10e598fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In ConstantModelValue False Passed
969ec8fa6cf42131f24122308dd0bd0b4fb6667f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In ConstantRank1 True Passed
c00d774b5c888276936a9102eda17edf2f4cf22f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In ConstantRank1 False Passed
e2a7e325686343929e4ad767d8d913aecca2aadc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Instance True Passed
0fcffb33a7d8ecfc4ad938c5b51fad6cb5021559 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Instance False Passed
3905001036c895ac226ce75e888b5dd06dcc4050 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In InstanceWith True Passed
a8b561aef891e9c5266c95e9ef9be87359945332 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In InstanceWith False Passed
05340bea8749097ac57514cc2a9c11afe6c8391a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In InstanceNamed True Passed
4876e36db718f76b2f2758c4776c41ad64ad4783 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In InstanceNamed False Passed
0dea00190d107bd97aad5ca89e88f049b9a160a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In InstanceNamedWith True Passed
2e3518b09d654b31d8864c2e28a30de3614b4bf0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In InstanceNamedWith False Passed
1fc5b861037267f5e0d6991f05dc9e4a5467ced0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In InstanceInFolder True Passed
4192ac41ebe948e0f237d385941b1d2abcf0d743 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In InstanceInFolder False Passed
eaa942283164c702804b1a0746c522dd963f5c55 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In InstanceWithInFolder True Passed
4bd4aa5375d04d8fc6d7c2c45b0f653fc900ad34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In InstanceWithInFolder False Passed
432b50d80f1985b9a26593e803fb8cee02039985 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In InstanceNamedInFolder True Passed
4b1124664a84d41d042b81fc788bf8be3caa0643 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In InstanceNamedInFolder False Passed
428433175d6f08d5412b5a912c434435fefb96ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In InstanceNamedWithInFolder True Passed
d461742ba761ad6b85f430fc2b60afa65e77f134 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In InstanceNamedWithInFolder False Passed
540c23e18a4c47e60a24a3050fc8ff8f77d1210d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Enabled True Passed
2446bb81eae7055d195e0d405f400a8e9ca761c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Enabled False Passed
8f197288b87be37df3997af011094a85b0db8fc5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Cross2 True Passed
d33eddd723cb5ca008c1f22518699db2aba9810c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Cross2 False Passed
3464924c3a734f88caedc53ebf662039403f10fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Cross3 True Passed
5b4b9e5e2ea36ef78da4689e18eefd58a538d09f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Cross3 False Passed
74e00ce6dd0a0f0baa5078251f9f6b1b853f42a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In FunSet True Passed
43e97a73194090e3f0631b0185681f098a2b81c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In FunSet False Passed
1cd42a647a63cd333ffc182eed01d5b3838efe47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In RecordSet True Passed
b6790edabae8c54b3fe80c8ea8dd827e1dc36804 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In RecordSet False Passed
cee3ba53c9c7841e77cb1b72f3fdeb71b7af407b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SetDiff True Passed
65e86fa0389c7e19e534d15b970be11653c72c8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SetDiff False Passed
1b25c4630a4a91995fc38e1f7bac4f9e0612f3f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SetUnion True Passed
2555de658b2c3a0e98523a860555c72dad97c57f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SetUnion False Passed
c3cf4e82975454280dadbaeebcc064bde55615ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SetIntersect True Passed
d96aaf538436ef8333c5ab3b7d6db6d37e6fb4ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SetIntersect False Passed
8eb7b086b08ec654d9ff3668a36cb12ff8110847 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SubsetEq True Passed
60178b7229566d1df1342d67fb0812374887ad2f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SubsetEq False Passed
e1ee6dd287cc00ca646dfb08a0c1beccda088749 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In IfCond True Passed
546a2bce397e98449aecd81ffbb88f18de2b448e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In IfCond False Passed
26dc61bab7cf0033db6c31b04b225d184ae6ec9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In IfThen True Passed
15a92be3069c404d93ade51f95c7c072517c8cf0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In IfThen False Passed
31784c4ca13e1f5b296ab66be2cb47723a40fd29 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In IfElse True Passed
6df4509685c3e5138759f5108ca18bcd9fd39a1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In IfElse False Passed
abc492b56d856a4a08a9fe72ea0d6d143e425c56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Subset True Passed
e1d19351618912ebdef809cc978a2b1fe1ecc9f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Subset False Passed
e36d22a498793e147b3012412943ef54be929715 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Domain True Passed
ca6c325ec6fd56363c9aa5965d506dec9b1c1b43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Domain False Passed
0c2a56c4e28c29da4bdb5b01edc0321dae843c25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Union True Passed
e2639e392ce8abeb5843e2718fbb5dfe4920e907 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Union False Passed
e4e5bdbf882de6e68e7653ec9b390ce412b27469 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Unchanged True Passed
39f920c037bee5bcc27e85a480385f3c74fbebaa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Unchanged False Passed
1d7c953dd36eacd71781acbd7f851ea545f7f01d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Equivalence True Passed
38b46c1d25b56e054050b257105f7287411810e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Equivalence False Passed
ec91508fdb94291fc6cee6959883fe6bfb42bc51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In StringEmpty True Passed
07a18ccfc55e17a15c9cc31cbb5d98e4ce942c65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In StringEmpty False Passed
b4d636748c29894d7bea14f91b43464a7fceed19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In String True Passed
1c6c22f61b5d1eb2b0213830a7bf141eb63dd354 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In String False Passed
e7a50e6aadc6155bd468f6dda28c78e05935f655 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SeqLen True Passed
b7b01eebd73d6707f307de82556e52f3b91830f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SeqLen False Passed
9aa5409daaa0087e71ecf98696376461b12c2794 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SeqConcat True Passed
6f66375ad77721469a2bcc1e23c57e1305744a41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SeqConcat False Passed
7838e6a95f4ae70e18cfa5e67ebee8c309c2dcda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SeqSeq True Passed
09b8ebfc3721a01cdb730fcd0179bc5ee8204c3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SeqSeq False Passed
b069109a494cd0f1761b22f7ce26dff579e6d7d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NatSet True Passed
895503dd3b380f55f8b9cdb224d42335229ae31b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NatSet False Passed
71c472cda6bf1b3bf55efabf8ac28afaf3f65b36 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In IntSet True Passed
b4dd372950c9e523890b76d578ca4c613d516c0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In IntSet False Passed
4c590cd633784f2512dca09e86fce6532d04adcf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In StringSet True Passed
cf25985a978420d6ccab2d24406915f9a0f4056d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In StringSet False Passed
0f3f8c4603e31820f1e00bf8fe3bedf921b2b0f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SeqSelectSeq True Passed
041e76c2bad53851bd12148f51b4861efd150363 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SeqSelectSeq False Passed
54739d2bed608ce1d0d2e6d6e5b84dea31446b1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SeqSubSeq True Passed
ebf462c4e37f36ea7df895938c39e95b0791fa74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SeqSubSeq False Passed
d24e3f10743312a854f9c006db62537e411fbe1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumRange True Passed
443e221ae6c4a8500ee010d2aaaca09447ce7845 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumRange False Passed
83d64fcbf4ffbffd5976fb254f78fcea0ec73735 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In TlcSingletonFun True Passed
15d790be6f3b1595c7e9befe56bdb77d85b1933e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In TlcSingletonFun False Passed
fa17173f39946255fce67ceaff63e04738108acd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In TlcExtendFun True Passed
3e2548b7365c17bb2d1958f67bd67e44b7fa4001 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In TlcExtendFun False Passed
20878d95e0c771d1feddafe041510064a1b3b9f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In TlcPermuteFun True Passed
bed7afa8f577da8ec0650f010c15db666ef42830 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In TlcPermuteFun False Passed
2159fac7b7cb351d30fbc5526c084250c68efabf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In TlcSortSeq True Passed
93efeb81f2e0b6e1b42521bbadc93a049a8032e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In TlcSortSeq False Passed
91acf8c159e98a7a30e2a9ce6c2f332cb0ab1928 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In TlcEval True Passed
4159205fa04f5d5151f36cc0efdfffd007275913 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In TlcEval False Passed
75d22dd5f189a2a3ff2d00ea4adc579f3e2800e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagBagToSet True Passed
04dd0df14eaa157ddd1bf1e9b846f2ec128c1888 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagBagToSet False Passed
ec8f6baecddc0d6ce5f17f3efbcab7c27603948d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagSetToBag True Passed
656c4833503e6b95cbd97f5dbb9297bb6aa6f092 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagSetToBag False Passed
efd9bd760062bc179828075090c14c9746d9dca5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagBagIn True Passed
4eefd41c2fce612dd8f97399afcf31d1d81ef924 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagBagIn False Passed
1bab8be42cdda9126d990e017b2e83b2c80ba0f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagEmptyBag True Passed
746678354d3744ec4caa85f50075a415b4ae33ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagEmptyBag False Passed
156c99ca3be0bcff230d252a50ebea644f83e9d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagAddBag True Passed
5494583681a4642469b4dce571b25d63fd2eab48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagAddBag False Passed
40c7780ebb9fa56e653436bda2603c548bcd448d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagBagSub True Passed
eab33783bd78787282b04b60170febf26fa50044 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagBagSub False Passed
d58b29446cf15754a5dd277c9d5d5eeece7599bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagCopiesIn True Passed
bf27807c2b9a488d134f33fa53678886e90358fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagCopiesIn False Passed
5ba378e43c563d345152de0243fc65f3a0488e9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagSubsetEqBag True Passed
f0fa9171b2faa8e573c434b225f0ed5076d0c14b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagSubsetEqBag False Passed
ab68ee7cdcca1efec46fae2147559a5a72d4acdf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagBagUnion True Passed
2359ed6a2ed9e8786fb02103e558879e32239e28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagBagUnion False Passed
6c85267d2905658ce674e33100a3ea4b506e20cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagBagCardinality True Passed
123780def23f7cc220a0a8f3c6b40a11bb26dda2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagBagCardinality False Passed
41e4a90cf05cea431a9ef545c693e3e35800bf2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagBagOfAll True Passed
25dca03a8c5665d180b0d6c00bd44ef17b68229b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagBagOfAll False Passed
65ba790e1bbf169433603cdb477a27f5b8735858 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagSubBag True Passed
79bdc7f2df2a67c94f0cf6f19183dfbe1de00039 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In BagSubBag False Passed
02e6002f587da04cadbbab0a5d56fe470f05bd51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In FiniteSetsIsFiniteSet True Passed
bae16f86618123a8ae7c104496a02f7d9e5ed636 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In FiniteSetsIsFiniteSet False Passed
31c485d177c0582cce2912c447cd4d1e91d821f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In FiniteSetsCardinality True Passed
e9241be4f10e2bf4898f21fe220a882564795725 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In FiniteSetsCardinality False Passed
5f781b0d26eb68902caf3c39faa91cb6c73c1ce4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SeqHead True Passed
12c79599bcb95d6f504b3613b9427959cbb72d65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SeqHead False Passed
57aab2c03325a7515f883aba114cabae27d78e06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SeqTail True Passed
9b090ed62f59a62067cfff6af9d1757edf4216d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SeqTail False Passed
650e513a36f57cefa7fa4915b332f9059ac562a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SeqAppend True Passed
891599ef2a3cd466bfa025b7bb00066ab5c4339c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In SeqAppend False Passed