Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
02d2e2171fe28b3e7855d21fd94ef697d881a746 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine OneLineComment True Passed
ba30e675e9ae8d646997312ae3d774dcc8ad314c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine OneLineComment False Passed
edfbf60cc9f74eb3fa5604c3cc2431b85b964c0a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine MultiLineComment True Passed
877287b11246461f2ddee69989e435b6fb9c5f93 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine MultiLineComment False Passed
9a1d3971b5e614a2043752d061a63ee1330f6a36 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine BoolTrue True Passed
9f3126f70ddfc9d9cfb9fd0f13cb3c88d9611914 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine BoolTrue False Passed
d99569821ef02e41f0b9e6f9ea39ec930a5a1521 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine BoolFalse True Passed
88344d67332ee0d3dcfd473f31ca5a94939454ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine BoolFalse False Passed
dfc75ca0c9868e59667289e4b6ee9a62daacdead TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine And True Passed
7285529d9a788ac7d64abcf5ae2fa344d77dd9eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine And False Passed
a7f1600c71780589d2d99c4ea767b3185fccb60a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine AndMultiLine True Passed
585ed2780e2b8a8ea1fcd9a6551f639375750fd6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine AndMultiLine False Passed
737f6c44936a27b6a355696ca0187850b5961e44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Imply True Passed
8fbb6c88b296fd4422ae27b90711bf8c6e8bfebe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Imply False Passed
bc3e4d4d210148c8ce6ac81fb1ef88f3ec4ad234 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Not True Passed
bb8aba7103359097feac5befdb88018177a34bcc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Not False Passed
7e62a15a42c0e2fb59637ee708f7e54b6517ee91 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Or True Passed
8053b56e1c17b79b17defa7a5369c4da7f9f2ed8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Or False Passed
73f05b32dff5a7553364afc4d62b01352d3b2249 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine OrMultiLine True Passed
842b16af28ff91e5dea672a352fc105dc6d695ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine OrMultiLine False Passed
d256cfd5cdda17a95101a8af519ad1489ac557dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Eq True Passed
592c48c18630f9c1dfe3f179306461f2439a33b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Eq False Passed
2ee44ba2268cf52438e67484f363798ec333f0b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Ne True Passed
aba4e3b330f07262b05460aafa6e7ba407c6610e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Ne False Passed
b935c6a87a1cb2f561159a6d9426b0706ad59fcc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Let True Passed
0cc3763ea403f2ecbf0cc51e52cc9382f2e37357 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Let False Passed
8ddfa146075329c5ab6623775f45c54f7c75bb7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine In True Passed
db873de0a117dddcbe8483064649ba3cd23c6658 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine In False Passed
bfda6ea2009f5520e81056184c201a62639b9eed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine NotIn True Passed
31888188c660e07b6ee5927e7773f43148f74f34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine NotIn False Passed
399f3c1fc8c8fee789113a54e1064a641744a62c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Exists True Passed
45508a6ce6eee013ef222cfe10ec13708d47c9f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Exists False Passed
5dd5e727712f360d349614e4274352c509080ca9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Forall True Passed
5d90e63eab65a9a3681db8ae7c2e2e1445459e69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Forall False Passed
e1a6faf1651e83865ad3e5ddc695a7cae0809004 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Choose True Passed
8de6fe76d1db923a597b0c1cd982d3be8d2dcfe2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Choose False Passed
54d89a7b0e7cc455ff16cdb4ece0a4241e8b136d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine FunApp True Passed
ba47e1776c398de1d1e843df0a68f23efe624e82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine FunApp False Passed
169a0e826efd5b2a95135e3b0d8b2d2ab349efa5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Prime True Passed
2b206143ae506228ed12e7e5a74819f6e4af758b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Prime False Passed
5125e191079066b2a37e2bc1d332c0d9e0a8552c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine NumGt True Passed
7f4e3ccd538ac0ad8229bb94d80fabf6e8e23a67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine NumGt False Passed
cfeb891d349875929eff14ff105dd90e2eca2126 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine NumGe True Passed
1fa8e801f1d5ba97a17c72be67157cdbc86781e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine NumGe False Passed
7e4292a48fbd029de29c472e8c629acdfc432512 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine NumLt True Passed
c6e074ce7a95ffb3ab5f832342e0e3a53d3174f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine NumLt False Passed
38f2bbd5f4fea1c964c6296620482699d62f70df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine NumLe True Passed
629130c98ee2f9f0daffb69f9e86b0c8ae3d801c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine NumLe False Passed
c8949520aa9269509dfb54f982348e69f1c5ed16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Def0 True Passed
ae14909834278b2ee40b27f0e0e5c1ce4603c659 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Def0 False Passed
ffb436954c8160b606e0249cd2bb1d811af71940 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine LetDef0 True Passed
b2421890eaa002395f0642dfb5ad2278ed9df08d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine LetDef0 False Passed
fb421b40b1985e74fbc1d8cc7980cbc8172fc6f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Def1 True Passed
8dde86c4284c12f833e60545a9a2be88d9b2963d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Def1 False Passed
b6eb11eabde50430a4377f420eeee4a91041335b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine LetDef1 True Passed
2cf5ee24e2a4d616945c67d2a183a0d10d8492f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine LetDef1 False Passed
6af919e0f20c3c272f4a06bd2210f62279d9c1c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Def2 True Passed
e11c721ee011974fcd006ff467c24fef69e349ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Def2 False Passed
f89c4878424aaef9f6342a7fb95bb94e624b0a2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine LetDef2 True Passed
bc49514a44f110c879a602b69a40ba97ffe72ff1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine LetDef2 False Passed
23121d2e08c68a595e4de5fa0fab4a8aa91d9841 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Def1Recursive True Passed
362e85ca585c3ebdf1ed00b311beebccce6fd665 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Def1Recursive False Passed
11cfae1b1a6158f5c792a2fd46e1590b2980e25a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine LetDef1Recursive True Passed
eb58e62b7b53a968f38d4549cc4682c2c9eeb01a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine LetDef1Recursive False Passed
0b1ee70d6bf046b8ea298554c91df196371cee70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Extends True Passed
e13fdaa210b57b116fddfd31139bf6a885fb5470 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Extends False Passed
2147b2c89294fa359cfae86b65e6555d66be4211 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine ExtendsInDifferentFolder True Passed
75aea1316adbd10976a5b8ebb48a7cadbdcb515f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine ExtendsInDifferentFolder False Passed
8ae11fd59ff5f84cd2d43d9ce0d4122b0c99e064 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Variable True Passed
143c5b237ab8a5753d8ec886d984f706b36861fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Variable False Passed
d84f93aaa74b71e08001d1f2dc9c4cabdd6d93b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Constant True Passed
919e183130e08d26bd9ee9ca6dc633cea9547219 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Constant False Passed
96bac5e98237ac60c7a1acc6c3dacb777a50d5b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine ConstantRank1 True Passed
6b4fe1eaadc4db90aed59cd750d51fddd0dd0114 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine ConstantRank1 False Passed
b8858844f83fb727d33c504a1995c26a5a49ae01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Instance True Passed
b69d952cd5b508e52743f8940e4bceefca789d2f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Instance False Passed
cfcbc2b300b30dde638061ece50741045b4a2688 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine InstanceWith True Passed
d093d5978177178b9b2853e62cadc364802aca46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine InstanceWith False Passed
c8a45f424d672bb073675c06e8f0c17c6f2aeb0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine InstanceNamed True Passed
fffe48ba8f66b549dbe3635915fa2839752ae78a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine InstanceNamed False Passed
b70ef86a06ce34921b36895584ae93e486a9b1d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine InstanceNamedWith True Passed
2ddad8dfd3e7a17ae5ad154c4ace7b4d38ff6228 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine InstanceNamedWith False Passed
1a3243df07073a9f63dcff7923f2a14f0a1458db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine InstanceInFolder True Passed
5fa1a223021a34ba24e7f65b370323372d1334f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine InstanceInFolder False Passed
125183362568138372182b46d21e630319650096 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine InstanceWithInFolder True Passed
9540e6fd5c7d2e0af7476da190ffbefb69f6fb49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine InstanceWithInFolder False Passed
b7edb7af379d032e0dbbe2358a5cd2b598cddff4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine InstanceNamedInFolder True Passed
beae1e00f9155934ce509bd07904e516fb12dfb8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine InstanceNamedInFolder False Passed
f7e58da0e30557cc2730048aec75af2323e0a3d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine InstanceNamedWithInFolder True Passed
dc33712cc8df74270ebb12622d0142432cbf5f2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine InstanceNamedWithInFolder False Passed
da0179231143191d74b8721c4227d362c0901e7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Enabled True Passed
0afbea5810dca425a93df86048ff34784792a278 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Enabled False Passed
085e9684e8d053538d56f40b9b1c10d8b467417c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine SubsetEq True Passed
4f50295ae81160f83ea863ffd3eba376bf6285e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine SubsetEq False Passed
d27697958506b2b929f30dff1fc89308dae3806e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine IfCond True Passed
57745ef0b9088c8f06f79d69aa0f73c9660e7168 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine IfCond False Passed
d094afe77504f8fbf882dcb3791c86762b32df2a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine IfThen True Passed
bf08f5ceeb487d7ea783232b37e76898d501cb88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine IfThen False Passed
756001ece1a5d7d692e407c3e76140b05e6479d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine IfElse True Passed
6c65df30cda34365069fb315d62cff800e7be880 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine IfElse False Passed
40cd0e057a4109ba16c91aec58815d4d9cd8cebb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Unchanged True Passed
cd287a815f5a8266afecb3323f710c88d92f6ffe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Unchanged False Passed
c0cbf2695177664c426ed0acfe252d0c39b4e664 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Equivalence True Passed
4d6989abdad51c61a6ca80b2bd92223bfce63070 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Equivalence False Passed
17b3cb88d425f13b2e6bf1764cd27d727a29a0cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine TlcEval True Passed
5f9d9ba8a827af2dac51fb2fd9d730c49029f6af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine TlcEval False Passed
267981f9ad86e82c2508fae2da48b209817d9193 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine BagBagIn True Passed
8c63b34f1be89bfa27e187c103c4eaa6151f154a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine BagBagIn False Passed
428e64fab8981dd7f3c17548899fa473608925e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine BagSubsetEqBag True Passed
8352119deb0ed81bdcb2ab9b71e02f52f1303744 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine BagSubsetEqBag False Passed
c4636531b9f8482b58577eefda8d0140b9aeab3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine FiniteSetsIsFiniteSet True Passed
ea89c1d5768d665c00ca74f7162b4c1c45360fe1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine FiniteSetsIsFiniteSet False Passed
adc09b5bae7acadb505c708c99820b86be2d50d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine SeqHead True Passed
3f4220e0ca3094afce7cc40f747b6187af26d832 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine SeqHead False Passed