Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
616626f3a88c62cc4ea9824773d323dd26ada6f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume OneLineComment True Passed
c521d06bdef1f47b8cb800d8ffd88375576dbc15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume OneLineComment False Passed
0eb0f537ab065212248a61f1870cdb2dd2407aa9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume MultiLineComment True Passed
46c9b3aa8581564c703bcec6cfa890d3f7c8f1cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume MultiLineComment False Passed
061f8c37c4a5958db8a0b3f4ac0c912be8d0f4a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume BoolTrue True Passed
33a3437a2a684c22a65f2029fef30f975121c12c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume BoolTrue False Passed
941bff54918cfed1ac0db1687f0c67aee84341d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume BoolFalse True Passed
a8766942faacb758c28641a7e45b2a6e5348e7df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume BoolFalse False Passed
fdf6d5ae06e1f087f8c6db614d02961f63046725 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume And True Passed
d07e8c05a3c500d12299a3a97d964dd068b55d79 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume And False Passed
2248b652a9039a5b578c015da56a180976e31c8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume AndMultiLine True Passed
57b581330aa2faab329a649c1f34e4a517bf0a64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume AndMultiLine False Passed
946efcae5267276f7d541923a9a5df7d63013f3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Imply True Passed
960ca45b3b7b39b653b84ad579a7880192c96567 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Imply False Passed
8ea8644f7631f8cf0b451648c1f98f5d56d74626 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Not True Passed
4431dda5cb4187c123ac6496f146458dc79fbdd1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Not False Passed
b4748f043bfa538d225919068d8bfc387cf7d7b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Or True Passed
0e772b9ea2d37fab2334fe0f0dd13a70136405a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Or False Passed
b05856c94d189a3c440d1977f51ffef02aee8ede TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume OrMultiLine True Passed
e0ba442a76b4d0ac1ec1c772305a94887ead22eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume OrMultiLine False Passed
a919dd12a9bf9fc7daf7001dba783ebba13570cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Eq True Passed
8fa1374910c33b791bbd96fb7cd99ac2bf9343c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Eq False Passed
d88d4cb23c40b06d6059b273db45d9a5f5f2736e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Ne True Passed
5d9b47f390b6afcf277ae923685bc34a203fd616 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Ne False Passed
668ffcfaad3980d3e37acdd0cc4c22ab02a8461b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Let True Passed
dba7f0263840d7a1f87310d6bcee30e3d6fe60cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Let False Passed
1642cd8f2d233d21e97715f509c3dbb3afded7ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume In True Passed
a067236f490ac410c1d5c42198c21c1f86f302b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume In False Passed
57238692821a57812a3b4a812680adaf79bfb57b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume NotIn True Passed
f840947e3942442b8cbb5a9bfa8f35d382c1fc4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume NotIn False Passed
a9b69b46095fc8229502312b359ac19d9775765b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Exists True Passed
525a7baacd06afa2146fbb1b8c88a9fabd7ba2af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Exists False Passed
24fd53b7a65394a47fbd590115d719c7582bf3b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Forall True Passed
b9ed011feadd7c09f3b77ebdd919acead3a4ec27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Forall False Passed
81b3d1a9a37ebdd98f0a78ca003d2ba4b13570bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Choose True Passed
2e5142bf7b4e85e4d920479e1b68dd97cd30e17f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Choose False Passed
51ebd1cb010cbe868a7cce0c87280e72f0423b6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume FunApp True Passed
7cdb9a681cf5e0754c7b6dccbac6894b5aa91e10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume FunApp False Passed
f470426bf0b7e29a7365f4553a2096a3279b59b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume NumGt True Passed
4f9284b70d4770d1eaed0bc1a7a8d3d064954478 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume NumGt False Passed
cb55e62d2547dda9f455b2244e2e469261eb3bdc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume NumGe True Passed
61089a3e77b3514c3ed5ebe3e8a1c88ad6971fd8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume NumGe False Passed
cadb28af3778ab97e1afc9b38359c52191d1b161 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume NumLt True Passed
1999670a581c96ad23d30e3ab0159e830c77953c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume NumLt False Passed
2624c30fe18bab18ef1de313041f40303ca85f90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume NumLe True Passed
2004147a75d3211f9adf794b2be140f31af07831 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume NumLe False Passed
bafd010e1de9c854297f6471228860ddb0df321a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Def0 True Passed
428f4f098f37d1bcfa751b58e40c8ec1bc87275d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Def0 False Passed
575e5ecc4ce1d395b368a5adde785ca8f01d552c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume LetDef0 True Passed
c5a08f32e7008b6db3f3fd7cb9bf4a2858ecc6f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume LetDef0 False Passed
2bf058134a2a97ebb6284c024e3169ade4b30850 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Def1 True Passed
b0080d2d8dfbec800578c50288ba106dd3d35a8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Def1 False Passed
541164a86b1d6a2c8096ec24e2d22e46c07bd967 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume LetDef1 True Passed
8799482cedf74463771cffd907bf6024470bda36 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume LetDef1 False Passed
9f4febee0422ccd59496bd72c6d5602ccc0619cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Def2 True Passed
dffd099343b60bd231924c73b77c2f49db2db79f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Def2 False Passed
069e0b13ca6dbfa2002489c700701c79a64af007 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume LetDef2 True Passed
f0f209d5c00d6b911070a61b045ee3faa5b354d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume LetDef2 False Passed
109453ed1dcca7de1fe42965509362f37347da21 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Def1Recursive True Passed
631d8267c4f16eb3a63e5b79ac82059e17ce5668 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Def1Recursive False Passed
d22b16670697fd576765bbb8524d666eb8fa960c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume LetDef1Recursive True Passed
73f39c388fb7cad31eaf3d19202d14eda62e0dad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume LetDef1Recursive False Passed
616856304c3c6dc8afb3f2b0a4a2cb283420610a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Extends True Passed
ba48caa293e41c1b3b4c770aae70ffb80be897f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Extends False Passed
d3aca7e717ad20aee6bbccf8db474dcb6099a4ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume ExtendsInDifferentFolder True Passed
135bcfacc72fda42373129cc9bcab1bced777203 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume ExtendsInDifferentFolder False Passed
6ffbef0752715e6d53159a3f6ba303da2080fc67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Constant True Passed
9a187ebac873764bc359d33a3358a9198fdb59aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Constant False Passed
977861d4e6a7346a3f11f43e7abedc3f6c004d78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume ConstantRank1 True Passed
b25542a61c29a5c11011d076559a49241d1f0869 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume ConstantRank1 False Passed
705249f7bc53636303a7a5f64549605d297a2140 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Instance True Passed
2825316a70fa4b2f1a15531c15483af188f549e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Instance False Passed
6f6a9ec554bf3926bb63773a4f75be1f610d1107 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume InstanceWith True Passed
a943e5c91b0b61cb4cf7171ac78b704ebec24524 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume InstanceWith False Passed
e3aadf1bc36e1de85c38da169586927272585644 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume InstanceNamed True Passed
1a440c130963ba0a466a953fef4c840a21c282b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume InstanceNamed False Passed
fa9164cb254bad78f3d1149b2358bbd760d92554 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume InstanceNamedWith True Passed
6e2a675715ba497898367592d306a101400629a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume InstanceNamedWith False Passed
1bc26f6c669de57eb033712bdffe7509358f7974 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume InstanceInFolder True Passed
fbe8a1dc3aa6f19c743655a03c1be0863032923c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume InstanceInFolder False Passed
4aafc92004c22c915f4480e3cb375dbcc31105c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume InstanceWithInFolder True Passed
688eec506ae5202f313ba4cc53dd8b67f2fee693 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume InstanceWithInFolder False Passed
40e06a1ead40af54abb4d7b96bb37159b86d20c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume InstanceNamedInFolder True Passed
eeb7c50cd4198e97ed37e1f6fd9fafc164cb67e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume InstanceNamedInFolder False Passed
d188a7a9090efb835e4c87acdf25a3ddd58b94f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume InstanceNamedWithInFolder True Passed
f7710adb6d94e4145dfc7b9a766bda1712e369b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume InstanceNamedWithInFolder False Passed
27c5d81f97a77413b9be2106b2f0129a1104cfd9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume SubsetEq True Passed
580bfe3d02451d02a8af11c01dfc19e1fbb16731 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume SubsetEq False Passed
56122a2075cc67c0dda8813374055438ba64d4fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume IfCond True Passed
fb21524a9daa85cf3ffa9789594083f21ceedbcd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume IfCond False Passed
0dcdf5e4e521bc1e7c20434ad6c029cb2b8a96bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume IfThen True Passed
dc6ef5f3ec4e174d9e801aeef1550ebf78b72a76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume IfThen False Passed
e21fe511cf65c6b4e7b509550194c70cffa5c41a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume IfElse True Passed
81ba053045245620bdb77fcff5dbe443ddddeff3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume IfElse False Passed
fd91d263869935acf56daf847149024fd6a01081 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Equivalence True Passed
f1c312339e034b6de7fe69f2d88654bdeb9b98da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Equivalence False Passed
b1907683625c33b7cf94d7b9b72364f8c3ae110e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume TlcEval True Passed
1d2e76f722968659183dac11f1d5fd3fc93a073a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume TlcEval False Passed
94f2506008c2b0b6aa15923db670c28ed06be130 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume BagBagIn True Passed
420cffafd023bd1cc644b27fe8d872b529b2d5c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume BagBagIn False Passed
611bb77cf6c89d8304ca5befd8a11f4ee0037edc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume BagSubsetEqBag True Passed
0bd56d1416a76fc056d85512c07f9ab472dfeb8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume BagSubsetEqBag False Passed
1c42b3d30e508c8de0b2b5630478633c2289e667 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume FiniteSetsIsFiniteSet True Passed
52a725888515fd6c719918379d407731698ceb92 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume FiniteSetsIsFiniteSet False Passed
28ff8ee4fefd31503ab47ffaad9615fca4a2abcb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume SeqHead True Passed
da1c1c69c77f8ce426b2cf52c9c77b229bdaa2a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume SeqHead False Passed