Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
f2b39934ee87db07fc23a46c3c23cbc835a028dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Variable True Passed
1833c2b3507507ffb96d8015543d9a39a0a82eed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Variable False Passed
ff10bb11c93627370210775a4bc4c578c086a980 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Variable True Passed
3d8ab17cc46f45202dcc514ef908d65f20906cb6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Variable False Passed
0eeeadb6fedadfc077f460c3709d1a78fb351246 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Variable True Passed
71a00aa4971c68fcfca46c2f980be63ac5bd3247 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Variable False Passed
f75b7008e9d93529d956df43098bdb6877d008cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Variable True Passed
94207cb3d8040611a8e388de3ef5aaea2a174250 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Variable False Passed
75cdb917b2958ca51403ba1cfd9a2dcce558b006 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Variable True Passed
1f54e17ff30ecd4020398f241e3daff7dd05bb48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Variable False Passed
3ee62c9bf74fc5675be337ad413debae1053e722 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Variable True Passed
a72492cb10ae1654950985bce453b80e6017a6af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Variable False Passed
1220e6700d4b24b939ce6e57b99d98ee4c75705f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed Variable True Passed
082c2cc226257e773eebec963fd1a2d2f4d7030a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed Variable False Passed
64e03b6a756af5369037455fa62cdd16e91a9a89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Variable True Passed
7099af20f22099aaf6f1f3e6be5e2acdbba6154d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Variable False Passed
ad22ccbceeae0d5d3bcaab5baec196c5272a4138 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Variable True Passed
61f3774db7773b05f032b875486b9c3d0f73734e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Variable False Passed
5af91bad0474a1a8e682632b9412350d651491c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Variable True Passed
3df1da3dbac61952be81b5078f0e4d6d53774b45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Variable False Passed
6b7dc23e387f33905a9d53d52b8cb9df92a84617 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Variable True Passed
21ed302f190fd25f6dcbff35b20d525e42e72f6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Variable False Passed
d331dd4f38f6b3b8ff450571a3deb27cfc97cbe3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Variable True Passed
433aaf889af035b5c1c859a81f4aaf136e32090b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Variable False Passed
04d6e0c85239655c6ce702d06f4bb6392eea3109 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Variable True Passed
548e66bde2998b44448900c357c4dfd5b1e0bf97 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Variable False Passed
5dbbc6b374f242f7817b648bee9d96ddea9aa1e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Variable True Passed
9d47cae3d61f6160e0c04f7d0c1fbddc01fb13ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Variable False Passed
55c6a681a209dfbfe3d0590002577cbf3f85709d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Variable True Passed
8757f79387e1306e469296b6c3ae29d32a294d7f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Variable False Passed
2b1fcbd70af012cc454941f3ef84e05cf562f526 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Variable True Passed
66ebefef5781aaf6b8d0137246b683254cf53a00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Variable False Passed
7cd907fcdc059fd13c49ecf93997d210ed41902d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists Variable True Passed
8a2a49c4e30b347de61fccc9436ca8289187456a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists Variable False Passed
d8f3ae4698bccc1480a21d4a509e0b078bd7031a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall Variable True Passed
9c2479378ee5491c0f69296ceef4d3a340a4fb76 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall Variable False Passed
249e34570a7613a15a119074fb155b0d641edb67 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Variable True Passed
4496d223bef17becc45b45d8c916ec65ad555426 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Variable False Passed
181d32012e04597c8a53604be69c4537c0ad2eba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Variable True Passed
5607b640d21340a542e45c69294c37c11db0d243 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Variable False Passed
515338d14b6d5ec95f8c34a2f2e659b15cb6c820 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Variable True Passed
2e7139b8bb421b86ee399b55e6f628465678024d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Variable False Passed
8d2d9cc0f120691bce61d997de760488461bfd1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Variable True Passed
ad0a7d43280a420e6217292710ee985b9cc5da3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Variable False Passed
f70eb6bd248a5f2d65b17e2379edc7ea25409999 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Variable True Passed
95212ce665e2e49bd7c60ae6cdd50551ba14232c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Variable False Passed
e9f5dfb32821123ce4ca2ca2860748ed63d05b45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Variable True Passed
c095e14e6b0af4a73620062de81be2ef4a6c6d53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Variable False Passed
db36e136c9b74f11c03d8de314b7778fdde3b217 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Variable True Passed
904da17c19759cf054e6573ed8f1699644007d63 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Variable False Passed
d6e330a00d0b9e77b4632eb489c0d32b421d3d8f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Variable True Passed
d8280522eb40d42b094c8d960f5d212907a943b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Variable False Passed
24c111da4d0c87acfe8f844f09b83d90a5e2d4ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Variable True Passed
bc7e075fbab06f54b4d9e1ce965db2f829584f63 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Variable False Passed
a4f20004e6ff9f66982093f35094e9be655178bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Variable True Passed
a37e41240da71d80411c9c7321ae4cb2dd6e2934 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Variable False Passed
2fe2c9e555c54f699f2a76f94934b855580a85fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple Variable True Passed
018760900ad88a189ff4580274eb9e9c9461b5e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple Variable False Passed
4e34917e162d35d61e32d9140b672877d814db9a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Variable True Passed
7f76ae8f3611a30728613483d228f5b8100babe8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Variable False Passed
4eeca4c13dc1bf8c8f7934d26bc2517467999436 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus Variable True Passed
e1852def9944e8ef30c428d3cb94fdff72390828 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus Variable False Passed
760a5cc6a90c847ba40989a1809d793951d275b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus Variable True Passed
61eea5ebda8a48746cdce25d37fc79cbbf650c4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus Variable False Passed
728a571dee29415968c7a30ba280e1afbf3bd9a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus Variable True Passed
41a89a28a1c97ac3ef89fe90610fcff637e97367 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus Variable False Passed
5218ac190d8d18905095f7ef58465a4639e33262 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul Variable True Passed
d0e1f8aca4cc7cddde96dea8eb9bc9c4077e6fb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul Variable False Passed
aab7fe11c9368fc5db5edc1330a9b54e433d5e2a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv Variable True Passed
be6f4c447ee6fa0db1251b9a2839faf7b2d32092 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv Variable False Passed
45237e23b6c55e17d78d5a7ccf0f4570d0ca1076 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod Variable True Passed
65cef3b6d583dbf9364fa623d15f7bd614b127ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod Variable False Passed
5c406a296397c1a66aa51b58a8c62780ee4b0d56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow Variable True Passed
fe09146a27e183ac0eae7e3a0b1bebf121f53f41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow Variable False Passed
d958626211ac6c139030a4c935d7865d92089a0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt Variable True Passed
32e0270db2ab3dcd22bfff67de0cf6a6549f0a18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt Variable False Passed
1ffa56f1a9d9b4d251a631f1265a5f149741038d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe Variable True Passed
fc1fec52311eb06a59fbab8dccfe18c608854d71 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe Variable False Passed
90bb6bac2aabab3733ce37eea72da56f05ad923a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt Variable True Passed
4a31c5e5ed1c563c8969c225daad6925e76977f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt Variable False Passed
62bf866a70d4cdaac4877e3f6f06e19ceb98e905 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe Variable True Passed
c0488e3e8aed41b31e3fb8430b286fa634fcf0ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe Variable False Passed
d382779cec2d9c2625d0bfa7c9605707e45e31eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Variable True Passed
bc5780d048805d4f7c7475735615767c96992f1c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Variable False Passed
4fdfa62dd1a7ed0dbfcf0522de5e12b6c300bc58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Variable True Passed
764eccce951ee600f86b267190503bc2cf55b596 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Variable False Passed
9c962e3e934ae207b70a86680bc4df2584e06958 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Variable True Passed
9980da4fd553a0fc7a6867ba16b21d6b5aa60abc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Variable False Passed
3788e0c0371c0a39a7b2d0fa48841e95ea1f8394 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Variable True Passed
6ea23d90643b0eb69bc115eaede80598c7018a4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Variable False Passed
c5c8169f95108cfe86fb6b01779805232da17bce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Variable True Passed
427931c96b5f7f6658e41561fa9a75060c5344d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Variable False Passed
707b88614d16953dd91226459846759b8cabf628 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Variable True Passed
48ddbb929e791ea23fbe6580f7fa24a0e80bc59a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Variable False Passed
36873030aad1392540a98a2eab5ae339123f5e2a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Variable True Passed
6e604db7645438a0bc38646379c02237ff4d189d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Variable False Passed
673a745470bf62983be679eb46cc99319b5937b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Variable True Passed
a755444d60042c8d4f4c5a8eb134420372a5f23f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Variable False Passed
fa36990357ea420b204f4605b55771ecbd2af723 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Variable True Passed
eb41586e3783188ef8a0d01695784a0b2952095f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Variable False Passed
7502a36da2fd32f9b186b77ac2036c14b235b317 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Variable True Passed
dd314bd71602a7cee7aa754de97816b15a54433c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Variable False Passed
3c7b14df9749d0d6d9c6563cd06f0372c697a053 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Variable True Passed
7b616c4de99c7a533311302b48e0acf000b914f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Variable False Passed
e1fc9d5f569c9753d89e44e00b23b7ca4e9ce440 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Variable True Passed
1d1102bcce2a387f5f74f610a3677f747e216a92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Variable False Passed
1c0e9c59f4d62ccd8304f7fc1dc2ea7f19713a91 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Variable True Passed
7380190951eca2fb872e06836d456483b4c114a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Variable False Passed
3e6ebd4dcfe9b3a27a800cd38499cd79a4bb63ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Variable True Passed
53eb43d7c4973bc7fd385b348d83e904e02463c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Variable False Passed
08e99aad28a43e111433951a017bf19bbfd94248 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Variable True Passed
7f2284d068b9a8984d6db64d6c67e7a7e980e641 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Variable False Passed
a98c2bff83b77834912a36a026fd9689f8211867 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Variable True Passed
01d6a6547e66be1b0c049b21e388f7bc8caf402b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Variable False Passed
90b6ad7b662c3ce735de1ace138f70465e215a44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Variable True Passed
8f1f64b2c8d81cb5a6b41e6151bcd50e6d6ff8f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Variable False Passed
6d58bd0872541127159b3878004e8570fc8cdfa9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Variable True Passed
2d58a777108c014a9d1dc2d57fd5439a3effd548 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Variable False Passed
e975c376528864b181233985fee03b073cb75434 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Variable True Passed
5594b66889db385e363f5d43dbfe2f65a6f7350f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Variable False Passed
5e9bda76166cf0ae23fa3599b6a998d5ab4ea632 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Variable True Passed
f2239da35ff7b8778ebda5aa44fb9b9bbc9b6a92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Variable False Passed
0bed15b63573452b863189b8aa029bd094fdf960 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Variable True Passed
7fed100d6961a3e28791af41eb6c0da34753ba53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Variable False Passed
a39d84ecdd65c2545604c5da4baaeabf5ba7fea4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Variable True Passed
c4e04396a49916aaedb5373e080f4f7756058b68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Variable False Passed
612359c51d246c37b1a7dd7cda3d9c57dfe8782a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Variable True Passed
e069ee552e89e9826413ffe44676da660a1e084d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Variable False Passed
ca6931e6e0f89c3a0c70ad0bdb96264b29187b13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Variable True Passed
12a3c2d5d4b54ea569a981ba46103e567dd98969 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Variable False Passed
02c4f0f1a889f5b96b788675693f55e260628405 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled Variable True Passed
70f6b8aabeb46c98c5fd892673ff92339014b51a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled Variable False Passed
f151098fa57885a0d1a657419cec6e92e1604109 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Variable True Passed
1319e330b4cc8f9478aa12ae764ef29771da9398 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Variable False Passed
6ade44fb90703f9390629cca01bc71ba2f0095e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Variable True Passed
823b89c373c6f99be7fae5dbcd96202502e0864a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Variable False Passed
bcbb386f85ed664409adb20b73b229da8215b72f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Variable True Passed
5bc0d8ab8a49e9e2ae1611b89c3bf8a81be3b218 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Variable False Passed
8e354dd9efcbda93d6df5d7b3933f973db0ee8b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Variable True Passed
c45f440ee59cd65728cef09ce37d1c78820394a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Variable False Passed
4987a85ec1ff929c9883a6f11aa4f7aa52c6669d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Variable True Passed
d87e6c3ca5bba882a0df89709aa95dabaf6075c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Variable False Passed
aec3cf16deee7e667913831759190f250b1137cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Variable True Passed
4854cc7a6fc5aa0aebaccfac82babdc636c52c86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Variable False Passed
157a88b095b1d4df6abc67e022a5b6d9cffebf19 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Variable True Passed
1d0ab56dd8a9df9c51150d3d7d5ae45932f648d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Variable False Passed
f81fe2ab155825874173b45bb736a16d7a14b98c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Variable True Passed
7091f6c7c9568e967e41c89d30442e441aa09add TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Variable False Passed
28ddafcde885c3dada0cb3de5c9bd75d09ad425f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Variable True Passed
1e7f5bfcc734dfc0605efae1a75bd9359d69c524 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Variable False Passed
6885a81c56f363df26d1e6c6bf0a1b40c0d2848a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Variable True Passed
7f148d856889ef8542e356abfc6286bc7ad624e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Variable False Passed
52f22755b10cd08e69e0c8a24712303d1f700af5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Variable True Passed
bdd3ce010a8e611d5c97c67897496436cddf2dfa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Variable False Passed
3a0e96b8a4855880decc9aff38d06c15b86cbd54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Variable True Passed
3121f98d9424f8d6c8f74570c9d1ff704ac208cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Variable False Passed
8888080769b8f4b6d429dd901e007264d20931ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Variable True Passed
b9e0dbea2b0ae0b99cc56a18a081b695fab849b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Variable False Passed
ee1b1921606b8af328e08515f1ebf3e68ae3acb1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Variable True Passed
af135e00ae68a45d3445bdc66bc0a7cb25b4eab4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Variable False Passed
83004b624a87aff6fdbeb0ea749b3b717e38c5b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union Variable True Passed
791f939001e678807902a884082ca7c062a07f5b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union Variable False Passed
0405bfa582a03eb6139373b3b26b210431726948 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Variable True Passed
a38bfac399d24c740cd7fddb4c63fe338a2f5d10 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Variable False Passed
608fc28fbbb77efd3e21d170319deca274a90590 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Variable True Passed
19dd4b77e974e4374ec2928b51f44b4c5cb798a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Variable False Passed
aa1ff4ec70d617400cdf07ba3c1644fe1b047439 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Variable True Passed
5eec4ce0d229048edfe3f356ceccf354fb4245d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Variable False Passed
e3e8d4f73dedad09ca443e15bd0434169cd21068 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Variable True Passed
d559769e7729e5e822fa01f6d0492d460e63f87d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Variable False Passed
7a1eb4d40357aea2d37a022e6e79b66d3e3afdcb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Variable True Passed
817df936e6448d6983415f1674d7684218d370be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Variable False Passed
69812dc2d388c0e4a9fb9ab808c56cf66a29559c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Variable True Passed
59cd336b9fd87065915432ef8ca3e5a6362f30bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Variable False Passed
72058183b79bf825a3213def27ef2247475725b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Variable True Passed
e1364331bc26d0167ece1ceecd607796fd40a1ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Variable False Passed
fb0b7d64f1e4f8dca35d64db64f160f96850b9ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange Variable True Passed
a4a3f477565847cec3036e150a1986f117f3f365 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange Variable False Passed
b527ea799a4c31b944ace5f7953b34c4c8974ee8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Variable True Passed
c1c92db3c7fc5c3911b13693e5d41372b6b482a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Variable False Passed
fd8a16fd160c1b0dfbd4e39ad9b50cfba33fbd19 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Variable True Passed
02a5ea1fd47a10b61b3ae9e3edd022a599b48b4b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Variable False Passed
292996125879a79c32a76e6394002d4b4fe0c820 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Variable True Passed
cf3d35cfe39eb5fe4e8d56e302a2568b5ace96d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Variable False Passed
17a01abe9f8f1919f268d40052b8a1586ff3f88b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Variable True Passed
6d91da146c250ce25f3b2e4a73b58d9b6cc72d60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Variable False Passed
94bc5e2d9d3a83ee61166aab1ae5d5eb383c389b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Variable True Passed
eeccc3b96b2c7eb9c843df97b44a4f40c0ec68ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Variable False Passed
bd040b37e7b42f98a66d54e9730ae841eec7fc3d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet Variable True Passed
03512e073c00062cd28c130245399ddc025a3a0d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet Variable False Passed
906d964dc628614177d2b496f80236bd65a44447 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Variable True Passed
1f9d641eba17a14edc557cc6f736e30a346b6310 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Variable False Passed
2bf1d339f75f9824c28c41135f3ce75b90c2fb4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Variable True Passed
6db8cfc080e0704c81c326167ff308d97b534802 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Variable False Passed
5fb32cd83443fec636b6874c6e26f61e7de70057 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag Variable True Passed
853c59846797269efd753420f5735ea85c2ded69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag Variable False Passed
5181266e786bd09ff04a698df512092adbe49ef9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub Variable True Passed
7593757132fe2b215f573af50e559ba0f5462b7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub Variable False Passed
8c8f946e8a3ac2308cc4a1ec40f494840ac964fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Variable True Passed
b9b2232c881e854f1ac7cbed3e5400442b92cc05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Variable False Passed
6c056897e4d3c2607853205835fd2ab522dbb6ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag Variable True Passed
d26d79c914cadfad3e1c1319d017483146cec824 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag Variable False Passed
1ef5cecb882069d047e4317eb74ea19df2851d47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Variable True Passed
7c6f88a344bbf958100f83875077185975d977e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Variable False Passed
8834b1c07a7501ba5d8c1a085348fa6ed4810fa9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality Variable True Passed
65c30aa27631e0f1f57ee3cdf2b115e8e98ecfe5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality Variable False Passed
eb5c719c3f24babd91d99f9a65697b7abf2abd80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll Variable True Passed
ccb5d2b6a93e98e5c2ac160524f4ca69cf37357e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll Variable False Passed
b7b9f18c8729d32aa839693ffa281e7afb86fb95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag Variable True Passed
8e11cb55811700d3ac3e954fab6ad19d7e29505c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag Variable False Passed
bc3691453ce2f16ac06a7a4745ffc4aa041b84c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Variable True Passed
56df1db80158106b2267ea7ae6717aa96da6e285 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Variable False Passed
3ce1baae8b7b17d86bb4e9564335bc943c54bc94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Variable True Passed
b59f24a10e6e8e2c50f178f05ea945aedb22a166 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Variable False Passed
2a1be1587c7e9e40026255ae2b03f4b821bedc29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Variable True Passed
ae735877730c53aaa75ae41f50a022f4b497bda8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Variable False Passed
365d170599b662b7b8c9f2a7ffd06198ab9c80cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Variable True Passed
7046864743154649b0141f11c16cf9011a45899c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Variable False Passed
47ff921a0fabd0cce5a3076d7d13ab0f3d752b9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Variable True Passed
8dac27f39fb6c507998fc4352fec9426187fcd90 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Variable False Passed