Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
7d78c9f89d916d928c9c52406c6715298ba1d060 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence OneLineComment True Passed
1c0213b44f1b2b570770145d2ae006deb8990c40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence OneLineComment False Passed
34068fb9a357711b9a143f69d3b06ba2fdf3c47f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence MultiLineComment True Passed
7ad411f11c08351b0d9e465ad2534bb9246a263e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence MultiLineComment False Passed
2f07519e67314e1b6e8f85932876e4a19d20af58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence BoolTrue True Passed
e3df539ce8c8867d9b669e77d65f381252175c7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence BoolTrue False Passed
7e6c862d2a1430e1728d2359a4c7deb8d7ef8f78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence BoolFalse True Passed
a0a9f4ca6fbf20347c0671f93b865ea37fb50bc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence BoolFalse False Passed
867ad1eabf336d2f947c3e519ea8c6288bd8823e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence And True Passed
169419a746ecfe0daa01b590cdc9ebe25ef5080b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence And False Passed
b5431f7c35674503f92c51fed2e5dabfa2de9f8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence AndMultiLine True Passed
f051968e4ca68e9e14c8a553dc2d3c010cf81ef3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence AndMultiLine False Passed
033755136890e05cfafd937c69b23c491c82e342 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Imply True Passed
6afb61ec04bd46562179064f27f75ebd65e9a3a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Imply False Passed
e8eef6650632565947994165607089e10965fc13 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Not True Passed
c606ba07d427fcb5640614c5a578e99e63bfd94a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Not False Passed
d3f251e19441b8b87ad170020eb0e2271f6a5580 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Or True Passed
2b3760b7c3930a2964766bd87706e9014103ad92 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Or False Passed
b06f1b72ff8fc1c95a7b72076f38d329580a9525 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence OrMultiLine True Passed
65a19e016e6b6897642bd73578d37c342d858b05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence OrMultiLine False Passed
ecdb24c7a934497e0b09c5edde363587b1759890 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Eq True Passed
55ee791edfec990336edf404ade2e24cff7bd9ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Eq False Passed
265d91b0c22c7c25dd163dcabe983d3645f2fb9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Ne True Passed
c8df44c3691566b56e1ca597a1672bf530a2deac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Ne False Passed
c7b5e654e98197d2506555b677100ac666cbba9c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Let True Passed
4b15c5265cd9ec68910782fd068108e2baa96258 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Let False Passed
117de1f176671ac05fe904b060cbfbc818825b72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence In True Passed
411ac47cff1f9d816d70f63fac443652c14d37d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence In False Passed
051afac4cc40ef88293c30987c9e70eb8a820265 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence NotIn True Passed
0ca5286b67e51a5fe57a67a516e1b92c93061e78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence NotIn False Passed
bd934526e3a5628efc70ff9c88da62a25f96c3fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Exists True Passed
30fafd0e312c000ee29916ae05f24841af8d8e58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Exists False Passed
935ff80db3c173e4b61bff53c9d2670cbf4e198c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Forall True Passed
5980058889b0613859cea2dc7b681be8d704e3ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Forall False Passed
aa2866fd71b48a07bdce1f11539672b6f5defb48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Choose True Passed
46ae8bf80d38dc8173db0140186f614931896083 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Choose False Passed
a37ce47423c6a2c8ceadfa37e0af84d680fe167b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence FunApp True Passed
a939c7928611cdd6cd5a40c5198a63a4cd0f5608 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence FunApp False Passed
39bf167374db32a91e62aff6bb33e3c07c4fe28f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Prime True Passed
877570be9a7fa8dd68eedbc48ac79748c7ce6bb0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Prime False Passed
a05d2c33182a7e277b26624ccd7087bfa2edf76c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence NumGt True Passed
15529a8c168f9a59367414ba918434e365dc6fab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence NumGt False Passed
d1fec3da8f533134955b56356936290024ee5c3b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence NumGe True Passed
0117fa962094e2241f51571088d57d3c45611c58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence NumGe False Passed
e2419d0276ce0a82138cdf46618b96fde73db1e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence NumLt True Passed
b000aa08e7b6009d1f2b79342c0b856c3c243248 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence NumLt False Passed
475c06d6f4b359c9e32f4d2919eccc82ae87bf00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence NumLe True Passed
02942a6d5b4d0b4bb4461c1a2ccf6883a354b8f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence NumLe False Passed
991b684c67314fed4808616903816b40f47786a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Def0 True Passed
87188b8fb655a4c2e5ad1fd82fea00ba1681aa58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Def0 False Passed
151bad1688f9d90156bb3fca3e5cde9faa57ff0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence LetDef0 True Passed
36aaf84176ffe12ca6b49f8cc314663d8fbaef06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence LetDef0 False Passed
53999a6d27a006e2f97087d1e0574b1332386f74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Def1 True Passed
751ff3d9851a7892f20b1854d8769517d138e532 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Def1 False Passed
e31d96770f1a8cb2234bd9847e00096479d4e36d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence LetDef1 True Passed
e8368b9a6a4e74fd803993521afe87e9444696ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence LetDef1 False Passed
70588d2d8ca8ed077cf395ad9302b6cf2ce1ad65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Def2 True Passed
47e0eaa3fa48daed93a4f111bde72f596156901d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Def2 False Passed
e934c9466f022346bdd4c2cb705b8a9343faee1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence LetDef2 True Passed
e1e7ba9043885609704b97bd8b60862639cd2e6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence LetDef2 False Passed
5af473b76904b0bdb22c0b805d791348a2bd491f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Def1Recursive True Passed
51be7bebc4c67d63335c8230678f3f0eaf5bc3d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Def1Recursive False Passed
48fda8fe076a9031d114c11446f419218ec48f77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence LetDef1Recursive True Passed
7dea979c155afe28eb262ee5b685d9179f52eaba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence LetDef1Recursive False Passed
ba4c6da5f3f75b764aa91544bd89c48d0770bdff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Extends True Passed
20337922e2d02334f2798994c03e5c9ef6b4e115 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Extends False Passed
b1c3c702a338d99e7efc3e2ccf59d19da6b1e548 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence ExtendsInDifferentFolder True Passed
175269e92c4306b06516b148ddb16d614a07ad21 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence ExtendsInDifferentFolder False Passed
03fce8b0f3d452ebe1822f4018d925eac7e746fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Variable True Passed
add7dce19846329c438739265a0bf6964a682856 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Variable False Passed
3651db6b37689425cf37d98f64ecabcc6b748517 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Constant True Passed
1bb70228218083045efbd813c04e58e2bc166af2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Constant False Passed
98871b70fe349811dc2a88541554226ad66609bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence ConstantRank1 True Passed
7e873ffea3f7f3ccbda52f7c190278994075cbe4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence ConstantRank1 False Passed
d482d8936f983a8ae662965fd8ee2e2a57005017 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Instance True Passed
ac69055b399dcd9c3a60100368c3d3b799133910 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Instance False Passed
562bb704ccc474867533911fcefa88297ddbc05a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence InstanceWith True Passed
c10a1eb92e847c99193c119f300a0652a044ed3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence InstanceWith False Passed
98be03dd074046ecee98d7832eb1f5577998bd4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence InstanceNamed True Passed
ce19f9db2539e09cc21d15ad94c8129f1c91ac72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence InstanceNamed False Passed
bcbe44408bab12f7832de71d9ac97439f88d4e6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence InstanceNamedWith True Passed
6d64bc3304b20cb6501a4d8dfe114de4c9a81dcc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence InstanceNamedWith False Passed
9e00f28b9b688b28a6c1109cc9a54f7151243d0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence InstanceInFolder True Passed
4ec25778c38b9510d68f5ee2b14eaf4526e3e8b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence InstanceInFolder False Passed
3e9996673f41d282b80e353817b53ce2d041ca44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence InstanceWithInFolder True Passed
691a360cd28cc7d279a3e15a21296583a29e3e05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence InstanceWithInFolder False Passed
2339c8a000d69c4c59ccaf3f657538dc9107d218 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence InstanceNamedInFolder True Passed
afb27b100689edeeab4c9fd1024c9e2e4742ceb4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence InstanceNamedInFolder False Passed
52ec27337110f4a25c551ed6329fe3e8559a0694 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence InstanceNamedWithInFolder True Passed
47a3adbd5fd77a41bd1d06bbd911bc56e110da9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence InstanceNamedWithInFolder False Passed
61cf4c2696217b5ebfb563151706d4200e3b0371 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Enabled True Passed
1f4e34bf9ee0f83fbe68cd48d942d41b1a6e7bfe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Enabled False Passed
73afa7c48a35548ffb152320005888177b956df1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence SubsetEq True Passed
368ad685a7e0916b2989911a24ee5f39a015c428 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence SubsetEq False Passed
be015db2d46513e22018edcc4d9e432549df500c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence IfCond True Passed
ebd2e84ac38d23e4941d4039ca211b20eba12f12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence IfCond False Passed
3e1fd180363ebc628606a1b68fcc726c7536ee14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence IfThen True Passed
098ffdcd4762d9f29d1e29134bfd7b0bd6f0296b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence IfThen False Passed
3c72d154ad0808d4a331943d0c6879263e1c76c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence IfElse True Passed
0c959fbb7ef97bbbbb0569b24d1cbb983220057f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence IfElse False Passed
50b24447cb4f4af18216c34c9d404056a4bbcfaa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Unchanged True Passed
d0023174a41087c0a45dc1e7d131079bacdc2b42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Unchanged False Passed
59171119cd4a034815e51f3d18b258e2fc5e5d74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Equivalence True Passed
083fd30d72fca8ca33b50540e275815f140f9588 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Equivalence False Passed
bbb436fd6120dc73f3a22e01290cff78e5680b72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence TlcEval True Passed
23d4cc04d2deaf02829bf302759a56cb997fa3ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence TlcEval False Passed
b3edaf6165d9b1e45961f1d32463130b4bf854c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence BagBagIn True Passed
3106dd7129c8ea2f6874fc0690519693ca5614e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence BagBagIn False Passed
a3697bce597285af12166611763b73cb7c8f397e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence BagSubsetEqBag True Passed
e2951af9eeafebd6aedbcda06a98c83a6b5823d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence BagSubsetEqBag False Passed
f45f4a100dd137e5bbe1400924f70cbddb153766 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence FiniteSetsIsFiniteSet True Passed
4f01dd5e89860045d853fd94bc7da5f6994673c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence FiniteSetsIsFiniteSet False Passed
c3e1a75e1d1278ae1468c8f7bb203c70471736ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence SeqHead True Passed
568f68e36d153346e1158fc15dd1bcf02fd25294 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence SeqHead False Passed