Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
af44bdc0d81ee264a5bc16add174531c5c82a9a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply OneLineComment True Passed
0aa4da4d1adb9482462584b506ebe2c872e4f550 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply OneLineComment False Passed
e8505829c0f74b214a68a32dddc2e7c20b06772e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply MultiLineComment True Passed
52fb7767286cb738e76b01d689c5b440cb3a1516 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply MultiLineComment False Passed
78b341ea3e69a2b9184a66ea73655bc07996d0fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply BoolTrue True Passed
b325aba754251af70da20a82708f4964525a9511 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply BoolTrue False Passed
18c8d6faeb6e73aea6fc8b2378538f6feb7220be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply BoolFalse True Passed
7d7ab826bef91b2e359840af51c2fb1e4b17a39c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply BoolFalse False Passed
e684396e12bb20f606d8b0d6bbc914b051d3e851 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply And True Passed
c0d86ed50baf67089566c6281239bff84d1fba01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply And False Passed
c03e93ab52e962b08cb22fab119f6aa0c3eb75cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply AndMultiLine True Passed
d65d2c4e2e59951e419f7d6fc3dbeae5a43761e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply AndMultiLine False Passed
2d59580cc4e1553b70e74bc132a91082a62988eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Imply True Passed
31e184c092eccbe3fa33e6827f2b44f098ac68b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Imply False Passed
6d244986400afac5652455169d05458282e97edb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Not True Passed
8c66deaa2bf8d6188048575ed141f2eed560b702 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Not False Passed
5e70b186b3f9bd8496045312f87134ff10a909f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Or True Passed
0b783b2e2edd444b32ae8bc3d5a55f99ba5b6b35 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Or False Passed
f970f940c6fc5a3d3415020c2f43e40aa29a3565 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply OrMultiLine True Passed
0e7380b246eb1c043026a77069d7b20efe8661b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply OrMultiLine False Passed
7e973cf90ffe0649e71ddb11c68c2347099d35de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Eq True Passed
01162ec300f7b8642ace73eac0eca84f5bed0145 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Eq False Passed
7a40b609cfa59598bba0699b7242ef89d873c7a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Ne True Passed
e000f4bcef6c9ece2cd0fc4ef193e32ea5339c3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Ne False Passed
b4be1eb170a6f5599747b2fc688d7348d2e7fc9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Let True Passed
e9a6c7113d56bee8437653b56684621c34c514aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Let False Passed
01ff233b93a6c314f054940ba1afd75bcbc16dfb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply In True Passed
819c0f51f10b8d75d1d2dd939423d352dd344d40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply In False Passed
59bdfc65be33aec84b6335265cea2a790fc1aa97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply NotIn True Passed
400ae935faec9df6900f8346625d1d6de0de48b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply NotIn False Passed
4023c84d22da2bbd5cad19d4f9d22fa556f1694e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Exists True Passed
ac26d7665638bc37e1c9b64a3f66417648369574 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Exists False Passed
3e54cd97c6965e9affebd89373ae5e6933576bf1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Forall True Passed
32b88d0483a3abb7f0f9724128a8b87a23094b05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Forall False Passed
f7059b1f2465cce3ca56ddf4bf72156be4ff6bb4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Choose True Passed
792b67308de615345f63e1399da5b5a830c125ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Choose False Passed
e4dfc87672d3bf5905878cd3a1a5bf3cc49e1f68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply FunApp True Passed
7271716bd320270612e7a6b0d853efc1fc144e1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply FunApp False Passed
5dd388f6b4511c8378eee027b8a4c6e61accf0e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Prime True Passed
a018a6325c3bedb9213475e8ccb288e195840b0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Prime False Passed
3b80d57987baa143e5dea47af8a29e6d478f1de2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply NumGt True Passed
6da6e05ebba0c876423fe9b71188a3fe9473cfc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply NumGt False Passed
54b7424925bc911bc1da4b2a94e9668681963e8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply NumGe True Passed
d0c72dad2323751134fd0986d70655711749ae0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply NumGe False Passed
7c346988e9dc3a96b569322c7c26f09634e08371 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply NumLt True Passed
87da5dda4532668629b2ebcabe4ed8e0e0b4be39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply NumLt False Passed
a6d1c745e7735f58738bb7cfbba9f73aae7585a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply NumLe True Passed
7e16b791a06f5a3f075a4e4646776cd473d420e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply NumLe False Passed
0616c4af237f61c715e848237791465bb55f5081 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Def0 True Passed
f8690996a5ff79b6ed78abd018269ea7bc914203 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Def0 False Passed
b420d4c3f4c2e753e2bf8009bd2b6a2839c4d1b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply LetDef0 True Passed
fc6e20f9b9328eac744d8f52cb3596eeb6a017af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply LetDef0 False Passed
d06bca1ceb3ba272c3047e87c378c17ec95ddb7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Def1 True Passed
79b7221e63bbe3e00316f164a39837a8772db1c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Def1 False Passed
67a2165d02f993d8b69d6474c3f0fb835cc0ad85 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply LetDef1 True Passed
869e73540f2e709179d7613b751edeeb7fa6bffe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply LetDef1 False Passed
8db4b272c8cb496b2e6a4558a02b43e143080124 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Def2 True Passed
acdedc263be16006aefb62d7728c2b089ae939e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Def2 False Passed
12026714a537e1462a36c8abe610c7a255def2fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply LetDef2 True Passed
67f8e80fa0c4b2046e0a695e67914772372e585e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply LetDef2 False Passed
4e23ba6823a54313835fd1bb433b26b855fc7dda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Def1Recursive True Passed
85e071e229282c7dc928a1ff0d9f20a3ab82a303 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Def1Recursive False Passed
d67fa4bf7126b2011f1d49f98c44423e5464e20a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply LetDef1Recursive True Passed
5ad1155b1f0b626d3961fe283f3bf36a52168fae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply LetDef1Recursive False Passed
14b349ec4a541bae16f42d9eab15835aa535cd1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Extends True Passed
83889b51eed5668aada0dd4653e78dcb08477285 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Extends False Passed
d5b953f8e0b7beb8df3e4bcad5c2a1150db06284 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply ExtendsInDifferentFolder True Passed
4c98778dc72e4b2580465353ee071939fdaa3813 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply ExtendsInDifferentFolder False Passed
d0a0fa923e87150782dfd4c9f35eee845f981208 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Variable True Passed
3f17d3a830512233cd62f7d149a46f3368ee75a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Variable False Passed
35d3d90b86b68e477153d4ee5492b8c3a5167cd5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Constant True Passed
3ab6c51f9e92d912167184a947633287228650ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Constant False Passed
0aab1003d0b206d93be9b5b6f203a6f2593d4cc8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply ConstantRank1 True Passed
6a4655f38620dfb039a3bde3a327dfb95722b437 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply ConstantRank1 False Passed
4fe6f29f7d70101f4b13058886edae47989aafb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Instance True Passed
baf1c173400d2d42f7cd60927d169b0d0983a8f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Instance False Passed
90e0661475524205dcd1a1223eee80ec105c0cda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply InstanceWith True Passed
d20c817bcd37dd7efe90e0b92d4d530cb3c3faf7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply InstanceWith False Passed
75e85159d4538be0868353f3ce2eacdd756d76f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply InstanceNamed True Passed
09b4e4f9afa82a5f523f00733fff739cc0166f70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply InstanceNamed False Passed
19746660eb77ffe7a6d3b131a94a0ed6cfbcf07f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply InstanceNamedWith True Passed
17f5df582b0f5c5d5aa098c11280c81068925e94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply InstanceNamedWith False Passed
3407dd0b4ebb7f731a5aad346f75d02194ac3580 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply InstanceInFolder True Passed
60ae1bf0758567ed45cf9746ac9612db71899736 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply InstanceInFolder False Passed
63b2ca6a76e5d859c78e759ad713e7587c8c3f08 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply InstanceWithInFolder True Passed
2591f5c211d5f6da46f2c62187728df6d4765de7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply InstanceWithInFolder False Passed
b4534fa39ae5d097f96e1b53b6b0e06153b3ec27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply InstanceNamedInFolder True Passed
0053ec17a5bb7b6c17b4746cc0cd6f036e62a88b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply InstanceNamedInFolder False Passed
4b1694a09c0c2704e608f0400fc04ec359c683d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply InstanceNamedWithInFolder True Passed
e75dd1fc4a7d77f1d73359c614b65c106204f517 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply InstanceNamedWithInFolder False Passed
91a7daa9fb0cbaf43c52b637bf0e1348dd79d408 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Enabled True Passed
a2d07e39d12cb1891f8cf1afb3883015c7c88e7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Enabled False Passed
d4cea940614444a57c274470f125c519cbdc3970 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply SubsetEq True Passed
bf69b2a9477f2d4bdcdab4315e4be63a9cf96592 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply SubsetEq False Passed
f57585e5f450bec92714919c6a7fc47b0ce921df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply IfCond True Passed
dd2bb5ae2ff2c9245a6724fa994167c0c5368892 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply IfCond False Passed
2f9186a5ab8a274b75b722db7d8621f5e506c2b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply IfThen True Passed
f5e313aa93e1d53838504bc526f6f95fd806f5f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply IfThen False Passed
a70c4ff182d79df7d8cdbd783e1d026890b78a24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply IfElse True Passed
b1ad0178fde9359b2b60a810271745aaf3eaa505 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply IfElse False Passed
e4441053159ecde9cc7f4d187ec189922bfd9d5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Unchanged True Passed
d8af6d524046c7e100ecf055d8704af6642c74b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Unchanged False Passed
9a43100142e9ba5d9ecdcba556650c7b7ca154ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Equivalence True Passed
68e338b13413a401e8e061694ec36c5570d343d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Equivalence False Passed
520105fa16189e10cd4fb607fe24b84250ce2d9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply TlcEval True Passed
cfb8d910ec4a06dd52263ba5383dc4f85f277f23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply TlcEval False Passed
296410f3b36f14883f914eb580b86eec83c3887b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply BagBagIn True Passed
c4f00559ff61b35c7b3a0a7fcd4000fe37aeaf8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply BagBagIn False Passed
dbb3b311f6fb494a49aa01399f07f7a4bbfe0d8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply BagSubsetEqBag True Passed
7df3f6cd2a253c8621fefe023f3d34731d305aa0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply BagSubsetEqBag False Passed
22a2bc53ee319e2331e3ddd3e763242e559ab094 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply FiniteSetsIsFiniteSet True Passed
2b4623760f812cf002463a83b6a15d456b8357b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply FiniteSetsIsFiniteSet False Passed
9fa45ee580b55c0d33a3396eedc8348790579602 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply SeqHead True Passed
64a1085bdd9165a2be408541dadbc6a7c4e4eef4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply SeqHead False Passed