Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
de25e66d5a423dade00ba55bafaaf12464080417 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable OneLineComment True Passed
0eb736fe1a86662e1c347224b8c18a9040ad2a18 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable OneLineComment False Passed
bdff2eba2db6981daa5f5772bbf2f81dae15f9e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable MultiLineComment True Passed
adf172d9ef6655c14f557d0a6291b56a2e1ca270 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable MultiLineComment False Passed
3d21e185ee7a981652dfa262d27faf9c34a6c7bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BoolTrue True Passed
22f3480b0b70b47d780e37c6b796987c7e9a5eb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BoolTrue False Passed
9d2a1d16000d806d23b23e468548675bad05c5f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BoolFalse True Passed
b3d239bf92b7c320583b2e313d208e7eb08bf9d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BoolFalse False Passed
0cebf3aac525760a68e4c00e0c79f303191e2685 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BoolSet True Passed
6049db922d5cad6582f7feec48ad47d0e9649b15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BoolSet False Passed
e61cb746393ac98631ce9a69db4da15a17bd0669 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable And True Passed
2352845bcce2e6d398a8c697b611266c5f116377 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable And False Passed
e42e11eb0adf8a3d71a857720f6781f769cc5ea2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable AndMultiLine True Passed
302f83298452421f1d6f736b08efebf2e8f9ace0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable AndMultiLine False Passed
3cdb308d9a8dcbb532cf9e8d3f115b3054dbad9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Imply True Passed
123eef1dde55f25fb2922a2469bbbad466d8fff4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Imply False Passed
6f2fd7893676d06227835a222d4991567fde1545 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Not True Passed
144ad70c0236a000b39b8d6ea2c3776e47e3d810 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Not False Passed
bb84a01e17879568d163672c98efb01e04899fbf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Or True Passed
acbdc958ad72b2ba9ff66a72b566a68772e491c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Or False Passed
6f409cef9b8c499251d63cca0b26de8707742819 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable OrMultiLine True Passed
5deff2ef7e97f501a7f23ee19d4a29a152558026 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable OrMultiLine False Passed
8ee21f2092566837a2b04863d4cb4739078866ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Eq True Passed
fd0c27f1869e3047180c8651efe6d7f3dadae80e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Eq False Passed
21f5dc71bd0e3ff743a11c543a42cde99f5d032a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Ne True Passed
9cea212fac9d15c63d2d1ff5d50e5c21525b357e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Ne False Passed
d520389e53e1e0a8f8df13be029be831e400c90a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Let True Passed
e8306ef69061d608edec4a6347e81789ba21898c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Let False Passed
48019fcc6492d697fb0334452745c93ae8a942e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SetEmpty True Passed
a2aa5eb3590940a2f083a55f94c3d7ad2d834476 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SetEmpty False Passed
69c168884ce4fe2b244c1cbbfda17985355e1faf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Set0 True Passed
b937f0c3392d37392f26dea83e553d4001a2001c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Set0 False Passed
d0803c828066888484f6eb114fea86d945c74ef9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Set1 True Passed
29b393f645d237374c38ee5a396fd31561e369f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Set1 False Passed
ca620851a70971235940fca5d4a49a82d61672d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Set2 True Passed
07d41145c4cdee9aaea7a059693f718cdee6777a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Set2 False Passed
117492fbfe2002958f7fa455472a17bb82ecf430 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Fun True Passed
62ce5285ce5b074cbe36fc2ab8c1fd04d57db467 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Fun False Passed
6ceea2a6506d90faa5df20f314e764874854770f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable In True Passed
b719a676c0a53c02b5f18835e317d000162bdf34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable In False Passed
b03e74b2c97dad01ed3966851a5bf87f24764803 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NotIn True Passed
db87f4b236a1567bafaf5a99162e2be19e941ab1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NotIn False Passed
0bc348150937005da63d49cc9be5f04e0c5bf01e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Exists True Passed
88b5bbd6720acdf054ba91034b1a7c94bf76aa74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Exists False Passed
f2791f7405de947cc665e1134f76ca79596b308d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Forall True Passed
21f3dd4075d309a944f622989d96b9ba87b2fe8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Forall False Passed
fb320a93eda3181b5973cb7ff9a6190d7aeb4330 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Choose True Passed
975b5fa8147f88385f8824efc04ba886e738c55e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Choose False Passed
baecec46c63ad5c0e794a71a50139dade5910aa9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Record True Passed
7c818e209366459cd18f5c6e83daa1649258ce9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Record False Passed
deb7a266574fe436e96a3dc79def5d6f101781da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Tuple True Passed
c7f8e7d0af330a05a2c89a750b608e3275c1e9c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Tuple False Passed
48d0273cb36cd9e3e85ab94a4f7563b14469a0a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable TupleEmpty True Passed
aa1df3b7b499b087b26b06caa024f869a88f95d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable TupleEmpty False Passed
9fec91a7113532944b6543209e39fb52a07f4c81 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable FunApp True Passed
614480b3f43682a34a89976db248cbfc96734269 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable FunApp False Passed
93da4e168222271ec5bc9b845087da0987dac965 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Prime True Passed
a8f9e10ebd4ceba6c6531388a5741f125ab5fa26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Prime False Passed
4311f1dc8650bd2dd3844315fc8b76c7776d8b07 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumZero True Passed
3cc7b4b14e387aac8c3d45ac15178d380f989354 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumZero False Passed
4798425cde60dfd05927ecfacb8acbe389f96629 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumOne True Passed
50c4b1751fd08fa684c38bec3080e6ba69c56fe7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumOne False Passed
4b41fddf0c2d1d5f91b8be83f26bdd7ea2eb745c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumMaxInt True Passed
5f5059e385185b035bf3b6861189540eeb8ad22c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumMaxInt False Passed
78d550cb01e9e871599516fe870b18356df322c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumUnaryMinus True Passed
c6bdb82d13faff46f467581ffd90c87e4cc9e9f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumUnaryMinus False Passed
f0a07f516bef64a47495ecf2c14ef6799d513859 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumPlus True Passed
26598df2aaecbdb753b3a84cf9becaa73ef164f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumPlus False Passed
b860a9790991fad5af2c4d9902ce35cd6572680f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumMinus True Passed
7afca66fc68a68a2ca9274f469fea2b8736a903d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumMinus False Passed
36fd7ddf923f0169c30514cda5202ddda6178a8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumMul True Passed
f2fde5dfe0c0f3a2e9ffbe55bd75d5169c56d749 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumMul False Passed
7f0cd6a20099858a22c474f07914f17410c465c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumDiv True Passed
d81ec74442261efaeaf5cd17df79051ff883a5c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumDiv False Passed
1e60eca52b06c08b34d788614a8645a0a02b26d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumMod True Passed
078ab887a51979ad2f5569c21f2950b1e175f6f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumMod False Passed
d2af6073401818678828328e80a347243fe4cde3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumPow True Passed
38008b4e30a78efcbcc33469b2f346e6af38e8f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumPow False Passed
63b03854212c800daf4cff97e972f7ae5ee02378 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumGt True Passed
2c73914b8acac3332b73ffad01b6869c7668a5bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumGt False Passed
7158ba63e2835b6227e84b60c1ec05e3a11239d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumGe True Passed
9eccfc1250afed90c4b915004e198c4b26ccb11b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumGe False Passed
2b109edb9182610e29b8f33291424d3c4246edb9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumLt True Passed
af596a47a88600a71b47fc71ef40daadd78c3082 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumLt False Passed
2e844d0f7f346a8efa846c872cf78a8cccbf1e4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumLe True Passed
e30557a6cbfb0fa02265f9e0bf3fb74f755acd50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumLe False Passed
9842eaa5700a96322559afb955ceeb20086bbd05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable DefFun True Passed
6cf3c2ca9a2219b2de44e83839c4d39e2e2079d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable DefFun False Passed
963c4a40863d614acaeeb997a2343934b2192424 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable LetDefFun True Passed
cd0f4a252d358a9483032495933572c9d1001e3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable LetDefFun False Passed
a5845bc9dedf7cb7620f7931759c5bcab2fd8804 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable DefFunRecursive True Passed
f9cd6768e13dad44b9dfef32978b553d8e09b36c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable DefFunRecursive False Passed
5da21cfa4f3c63d1f85620a90c8a1b96dbdf3451 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable LetDefFunRecursive True Passed
134ed69998aa6402cdd6620eb7ed02fc2f69deb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable LetDefFunRecursive False Passed
36c18181d9af791d4959f9d47c2aa40761aa9ba5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Def0 True Passed
dca4e93bb0c780d54b556488603fb5ef765b33c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Def0 False Passed
fd27c1d794a6a018d2dffec7a04c7d6e449f708e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable LetDef0 True Passed
00064757588335c5b5cd074108e683023b3044f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable LetDef0 False Passed
72837f7c01f23253db75073f396b7e28b98ef613 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Def1 True Passed
616c1a2293e72a16c281a8cef6ce1ec9cf708707 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Def1 False Passed
53574e483792725f1602f77a64ecc139d707aab7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable LetDef1 True Passed
de5d1dc476e63b65e15a560d2baea49761e0a267 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable LetDef1 False Passed
00bda085220bc9c34963bbdcc2e5c8acce9cbe38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Def2 True Passed
21dcae2d99c32bcdd097b9a919913e62b7f75d8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Def2 False Passed
18a97e00201c3289c941ab0a09ecea9dd608fdb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable LetDef2 True Passed
5c2e45142d3adb620d53bd86d94aeb9eb03246e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable LetDef2 False Passed
07791266abc0b86dbc5c65b705d755aeedc4e9d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Def1Recursive True Passed
7f607332f9f704194c211a35f3b7f21ac8719fb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Def1Recursive False Passed
19170d56e82b279d8c91899fadbc954757e8854f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable LetDef1Recursive True Passed
58a65faeb09a2f148aca5b55928b51038b5d5911 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable LetDef1Recursive False Passed
dbabf6956b7ae5815045f55aa7abd419e925fc15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Extends True Passed
8c87cfeb50113dbf7bc7b60e74404337f710f039 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Extends False Passed
69ec462e3e076e117677f4f700edff1cf02f93a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable ExtendsInDifferentFolder True Passed
f137d5fdc39921e78bf2c3f6c3b36fab792bc1f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable ExtendsInDifferentFolder False Passed
251695b999b06c94a09cbf2fdf18b5125bbe69b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Variable True Passed
156096c580efad32ccbd051c9d9cfa372f077e91 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Variable False Passed
79c3a42012609f9cf4c2fcfe5613d1516f19810f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Instance True Passed
737a4335bbc91da8965df2d715b2b99332616453 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Instance False Passed
4e631ba2fa0da30ca2bc5ca1a164febd7829c830 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable InstanceWith True Passed
0fc9951911762fe72de39f3c66ebbe343946c32f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable InstanceWith False Passed
f2eeac649db18def199d091f8b40149e7fddb0f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable InstanceNamed True Passed
ff31040c25394273b9b00292f6f29774517df263 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable InstanceNamed False Passed
c7fb5eed04f6ccdf6cef8cd6de9a8474fc8f0f0a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable InstanceNamedWith True Passed
3b74ea0a28cd524fa540ac447a4f73880541084f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable InstanceNamedWith False Passed
d98187eb4e387fd531cca27a651e1ef6219e9a39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable InstanceInFolder True Passed
45ad83a6790bbd1c8880e83e734e0bb9fcda4f13 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable InstanceInFolder False Passed
7348e5ddbfe6548295eef375cc220470160b7a57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable InstanceWithInFolder True Passed
0b4ed4ecf157002343b610d06eac5c1d4b80ae50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable InstanceWithInFolder False Passed
2feef6c23be4533b1c694037cd50a654631d68b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable InstanceNamedInFolder True Passed
9af1a3211b62c46d324086b1914082525d3566fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable InstanceNamedInFolder False Passed
2df9acb34d9c02d1fdf1a4532590bdde45a6aa28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable InstanceNamedWithInFolder True Passed
52b72c247e9dea20fc2b3d0ea50e2cf8141e9f66 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable InstanceNamedWithInFolder False Passed
a76b1056ef1fea764108fa5f0e16fa08de288372 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Enabled True Passed
b0dcca9eaeeaaccc885cd2fe72b7b04368e756af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Enabled False Passed
27d7b54f4d7382ff6229f529d5ed0eb5b5751444 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Cross2 True Passed
011156ffa1ecb590e990ae144e625cfacd448023 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Cross2 False Passed
2a5c9a1103cabeac54a85239d78f0dacd5a5b49d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Cross3 True Passed
92c9bbb68b6ffe9b90cb47765ba8c0c004db2659 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Cross3 False Passed
c866dd83ee976363c6e221319dacbbf85249173e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable FunSet True Passed
ac1a09c15cc176100b5d290c60b29a8f69e7100c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable FunSet False Passed
f9f42c337c979a7b31943f17819b5998396b6f54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable RecordSet True Passed
8aca306eee866ccdd3fb2be928903a1a34ab4fe8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable RecordSet False Passed
a090c1eebf00078233ceafe9177f7625d569abff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SetDiff True Passed
1fc9526f6037f7b8275bf6df9eea541e7328b990 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SetDiff False Passed
4ff2f274a8d0230cdd927b667679b18afcbfdf18 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SetUnion True Passed
e0ea1b81b08f8e1518309c65de9006e9722c1006 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SetUnion False Passed
721db51cd5de828d7f76d8ded13fefab9d7fd2a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SetIntersect True Passed
10809d434173293d73336fc8b68d521bf0f8b580 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SetIntersect False Passed
efa7ccfe531ab9293c63d36ca911ce35948dfa4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SubsetEq True Passed
5e076255a79f0f73a485ea8d7ec967e65490f929 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SubsetEq False Passed
1b0ac7650e68efbeee000a1317f4dda5aa08e025 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable IfCond True Passed
251ce21cb87317cb0502d9fb71feae5808956bc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable IfCond False Passed
032c021864271d93ce564ae93318a2329e85211e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable IfThen True Passed
f73972d32d5d57e0498efa938b9a1ccd99398056 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable IfThen False Passed
37188dd8ec3ae95dc6b7e0e82462e7d9bb9b93d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable IfElse True Passed
772a76469dbc5128642825499a0e5496180e7f99 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable IfElse False Passed
8b286d986bc01069b796d00ea58a71717abaae2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Subset True Passed
26af690af3582ecfb9bf13bbd179a06f1d4fd75b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Subset False Passed
abe36a24aec72e8fa99f800e608a62e10b125aa5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Domain True Passed
3299f6c3602fef3fc910f347dc37f7d4002c436b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Domain False Passed
e132284235dd8106e30a6883a493c627b36be3a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Union True Passed
4fbd952cef574941b8d95dec990c58cd82997c39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Union False Passed
c53e5bd5a6bd4d70ee629626e8f7eabb5ed8652e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Unchanged True Passed
3fbaa9895109df89c1d327e17ca722ccbb815357 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Unchanged False Passed
0b027509fdffc127ccd5f56c81c336308d369d43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Equivalence True Passed
2ec80f3234ffb6fdc0012ee377b788503395ae4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Equivalence False Passed
12580afb8a103f40e7d23b531d8e110168f2fdc3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable StringEmpty True Passed
3d49dfe27fb92fb9f84ee1bd33542cbac35bc74b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable StringEmpty False Passed
3a1631cdf2dd236097d3da0a097778e76e9e8df7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable String True Passed
b6c3146d1d01ebe19bb28205b004d9244f495b1c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable String False Passed
3d408bbdb376e9a4a0a6ebff0bec15f1724a4b02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SeqLen True Passed
5d595f10c2d9cab4ae7115336e0049db4b1c10f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SeqLen False Passed
549f2511ac7a62dfcfc0503c0605c6297f53cbf3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SeqConcat True Passed
5be133cb33a7451c12a422dd3198d8df1ce955b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SeqConcat False Passed
f3d6b74cc4603127c8065a1a202bb25ecd59b94f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SeqSelectSeq True Passed
a8a4aedd49d496b5f2ab482334119959451357db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SeqSelectSeq False Passed
c5851ac5ee39293b9409c4311aff8f280727410b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SeqSubSeq True Passed
a8ed7c27e62e53a2b0317c83244d301bf7d293b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SeqSubSeq False Passed
ea69a5435c11171e3cab6dc58a315fbee8244177 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumRange True Passed
90713c0115506abc701e19803eb77cf5a39b8929 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumRange False Passed
f8f6fe4cbbbb839f84902cc64b238204177cc61c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable TlcSingletonFun True Passed
01c7854861f47ec84602f3b55b2533bc318e4b58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable TlcSingletonFun False Passed
46483a4a9e17f7d5641155ad6a10092df260fff6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable TlcExtendFun True Passed
23d82ba8b45b940101255c43c7015240930e1e37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable TlcExtendFun False Passed
18add218b12bb763fe51f317358cf1ac86454663 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable TlcPermuteFun True Passed
fd19dda2bc384267604bc58c718a7bbf5648fe18 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable TlcPermuteFun False Passed
38abaafd727b8d5fab687fc323b24f8d24049e84 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable TlcSortSeq True Passed
4ee0bc4a6b54c9e4ff9b5d198c4d297d0a09a7a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable TlcSortSeq False Passed
7634379b4df6fc9b70c01c28feaa17df0f272523 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable TlcEval True Passed
4f9c11c5c86884926b58180a12b064ab4fea92a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable TlcEval False Passed
767339b5634d54ab1327309ed30df9e7670af0bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagBagToSet True Passed
7452e6bba70fe96635361e1379e959f43181ce11 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagBagToSet False Passed
d779f51d59be658fd97b5493a129d545da4b66f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagSetToBag True Passed
501de378a2c3b41e460c5a54358e511b77926e7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagSetToBag False Passed
f493e7a2a1ff58d36d5fe6926017faecdd1e7e18 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagBagIn True Passed
7e724bd5c9659dcbdbc4e80eb2d252cae9f24983 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagBagIn False Passed
ab2b8f0642413bced21ba233ad632b21d9cdb940 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagEmptyBag True Passed
c925c8e60d0810f678ba40d5f7a5eb307b17ab05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagEmptyBag False Passed
292f8af765ec8d2f39be8d847559d581190e6a9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagAddBag True Passed
0d0238c473da19063ae18455de2d3706fba08fba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagAddBag False Passed
139acc54b589c5a68bd42e5c1d1e7b4f4a87a7a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagBagSub True Passed
a757fafb34960cc5ba401bf7512bf371c46db9cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagBagSub False Passed
9af98786399b5c7cc88654f7c3a6f13c179ade8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagCopiesIn True Passed
ae4c25c94e6f7ecfed656be159542b7211637002 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagCopiesIn False Passed
496f565b73f28189d0c54ae95f6a03e28080cae5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagSubsetEqBag True Passed
111db70e0e271b0c9cdb173acedee189094b3c25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagSubsetEqBag False Passed
92694aab991937e94ce772438ad89d9d1b00ea5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagBagUnion True Passed
434e0526edc8e3c973187cad6638c29b6416cece TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagBagUnion False Passed
ec0fdcd0ce90b00d64917091a8104d60a8db6be0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagBagCardinality True Passed
9aa2fbacf34650d679fb5dbeeda920486c29c98c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagBagCardinality False Passed
d81382913c946c2e4e66a4a8056d8a520c6e6c07 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagBagOfAll True Passed
5b25dfd7f0c034246c9262bece9b574b04501b85 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagBagOfAll False Passed
4f94390c50a4d1f91de88db960b08b5c1745ad9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagSubBag True Passed
3f4c5e1768a36c2c8138164ef48fd22f51d37118 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable BagSubBag False Passed
bb8a371efb7eb6b9d79fd78438c5f2ea2266d65d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable FiniteSetsIsFiniteSet True Passed
bf5ae8d0951ab11e9b9adf4c25b24d1f40488a1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable FiniteSetsIsFiniteSet False Passed
028ba770561af2b309fa17befa3db2c86e44fec1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable FiniteSetsCardinality True Passed
d4754f400217fca1dc0375d2b6690ad583dfd1eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable FiniteSetsCardinality False Passed
fe589144faff0588afe843fdbfda2deadc0e747f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SeqHead True Passed
67625d6ca73a1e3abc86728336263020ac3b68b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SeqHead False Passed
00a199ff19d32db8b6511ae4b9b4df3dd5070022 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SeqTail True Passed
d770b5dbcadf724c5b3d6050f75959e7f9d418c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SeqTail False Passed
c1550ae31a8d1303e993e8c6f6ce60637c2542ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SeqAppend True Passed
b659417da331c2577d4f6fd94e419fa875aa5e27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable SeqAppend False Passed