Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
204d6f66a50397ef62eb8902584706193dce5083 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Equivalence True Passed
7bfd6846a5069767d7cd02a9316c439fcd0bc633 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Equivalence False Passed
ac5ad38ddfdd243fc2cf3a05b4a1420b34e31499 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Equivalence True Passed
4121d00d6ae0d8261c29b51cae0f02bc3ebad061 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Equivalence False Passed
b5f1a202f9c1ab95644289c9b112b3a581d794a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Equivalence True Passed
5ade74f09cf6010796e1daae4f0719b615cac99d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Equivalence False Passed
4e6aa67eee729fd2822cc8eb1b07731eae549d25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Equivalence True Passed
08f4ce654e709a7630d4112bfa09ce795ef7b50b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Equivalence False Passed
29f1bdbddb7951b38e3dea91e4da4dfcc32a1bcb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Equivalence True Passed
d86b853ba52280092c297727763af4e29f4c654b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Equivalence False Passed
26fbff4516f7774f01c86ee88086d6b8d8ea0dab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Equivalence True Passed
1489dfb7ade333a231208ab45b5b22125bb9ec7a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Equivalence False Passed
4574a07830b81a44ee1335ca3c364fa0fa477ebb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Equivalence True Passed
50710388faed4ee0ecddfb96d8ecb5e9a0bd1ef0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Equivalence False Passed
41d7fdbd07e4e38bb3a458fb9129981c0cc26b88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed Equivalence True Passed
b8dbec78bea324e5e4fdc67a0a9c6e50f091e301 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed Equivalence False Passed
01a258453f1ddb9b7d0d195d0d7a0d4d26594eb1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Equivalence True Passed
64cb0948e71872a9b166bfa23878d9522c39ad80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Equivalence False Passed
14fb7e076d22c131647830ccade06bf204b18da8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Equivalence True Passed
b429ad6e33bba61324acdbda4a32596d4d04b934 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Equivalence False Passed
d9bd8badee42cdc51d7ebbed2319462270fae41b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Equivalence True Passed
91495ce36342be009abb96a4754feb1657185788 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Equivalence False Passed
3e95e9c01c85b8a430117f98f5eb43428e89d509 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Equivalence True Passed
04ff9b40d7517c7ecddb914879ce9ad88c06b1d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Equivalence False Passed
963510ef350bde2184fbb52dfeebef1b493d4865 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Equivalence True Passed
43784204579c92afead1f378b3014c76039403ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Equivalence False Passed
e041b54435749578a3b4339616cf48f58eadd9a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Equivalence True Passed
7b6a472a576ab9fa0a8acede6fb94a0d580c4173 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Equivalence False Passed
3ed86752c366307c48976f1948368fa75cdbbb4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Equivalence True Passed
1016765870309116a5e86ad95fc1bed88871306a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Equivalence False Passed
56fd2b0190a29995494d051f21cc16b39bca34b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Equivalence True Passed
6ea32d2e12340986df9c095f5a8587da1f9eb381 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Equivalence False Passed
5a86334e5985e050ac5191646cb0791ed70d1f8b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Equivalence True Passed
f4e6e9d28d2450e2e3daf1c111625a39afae98c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Equivalence False Passed
78b0f65bd737dafaffbc8c3881f52bdde0d26714 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists Equivalence True Passed
d3c45c97452c9436371670cec831e6b910db62f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists Equivalence False Passed
e82af38c9ae931259f730431b340eeee5854d63c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall Equivalence True Passed
d4dfa4f50f94b1b872f9f348c1a4b4cecf85d906 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall Equivalence False Passed
6a5e62506502678b8e3a8078481579f1604aa9f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Equivalence True Passed
844b866fe0e6fe5a0af9495c769d4a1ba7561dd4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Equivalence False Passed
7fd380f72ea5c1f50497f3fbdb4822e75e384291 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Equivalence True Passed
cca3527612b455a33948de86c222cf28e5960f37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Equivalence False Passed
768154dd0b51c45b482c772a2adc98f27d5f79e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Equivalence True Passed
cd199d745d7c7b74d3aa993d82ba5e7abc36c3a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Equivalence False Passed
b1f5b1c38c4a839ee5bcd7ab44976b71ac2c5fdc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Equivalence True Passed
b223a5b6d5669fae6ac924f9d7e58129d4d9b3d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Equivalence False Passed
848554b79a7bf031ffaf8f591d4438095f7dae07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Equivalence True Passed
8abfd65a9acdd862dfed5fae8521d8c0903c70ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Equivalence False Passed
668cc57b44802b91c56ab65cd7dded0f786493f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Equivalence True Passed
b5d0e5ee335b00561390292fe5554132ad56473f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Equivalence False Passed
99d2b43bd45c2900e347f950e76a5673cb9c7f0b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Equivalence True Passed
8209666d649fc5c46047744fb3a02abd9df71753 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Equivalence False Passed
ef5559ab4a136fd2afb0cf7e72478a76ee2f46c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Equivalence True Passed
c34bd831388da83440778a92bf4f52c69623a5ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Equivalence False Passed
15169f44c18fd64653a436f2a435714a2723f6e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Equivalence True Passed
ef04a0c012b5995f7082e06744a8e2377afaa158 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Equivalence False Passed
0b6889d04ce330ea2d109c8f47a64612edaff096 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Equivalence True Passed
22b207fdc140d8bb7f8a4cc948b8d6ad9f3ccc6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Equivalence False Passed
2a9ba3c3dcf6722f060597af12281944e605aa58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Equivalence True Passed
e8747101f9b0d03a37f886b3c38b10206cd97c9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Equivalence False Passed
f4ecaa1f6f0fbb19fd1570db9f47889f6097a860 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Equivalence True Passed
2dfbf516044bc30957f083f64fae613a8d0aaf69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Equivalence False Passed
23e4ae6a3cbbbb370c597c6bfa8c9f2b0bbbc952 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Equivalence True Passed
9a90b63e8926761784939f049de0a71606b2fdaf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Equivalence False Passed
f008b6bfcc50f99ec870cdbce3be3e8d96f529c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Equivalence True Passed
972c9bce86f2d4571119fcf36e2bc8dd181750f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Equivalence False Passed
7949a04f211198c66ac27643574273c343f89fcb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Equivalence True Passed
912bfdbafecc52f82e15b58fdd592e4b02e5f163 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Equivalence False Passed
8ee368b4ba482893361097042a2ed0d340c2b265 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Equivalence True Passed
b4a26357bd88ce46f9a95a01cfcd2494c647d07b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Equivalence False Passed
a7b50a1479c79d645ee93ce16c8f7d5f60f6bfb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Equivalence True Passed
cdaca4284713e97b8dc4779e186bbf8aaa33c99e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Equivalence False Passed
407f022c0cf7d8e32452016549c6157028d5cb13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Equivalence True Passed
3a49317996a30e5e65c3df554e89a5f9180b1601 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Equivalence False Passed
a2fd48f710aa2639bfcd4fdb4d26fad2dcbd1b89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Equivalence True Passed
52ba0b410c570e5744860ef0e6c18b089240eb61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Equivalence False Passed
34be30352aee7940f65986bd6e05c09ebfdad781 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Equivalence True Passed
f725dc83445cd4839cf2baa47251146cd92efb7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Equivalence False Passed
dd0f054f0cf8e90abb6860ec73314870e59d0c9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Equivalence True Passed
c4ad2af27d7055908b49deddb10d7e36edc07d68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Equivalence False Passed
154b8ec690ee99e3c1f64baf64f0431c03485762 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Equivalence True Passed
299fb08898f620fed2c1203082305d3d3998126e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Equivalence False Passed
a2ac288b0e9d3a782de7300d8a32f575f61218eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Equivalence True Passed
b57cabe3cb1a1a47866a9bde920158687fc6397d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Equivalence False Passed
8fd5ae1f38e70db42895256d8f0129f60f184d65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Equivalence True Passed
aaabf2903a2805f8ce092d87caf3e79df97e2beb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Equivalence False Passed
cebaffbc97cb86688a522bfd4265ee1e7d8c07ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Equivalence True Passed
ffd2b897da2a02d4b710e4413488724f43055eab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Equivalence False Passed
e80784316ec49da39a9a8cffcc2ebc11a4b31db3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Equivalence True Passed
5e2bd977dc146ad09c902430b54f5d2723c0ab02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Equivalence False Passed
64f89bb27033d1156e376ddda99da003b88b58b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant Equivalence True Passed
cd488b344552d80b95932ac06b510d25ad9d3228 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant Equivalence False Passed
b426be72c762fd12f0a30dc5fa615f8c424772f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Equivalence True Passed
f6708241b12765ad684869167cfc93e28a171575 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Equivalence False Passed
16f8fd380fa1274f5a3291c3c89f9679c8fec866 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Equivalence True Passed
96cb52ee3a0e2d86f741bad991b89418c1427713 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Equivalence False Passed
6dbce1d26b9ff4ca8daa2d2ac2cdf224f9a48b1c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Equivalence True Passed
81bf5733f2f4c3a886813aa25b46707645da3de0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Equivalence False Passed
872a29ed7acb8ab32053423605fe4a0fb1efa5d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Equivalence True Passed
9a977c45f8d2d42adabd0e535cc20a4f3ef8affd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Equivalence False Passed
83dc8700ff1fd2b6dc48112af47c8ceb130a2650 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Equivalence True Passed
756867aa13a8f5a7498c45cb2179a00c72a37612 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Equivalence False Passed
8cad86fd08ebb9b4857d643e8eba11be4668c780 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Equivalence True Passed
8d96f1eaa23fedddf4d92bc654e68eed26f70318 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Equivalence False Passed
84b0d4c0e6b6a31ecfdf715f2f96e6e0b824b764 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Equivalence True Passed
72948c3f0b45a61c97a49006e22f32e7fd04e3c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Equivalence False Passed
296444dc37f66642985bb005528d7d933ffc6444 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Equivalence True Passed
b769f4c3181759c42cd466be0e6897aa61cd8ca3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Equivalence False Passed
b8ee53b1bec93ca2b319002f1d64bcce6f18ca6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Equivalence True Passed
7a0c2b64d10ebb4595c101a6f9ddcd51527f7b57 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Equivalence False Passed
2c22dbbc20231b7adb7ec9e22a0eb9b051b36c65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled Equivalence True Passed
d42b4287082dd9b331420c5e98fbf5e3a9935cc8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled Equivalence False Passed
8b93f42fba5082ae36ff3a263ec2383eb358c952 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Equivalence True Passed
22ab3bc966f44f12fd33d711e7b1e84a98aa2934 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Equivalence False Passed
27a0c37875db2e791b47b63cf51e719b57e34756 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Equivalence True Passed
6b73574971bc9cf26b87a91ada33f697f7deae99 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Equivalence False Passed
05d35f29c9be63340b2efb381809a80c4cd4913d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Equivalence True Passed
18c2fb7f09fc3d9808264a9f5c606c251cfacf0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Equivalence False Passed
93a69e929d7f9a6c220a0fc819dbf35502ecd0fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Equivalence True Passed
0a21b5caa067aea0a1f3f26ccc669599097c555c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Equivalence False Passed
b10907ff7f867635bba50820d60f88b143081876 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Equivalence True Passed
7d0ebb1c16af5aea7f337a92b67da14862dc1927 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Equivalence False Passed
4e3a8f3e0df7a741d8cb44dbbc6c4e9812c9fd50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Equivalence True Passed
f5f596f111145adaca7c41752585665a797fa54c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Equivalence False Passed
45ad25adb5912045f4e24007c97c037b690e51c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Equivalence True Passed
4500aa932aca447addb64fb94a55161417dee287 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Equivalence False Passed
a305fb92604de5a3aa0d00dc11cf4e066b53f958 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Equivalence True Passed
69191237b107bbfd02b781d0f0d72cd11298e27b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Equivalence False Passed
2a6b07892a58656d0e7ce11452d3ce965d780d9a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Equivalence True Passed
106a20d202bb3bb8b174e46e2da2142e6269ee9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Equivalence False Passed
6c43a54e1a8a6e0be26a0b584f529904c2c34ff0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Equivalence True Passed
8adc372e51dec93010b27df436e09aead2123c40 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Equivalence False Passed
708408233e1602c719e53c1fdb266da5ac7435ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Equivalence True Passed
c831282616819a727be3dc71be6c53abdc1b2784 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Equivalence False Passed
9a566f8c0301d04414246048ebc9e82d78f9a6e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Equivalence True Passed
bc1974d8c41cfc9a9a4889e2d083631e18e15839 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Equivalence False Passed
a8e5b47bc3c0c75c064680800c639380760ae111 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Equivalence True Passed
f7cbd17f350e42700d1f3dcc0b1c5b212a840afb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Equivalence False Passed