Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
c77e6c094705b3c3ee268015c41c0f3c7ecfa566 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Choose True Passed
f0c86aab1cbdea83460c89dae35f4f3d28ca3ab1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Choose False Passed
49a5717d6c17513529edab813b8bfd1aff0a8c88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Choose True Passed
876c73cf61dd4acedf870b8808653f7d9c505b7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Choose False Passed
0b8d544d2b3d984c0e6f54ba32517332b621607d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Choose True Passed
6960109238b48a9fa3592fdac2dbf3990abcf9a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Choose False Passed
abfc66334d20ead9da7797d885e5091b5249e7a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Choose True Passed
3e4469ac4f605947e606f45b094fe965fe7d10e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Choose False Passed
c009ccb83b4ec32e63da5387c8cdb54f950435c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Choose True Passed
bcb7f7bfd8d016a464749ea4d74e3885e62e2742 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Choose False Passed
b58c81520db81d37a9e44ee4dafd700164b170f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Choose True Passed
64ff95f851f5c68a9563add18fe3069919edbd76 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Choose False Passed
fa10f403815f2675bad7e19e36a329852559aa27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Choose True Passed
f1161d3ec9a2e86626be31a8008bfeaf49b330ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Choose False Passed
d14b1458f689f2375708d7669ba9ffea484c1fb2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed Choose True Passed
e48bc66f6a9a2e72ea482746576ac032517d1ae2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed Choose False Passed
cc54d29c8bb27de722dc5b1d35c975da0c91f0b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Choose True Passed
d0a48ac6dc45d576b374abae67c84589b76361d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Choose False Passed
d7fb7dd3c033ae393ecea63a2017e4ece7a8ac7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Choose True Passed
2efa70f82322a4b433f3cdbb46e5fbf39013573c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Choose False Passed
7948b5a251eb23dac734351a4cdee60cdc4bc5b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Choose True Passed
aedad5c056463b01f3789c182eeb516b53f520e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Choose False Passed
96b28710c252e170b5bb944b3df7d19a02e4a241 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Choose True Passed
a4d132931203f0841d5e4ec5ab693c9b4e722664 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Choose False Passed
dfb2da9dc9b1791c786c7991ba421cfedb8a0811 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Choose True Passed
d39599c40fb9761924c076c9e238ed3adcb2e0a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Choose False Passed
65db632f1bfe72b1fe902c31c2faff43c77957e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Choose True Passed
3c265baffd37e5157e88d84369bf12900540eb7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Choose False Passed
f840cfccbe89a2dde59a99334dbf50d7b2f1d0d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Choose True Passed
a9f0f2891a2bde18dcdbdccbd35d16f357aabed9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Choose False Passed
b93d133d10797cfd11984c58af246b1be1dd7673 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Choose True Passed
737f796ad23c067133fa2a9acb3ae795621cb37f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Choose False Passed
1cff6ea4ddf182220bc4abac5195e0a9ea2a8ec4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Choose True Passed
6c2ed62534680dedd78c9631cb8db79075d45281 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Choose False Passed
5e5026e0a554f350bdf8a2dbc78de155d0422baa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists Choose True Passed
44831917a3f3125247a7d00ff5396b4c2ae9fad5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists Choose False Passed
611eea18077a74fa8aaa0cdb81b9fb9371c2bcfc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall Choose True Passed
1b19f520daaba296b3454b703f0a25e41c20abf8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall Choose False Passed
6ac2f1fdb0876e002b0f281768f1d1106b9b1ec2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Choose True Passed
639dd113d09eeb11f03f46fbe29a86f35752baa7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Choose False Passed
3099d6359abe6acfaf8a9ba71c70eb812188c4ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Choose True Passed
d52a0f7b48e2085888afb2dc47e2ccedda160268 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Choose False Passed
163df201c6ce4fdff02eb059491cb68afc423eac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Choose True Passed
0ae3b2dad1ee12a3d0ea033446f4790b46235056 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Choose False Passed
40642abea017d2894e3251a4296a8dba03c26170 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Choose True Passed
70fb0c92c184bba2741af7fe5ce939d2b1ae4de6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Choose False Passed
03d6eb1ae8105cea48bd6fbeb318929217dce24c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Choose True Passed
0da4129e99f38dc70a45d5eda559d9fa61525d37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Choose False Passed
8faeff4f53cbb9c7691e07896653792d371a10c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Choose True Passed
7748f2fed6adf5b9253c70e5198aa66236ea2a5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Choose False Passed
192c6a314c10d3e89ab20f081c60d6f51460d191 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Choose True Passed
9d1aa33c85bad6962c51f702008cb793f16b5054 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Choose False Passed
7c0f05a5667edc2688196b1e2da0ec87922b5d95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Choose True Passed
a12fdd677a9b283ea48d9b62cadbd30713174436 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Choose False Passed
31b0ac8b1ca16a32181faff87018fa571daf4e8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Choose True Passed
ea613b1b75a740986a2e681884ded2f5b74ce1ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Choose False Passed
b215d7231e8e95a90d32d59ec681b5c5604e96c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Choose True Passed
6bfa38a7aff7485157154f15008fe929e4d171ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Choose False Passed
6e26a64aee3544287d534477ea5fe65848b58370 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple Choose True Passed
960927f1286c0e1a1c7cd31d18988c071e49b039 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple Choose False Passed
bd15d425ba6f7377e27959be2f9c98b9dbfb6b3d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Choose True Passed
f6f1003e4882cbb0253d94a8dce9e4d800e27ad7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Choose False Passed
cacc629bb54cd7a6ef9f785792bf1497ae64290d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus Choose True Passed
0fd709fe3d2a9b6d44e50c75ceaf70f91a5987cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus Choose False Passed
139beb4f5eb1905daf6d6023e4814169f3f51982 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus Choose True Passed
e63dbc9132e0314d53972ee572ef9d06b2dac819 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus Choose False Passed
2a405af2b75cf85fcf5dc6f5c1848778d1bfb503 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus Choose True Passed
bebd71701f252ffc17048927678c79caf51f3ed4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus Choose False Passed
531992c784e4627eb8f049891fccb89f6d4339e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul Choose True Passed
a5587ae20a2aea9f507843343899ec6db7805432 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul Choose False Passed
ae9f3e1ec7aee67721bc26d8d5ba6187aa616702 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv Choose True Passed
0c302597a7daf9708f60cbd522adfdde8cdb5dc1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv Choose False Passed
f64217cc8c1441acb72505b8ced9b06bf7341c2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod Choose True Passed
99b73f2b44ec1b1b69c956e933b6dca497e88fe0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod Choose False Passed
5a1dc7603209251bd12da16cb6e50b57e197db58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow Choose True Passed
89ddab36962e93cb702e2138b7252b6458143562 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow Choose False Passed
76316c82fe16d233a564ef56188deac3ef84b3ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt Choose True Passed
e5667a5f2801a72a5b7b0b15670fcd2f36a4a8f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt Choose False Passed
ccbe5605b8807d857d6b83c3b15c9dc843e8c17b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe Choose True Passed
b8be9b4d5b8c496225709446ea2e338328feb959 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe Choose False Passed
77ab4c214f3acc7dd570e23599428c99e4fa89c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt Choose True Passed
b00f418c69a4b1b326bef05bed4f2e667bee6859 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt Choose False Passed
c34242d24ebbcca9f9adab28e0847aab9c5d7445 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe Choose True Passed
a3d4b2c619fcab03caf32e27b82bc82fa2815925 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe Choose False Passed
49570e400e9f0a570849aecb78d75e46a815c894 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Choose True Passed
e165f6967bc1637b2506c1861deebde575fb8985 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Choose False Passed
76f55eb92f2838f1244f37cc62a9bb641df12bae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Choose True Passed
6a2db6b33e8135d3b83b7718f533dce386f48b9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Choose False Passed
4863ed45d62a53da10306920ef66d0e6b070ba0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Choose True Passed
c0b81a02a98e420e8974b7495614efe8b5443679 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Choose False Passed
960fe79ffc9bedbeb1cd497b9dc8f3e9db04f5d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Choose True Passed
30ad05508cb694dac439da40ce2e622b592ffa16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Choose False Passed
10f12e36e9b3705d6dcffeff0f33f37d44db4ea6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Choose True Passed
24be45b22596251ae0921f1ed1befa2d1b45ad95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Choose False Passed
3a12d2bdc5a12a73972ab83941e135c3b22cc897 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Choose True Passed
5aca43000bb4cfe39ac7c4386e89cf5413c2f2fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Choose False Passed
34c154222b1064a49e2c3f8e3c445766718b02ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Choose True Passed
be756295bec609f2ee2112f3be15a8e1dc783433 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Choose False Passed
6b81a1c2d8ff408a52e482ab0c733df494d3b166 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Choose True Passed
3105d6620f806c61a8875cc807493d9c3d7d8078 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Choose False Passed
696ed38a92c6fe1e3b28b7e9584f59f73496775f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Choose True Passed
04e91dbc29642c16e79a7c8b79e0da201eb63963 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Choose False Passed
ceac0a115d54f99b79fcbf3317e0df120332a3dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Choose True Passed
f6c41de756cc8966d4e9f0f87ec163a429cb743b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Choose False Passed
114b66316e276dfb8616992f9968ccd8733cb076 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Choose True Passed
106db0b24562f5b3587db8404f9d0f49805a50f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Choose False Passed
62b2047e2859736076de5eb4afffedfa05345eb6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Choose True Passed
a68b92414e3fba7bca89c07e1dd419ee8fffc99f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Choose False Passed
b9f09916c82e2e5fee238bb5e1375bd49cd521f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Choose True Passed
689063dc1efacf512d095e4d3a0d5d59cd278a53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Choose False Passed
f9210d9dc0f8aef53b207a3c0682984fdf5e6fd8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Choose True Passed
e08095871f2530af24dc840386198b55bcedf71e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Choose False Passed
7f0a330ed721b2478dd4be976597ce2cea07c29d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Choose True Passed
b1790d52b7e4a9fa798b9b317a965f0d74fdfa2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Choose False Passed
d19edf27f474eaa7173442d5df2866f39fe80ee7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Choose True Passed
1b024be2d243adda48ce9019d4896d650b252f18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Choose False Passed
4c3c92b1de70c7fc6fff5e7f5158cc92f9fae334 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant Choose True Passed
0928132717be17974705b23f6964f5c915a61c79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant Choose False Passed
bb731cf8a9f22848d3beb1f48e7eb1dfd44f9d8f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Choose True Passed
1a42b43318b01d224b8c865e5c42ffd57bb4a3a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Choose False Passed
5544f12e5872e872c25f91fbf37b5878016f12db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Choose True Passed
cf382a85aecea3edcbb3d3b051abe97f4fba9f55 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Choose False Passed
7003f7779f4a1563a8893de1bff4621c29dea6e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Choose True Passed
4af59266f68f397d4c8dbbedb4eed7fd248ffe44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Choose False Passed
f17f432762b82166caf06e73ba57ca38266cba3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Choose True Passed
cffff93b2acb96aa2671b073a4d0f096b3c9ce47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Choose False Passed
d0058fca89e1b6e8e2761ce1c18e061e2f4caed7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Choose True Passed
94d08bcc701b5713733f73795b9b68870ed0a73a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Choose False Passed
8205a8a0a4c47f1c72b0e44f1c433ee8fa21bb3c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Choose True Passed
23cab6a5f6d9e51a4023d84f198c992f1ffd997f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Choose False Passed
f3c16cdbea0f3b9f41512d359bb8f9bc51d438da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Choose True Passed
85a8d6917be874cd7f12d43077f7a01ec4346a0b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Choose False Passed
391c518b172ee13df2be4c63dd6db8a5aef84800 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Choose True Passed
011ad3e44aff79a31a49a414785da8e0bdee3142 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Choose False Passed
85d113de154dc7d3fd74a46e8a9b550adca2df74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Choose True Passed
b62f449843f2db9a517fcfd17ce0873731e4269a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Choose False Passed
753f547c2372ea49cded3b15aebbf17c9aebb689 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled Choose True Passed
bd16f50628405fa67b9c6958621619670685ee42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled Choose False Passed
ce6f155fd6c0fdca8b2f547f2711c2756ecd67e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Choose True Passed
36c335240c073b19d0c6c56bda8dcb4543c32262 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Choose False Passed
fb65e7889ab2e99891035b0437e1a0b7b3701943 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Choose True Passed
55d4fdf63dfe7e6ad3c6a6e2d8b62514489ebb5e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Choose False Passed
218fa92f08ddc0ef65f0d684277f71c4af4ebdd0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Choose True Passed
93a8fad05823b6127e7088130a39f4c0439a0a82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Choose False Passed
079141438174e72a355fa2fd5612b9acf5fef6d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Choose True Passed
83db03d25b12491a4f2b4e87493318c3f9968c10 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Choose False Passed
5125b8b74f578658887f8ee17b6bc452f7ebe64a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Choose True Passed
c46ff30a2db89c7c7898db9af45b54a24a1738c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Choose False Passed
5c76681fa674f761cdeba34a278ccaf9960db745 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Choose True Passed
1ea65a6f9b361678e944829b8e6583be124d07ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Choose False Passed
6efe1847097ef633bb893d373ec072d6e8fd3b56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Choose True Passed
7d6362391e1f7dc6caae9809c67db4c7c3f899ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Choose False Passed
3a51adceda2cc2be40e15690a8150dfcd2c87cca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Choose True Passed
7061516335c01f0c560597f3c15775db23b6dcca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Choose False Passed
ecfbba7daf06f8bc29b81356ced19b71d921ea82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Choose True Passed
8f190829b742ea034f374ea2f07b84ce0459815c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Choose False Passed
d9dabcb27d3233f9d0803d34001cf4a8adac15ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Choose True Passed
e1ddaa4d3a4c011be854670573e1f48bfc1a0481 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Choose False Passed
ee064d58c8f7d777c2cd06490be00d4d8c0f5e50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Choose True Passed
03e8aeb401d44ff0e9ffc1d1abf481db1bcb68a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Choose False Passed
7da2d3bbff1138eac85e3c9139cde39c99b02434 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Choose True Passed
caf239623f3e99f883f13c5217d6aa5355a0dc2a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Choose False Passed
b8164e04d72f7b3e7082f96973ae8c973b610f6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Choose True Passed
25e81555d6a3b97924e7ae2ae1eb5b51c69d8ac1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Choose False Passed
f2cd0a13dbec599eb67982d46519ee483dd27301 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Choose True Passed
2e73cfbb8a643bdf71fb75e273055b289fa35463 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Choose False Passed
cc7edfa3d81b6f97ca5d56ac8b2fdfb0e162e366 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Choose True Passed
ae0e8f81c0b655de0c71e07a2f889014c8f49452 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Choose False Passed
536cb586f5722f426ffc909bdf2a71052cfa8b72 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Choose True Passed
25c9991af2d72aefd3993dc7ed40422ce00009ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Choose False Passed
d44ee9f0d69d0efeba08d543405862d576d36071 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union Choose True Passed
a005cd9c83b0eecb3538ce26b5b686322e10fbfd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union Choose False Passed
6819b4aa10f4f25b1839027b8e260c1b04bb4403 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Choose True Passed
6724a2c6df7961809ec1fc88f783b42e4bff37e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Choose False Passed
047ef6825b274b77fb4265b05d605a010ec5c510 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Choose True Passed
a179169b1fbe986699da1706be0d9fcbf7ef6007 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Choose False Passed
e0dd9ab0dcd4a54610def2d93b28c55405261d65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Choose True Passed
e0405d7876b6cbed92fe9e481c8b54e1d1533565 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Choose False Passed
d1a41d9973a631c26772739510bdcb3b5f8e5763 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Choose True Passed
3f64225320f38a479a380b665112c9f975d78ba9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Choose False Passed
4e0f62c04e3cf2ba452f7e33b1b4adb7568ea9a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Choose True Passed
7b7dd725a88982a7d02626c7198c3aabb27b6263 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Choose False Passed
9e15eeea82c2b74ab047cf4b09f3778d8be504b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Choose True Passed
97250a6fd9b7df907b5e5014c5c0d8c3a8ec5b1d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Choose False Passed
260eb974436a9f74f8d37537b13ed94954ee94b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Choose True Passed
0f86efc3fb8f31e96bc7c4919db471fb0158b2b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Choose False Passed
eaaef729d49cad8989131fbc26fb009e75a6aa6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange Choose True Passed
07e1c651402305daf8d0efc8d1e95387be476135 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange Choose False Passed
2311c36e9c129f669940c3431ab807acc1b8b541 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Choose True Passed
c1c80b72c26c729784d83ac92f75303a762aa981 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Choose False Passed
59ad85692a8a77fb9f2c215eb5e6883868395e41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Choose True Passed
f6148fecb7f7e1efc155676eb430eab692e35768 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Choose False Passed
61668fd7e1616871182239c3694b46e2c3e16382 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Choose True Passed
cd58e1d097297905b18b8a18650786c0b56a169d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Choose False Passed
a258286ec10d3e68082d831681f057463eef8aed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Choose True Passed
616906de17a734f6036c01a88a551c5ad4eac23a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Choose False Passed
72a0f1704d5c6d143d48894895ba789e054fa698 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Choose True Passed
33d59e896c39661998603e931195e7408154ccd7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Choose False Passed
c74050636cd76235fe253769e1c208f788c5c5c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet Choose True Passed
63a18ed64782eb901c0d72862ae46f66d2dda296 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet Choose False Passed
3c22920ae7737ecf3793420fb558eb57266b9565 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Choose True Passed
fa1db2bc443654b0e7ee273b26ab1ed18b29220f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Choose False Passed
d1fdfbaf3705e2be8c059ba9ac4285031dd99f1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Choose True Passed
1b33b57d9dd5c8bae175662bb1bba91d8d9c22f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Choose False Passed
7b8e2db02b08239d18fb47f9d3aafc60b7fe720b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag Choose True Passed
feeae67c73dedc4e439c6c3d97be65a7272f3780 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag Choose False Passed
fd4fc3426bf50275cf116fa2322fa42c5965461c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub Choose True Passed
9cb51141dec2b3c62f95ca0c53d011099d63547d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub Choose False Passed
ae8b8a24c0c7609f356476c681c24e6d3524b4a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Choose True Passed
5c4472a93261995788e7fe55b3687d366b7a4028 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Choose False Passed
b5cdc21cf50128c088f8415096fbe289dc08aac5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag Choose True Passed
eb339e8551a99df918bd9cab582481281cefcd2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag Choose False Passed
f62c5e482018555e41e6bc9780ee2e21449c5081 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Choose True Passed
fced0d8427c79b590b3e82b8d4da410ca06f1ce0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Choose False Passed
3f5a7ad814315bd6d0cb0da1ae653ce62c7a12a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality Choose True Passed
3e8d1ad42b731a141f00c0240f0ec5230d293b08 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality Choose False Passed
6ae224724475d0adc33c6bbfca9223a34b26d809 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll Choose True Passed
c605f20fcb6e6bca6cb73e342f75a77488dbcd4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll Choose False Passed
ae2e7e5b544025cb253f58ecdd6e9e68b4b80588 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag Choose True Passed
e92529c55c93f4b35aca3e5cc4f6e214befd74ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag Choose False Passed
e11db9447ee0d72782dbbfd6bf56c1ba556c56f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Choose True Passed
7c0d4fc32d1b9cb62eb2b449da95d14859abb6c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Choose False Passed
985eda4b8d3d03ae856fa409c66cbcac850b8ea7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Choose True Passed
9a7669cf1429ae50629b717f07eb7d8fd902b654 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Choose False Passed
71aabef3dffc8ff92a8fe62beeff2b70f80a5366 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Choose True Passed
8a7308fce1b23157c0b090bab9a10b3b32091d85 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Choose False Passed
0c7cf49e4b9f6a0bc625cde4539794e6b8bdecfc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Choose True Passed
a898b1d75ed785539c5261d05f2d6cb6fff3185b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Choose False Passed
99b413a9a6df741e0d29f025bec28e2a325facb0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Choose True Passed
6be5e71bff39e310a8c0fab1994ff4d30a5ee6ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Choose False Passed