Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
7b6b9e001a7171a14d893eb313acf67ff9312e13 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed OneLineComment True Passed
66e3e89f72d94b0032b69621b50cd6514d63e82c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed OneLineComment False Passed
9aeead28bc7f33d91e09e24fa93962ff2c9400b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed MultiLineComment True Passed
da4a2727b71df0251d6171c883a658165536f497 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed MultiLineComment False Passed
fd04ccb168878958ec3dd3b88afe669ad62b155c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed BoolTrue True Passed
c7f5e00ad0deeed784c995a47bd4557900cb3695 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed BoolTrue False Passed
3f31ff7194edd100b3dfab4aa2d34a1a94924f22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed BoolFalse True Passed
22f6d261fb8b6ff1206db3a1678d76d8f4bb42de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed BoolFalse False Passed
11ffa29841db30951831776fdf6568c50b663cb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed And True Passed
4b0ed838049dacbbcc413934e2819a01dd46880b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed And False Passed
5f4ca44ba9ba8448862e72f2a5454eff69049c7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed AndMultiLine True Passed
6dac7603184e0016b476d3f7f769258363c12ae2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed AndMultiLine False Passed
36fd70e0b061b4246a4c9e108cdc06accc60ba8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Imply True Passed
667c936d5867bb49f86052f43dc829cbbcbf2047 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Imply False Passed
f6c81887a544d35285d31c8c79b13fe0ba31667c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Not True Passed
5b32f00ae70468ebb141d429daa0025bd8677196 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Not False Passed
558328b68c4e7628a9634a72a6d96445878a8c05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Or True Passed
07433ea4b9e926f61a3eb5161f4372a6111446d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Or False Passed
ab34af87318a79a3f06e91fd5d09693a1fa6ad05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed OrMultiLine True Passed
83706aa74633a13bcc13e16e33ee7a823469ccb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed OrMultiLine False Passed
8536b5a5e17a79597bc7e2c83f5709f528b80a64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Eq True Passed
7fd028bad201a426c44a1a28728b2e1f950666a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Eq False Passed
5d8f4f0b3d28726d5ad52b7c83c0025febdff46d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Ne True Passed
c20bc5dea568b6542a81f72fdff01bc9811ddef7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Ne False Passed
cd3ac07636d2d78b865b592f69ff97079f09dde0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Let True Passed
86d9338ab3607f36f1c8817440bc628f06289a8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Let False Passed
9c4289ffae91bba6f58197303b14fe8554ae00e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed In True Passed
2d7145373a1212fc6c302aba429dcd20f4129eba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed In False Passed
efa6aa66b6a77b3a6cb8b40c140b86408ccfb892 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed NotIn True Passed
962d17c59fe96933398a095cfd441905b484c4a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed NotIn False Passed
2e8a7a46162f6590c5f2a6bc96ccf6750bbbc72b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Exists True Passed
9d93df29a91d75f1d67e500182c99935437563f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Exists False Passed
fd7dbe670d6c7152428950d087cadf8015378f68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Forall True Passed
1739f07d721b1e2f81334f71e36a8af5ab42ce3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Forall False Passed
7e7f77e9f449d7e63a4159960048d08b8ae5dd27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Choose True Passed
8203dc5f1b77d3c8eb222bde7f2770db66f9e971 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Choose False Passed
2da5c821c60710a534aaf0dd869cd21bc642a999 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed FunApp True Passed
fb466f954bf8bf58024495e76c6407aac12ec169 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed FunApp False Passed
d1514c872e1bec4cb58981628cc793778d36819b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Prime True Passed
ce383db9b80b6e05f154be69047d95fe39c34a6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Prime False Passed
fd05bb89d97dc0924aee4fed65f7d2d582d1f602 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed NumGt True Passed
d68097a9232466b97a1282a088187a8feae86f83 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed NumGt False Passed
0cdee22c17d29ba2ffa5aa50f9e12c90af4ea45c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed NumGe True Passed
7c771ffaa41ba9661e9bcc6380a591393bef5758 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed NumGe False Passed
3b4e825d0d0b04868c7e8878c75e06d2e4ac912e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed NumLt True Passed
5457822b592ce70a6906f70899a05791dc6d799c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed NumLt False Passed
5e7f69cdce50ccd810bd3979e1b47375ed45a457 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed NumLe True Passed
eaf2a76109f21dac00de64b3af821f429bc209f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed NumLe False Passed
2452ee57118eb58f62234a3197a6f0a5db81a3c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Def0 True Passed
bc56c23012be6a8475a07e3109220fa383d3e259 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Def0 False Passed
eb2e624e8d4a94d3b50cde76b52bb76690835ed2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed LetDef0 True Passed
f4d9bfb22d486412fe7ef78a04b963499df0205a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed LetDef0 False Passed
fe4092f99a9675afca108bf8fd8933141d2a212e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Def1 True Passed
7b3b2bbc0ddef4d88fc78142c3faa4972df7c95a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Def1 False Passed
1eb14dbaa74bf096527f47b9e080483e6b88cf67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed LetDef1 True Passed
157a3914a4b411d4cfc3594910b2271dc234f09d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed LetDef1 False Passed
1402edb1945e23971106fa2751f161da416800c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Def2 True Passed
8296941d51935b8cc48aff2819e564ed1aa6c502 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Def2 False Passed
0491b3007bcf0bde2d8f69332fd88e18738850ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed LetDef2 True Passed
56638baf77f0174a26c903f9a66461f7bd675490 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed LetDef2 False Passed
ad23280101bc4b02d375415ecbfd3f75e5c5cb40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Def1Recursive True Passed
429c215e4f19332ed4be0d2dd384d7bd6783dfa5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Def1Recursive False Passed
8c200c614c198d33f2b9a2f178b32eeb98d23660 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed LetDef1Recursive True Passed
e605e3a5a2a039310718f2d9ba7fdd7585b22144 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed LetDef1Recursive False Passed
5b1bf39ad081092b051deb57fa4f81db152a8b70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Extends True Passed
027a6ac029f1308105614f668e5f08219d2092a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Extends False Passed
5c70962181dff591ea0bba502d4bb9ff3c9f53c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed ExtendsInDifferentFolder True Passed
8d6f4ecc84bcd3a94aaca7f42576dcce41e178a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed ExtendsInDifferentFolder False Passed
ac8186d24d50cbc176689f257981e9ebab0bfef5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Variable True Passed
d4a7cba3d9f05050a6aafb521eba798b76fdc9ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Variable False Passed
77294c33ea9c4fc60f8f274e79e9f2a6880bb021 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Constant True Passed
549d61a5cc378dd719940ef53b4779eaf4273856 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Constant False Passed
80b04f27ca6ab6c6cdbc02780b35151349be5883 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed ConstantRank1 True Passed
d7193f86431baae6c3f8cd0a73c10c55cb3a5705 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed ConstantRank1 False Passed
35287e928f23303a209cdac14f44a208b793d40b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Instance True Passed
e32a2d74a7e50833dbeb94d2027a79bc3c7c831e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Instance False Passed
cb09e5772dc9bc0b992600fb0ba0495c9dda7cb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed InstanceWith True Passed
cb0e1a26290f73a0c3e6c90e90e71772c5255b99 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed InstanceWith False Passed
4425b3e6ca538f1723fb3a95b63dfe1db6fb4aa1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed InstanceNamed True Passed
ad2d003d4cef739c32c0bd3b7aed2cbf7eb4751c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed InstanceNamed False Passed
bd2486fd9a4873eb9e4cf9e8fc6a84db1d38eb93 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed InstanceNamedWith True Passed
915d1720463ebd7d40a5e52038f6a45ec3094bc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed InstanceNamedWith False Passed
22618ec3542d3210805e67a893501afc0a47cf33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed InstanceInFolder True Passed
89bb0832778c7ee18bdaee26cfc2ba757df97960 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed InstanceInFolder False Passed
679913302ef5abae314e338d0a911dba4fba4d27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed InstanceWithInFolder True Passed
8612d7cb96e015a91fb15c69fe3671c86b67e05c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed InstanceWithInFolder False Passed
41eaa9b52b017d45774739a74d9b6c9e49db3eb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed InstanceNamedInFolder True Passed
81828dc8a59ca44da131857aa87112887f7215d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed InstanceNamedInFolder False Passed
d553d6f803c353d17c3cd0e60c3ac1d328ba947a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed InstanceNamedWithInFolder True Passed
3c092001e26cfedf8fd50bb451cf4a41e98425d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed InstanceNamedWithInFolder False Passed
9115e9701450db052f43d90bae615154ed691000 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Enabled True Passed
79636de62eb70339ad83cef5c2783ba4dd605b74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Enabled False Passed
15d22795ea12d810be24450ab84977abe1dfe9b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed SubsetEq True Passed
46ecf30e09f922b3dae7c2c4c5441fba27386e6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed SubsetEq False Passed
19f04aca6478d071744876b53c3de2a045fb9278 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed IfCond True Passed
033f171728f29fa84a82607d3d20e629779b05f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed IfCond False Passed
e6640651d75caf93c6cd357dbf527af08fca20fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed IfThen True Passed
0d3f2aaad76265870ef918bd522352cf66eba988 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed IfThen False Passed
8c69313d3a9bb90af54d9d745d4f43d6f52981e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed IfElse True Passed
7d8eed38c1758f0e45c3124360b4d49d879956b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed IfElse False Passed
20987d4cb69237b805f9202b7c14f37074229389 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Unchanged True Passed
c212b99b4b13e380abaa7585c7149371e6e0170a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Unchanged False Passed
6c72f47bc02b7ba5db553b005ffdbc04727c5365 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Equivalence True Passed
e35c4f0d28da001e9d8290719270a47b9f911eb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Equivalence False Passed
c471219392472176eced444962f4cfe953455ec8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed TlcEval True Passed
52467b341614a8538d580a924e228d07fbdeb230 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed TlcEval False Passed
0de301c241827cb455a41fc7c3ff81735b6f5d56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed BagBagIn True Passed
f00e5001a689dafed7b9fa74d3251413090bd58e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed BagBagIn False Passed
648c601226dce4c63483d96b1032062c54d6ab65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed BagSubsetEqBag True Passed
01ab1be08dc8b14205923c86ec1d3604705069b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed BagSubsetEqBag False Passed
e723b3afbca54e87fae8cdbae2dded0b00108a80 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed FiniteSetsIsFiniteSet True Passed
e01c7d41c838a6b77213a162a3a1c5430b42c79e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed FiniteSetsIsFiniteSet False Passed
72da6c77f0ed2b9b0bd6e78c813f87f72c9d2dca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed SeqHead True Passed
3c15239da97d2f6bacdfbdf2c46f3dccc953ad43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed SeqHead False Passed