Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
37316efb77db97100b2571d6194250079168a0f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp OneLineComment True Passed
70362aa9bd5c378651bf623afe8a128cb08e75ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp OneLineComment False Passed
d7a12be72f5efdfa9b3c3e1f34899799fe39ac6f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp MultiLineComment True Passed
f8c06b4c79433826f730c0586b5ae49dd4305d1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp MultiLineComment False Passed
f646264455b0258f257ea81fc3b49559aba32f37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp BoolTrue True Passed
65ee26adb603191703992e292a1bce0ebf5b4d67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp BoolTrue False Passed
fe19d100cf8ad019e23d3e124e7488d7492d7177 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp BoolFalse True Passed
999679f04795f6c1b61620918acf10cb2ba7e0c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp BoolFalse False Passed
260575620e4bd4f25eb283d12f2d9aea3065f12b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp And True Passed
46fbda25f7d494e07daf435d91986dd00c5422ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp And False Passed
ce45e7efcf5e21bd0132332b9132f4ef92df74ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp AndMultiLine True Passed
223222a313aa7993d0662a5aea6babca3ebda8cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp AndMultiLine False Passed
ecf88718868d10a115eac0e5b022e1e4a85b6a10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Imply True Passed
ebb3637f013f8d653bad283cb4b058a6ab4e5373 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Imply False Passed
e0fb94f268644db9455806427df3dfcd0ccf2965 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Not True Passed
a86894bbd7a85f208aa7592d4c8cc3c9ec4fad00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Not False Passed
e0672776f719c8c9c8a457c0ee9bf163b79fc94c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Or True Passed
e20d6a24aa9e15414f639e59ab39c2a8bf665315 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Or False Passed
767207f1276531514c034ebdfd2f317f9eb73734 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp OrMultiLine True Passed
5508b0172348c9d3b856572cadcc00dd1477f5a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp OrMultiLine False Passed
1dcf819c5004e35ded03bc26bd35cacb5680c454 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp AndProp True Passed
a8f29fe0dae16c11c5d09aed626947317bd04794 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp AndProp False Passed
fc9bcccd88365a2c48b0e97821cf8904caec13aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Boxed True Passed
085e4367b1f1052f64fab10a53f4de63f2175c0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Boxed False Passed
a4fc7c6b610b52982ecd1c487d85ca9f1a319e67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Eq True Passed
7ee664b5b5ac3a1345a5eccbf787188f9986cbbd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Eq False Passed
bed2f34b003f0a7e5593c154cfa3e01547b7608f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Ne True Passed
166b3a0df6d402d15fc29f39fd12f2fb56fd239c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Ne False Passed
dbae9b20f4ba7e38db08c63ff69a2f30ef512d12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Let True Passed
152887e5f2b101040358a1acfbc7cfebac8782e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Let False Passed
a513b8ac9649923d84157efd9ee580d2d0786dd2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp In True Passed
9305186f4c8b67c6a472ce2bbb29a41cfd17c037 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp In False Passed
d993416b90a25f9d9b72bd64ff5ff0cd10581dde TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp NotIn True Passed
e54d31e81f348a779e4c96d4cb016f771bc09af4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp NotIn False Passed
06d6e96c9df3a4fd22e9b7210b180e6378cabb45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Exists True Passed
1bd5f7d47e28bb0c74a3ddf80bd4833c71011a6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Exists False Passed
c2ac0785224d0c6838b3ec6b4dfdbd5209d72b3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Forall True Passed
eb0a5382b473ce06bd47e09960f67a880b40173b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Forall False Passed
e3ebdd20bfbb76123e613fc3a2742a8e2ed1f314 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Choose True Passed
910f27ba7226e349ac901c2be39f1e0aa1c5d27e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Choose False Passed
59cb5d4d8ad9ebb9f25f3f33f8cf048afcdd4ca0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp FunApp True Passed
00a4f85fb668dc2ef23a68ec3b2d32561ec9682e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp FunApp False Passed
bebd3a3d19071f2782bebd7acf919dc9747c1dd0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp NumGt True Passed
6f9111ae75193b869aa3d73064e494b02865c4f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp NumGt False Passed
42a20357351dcec720db6f35b776ad8f46b3d281 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp NumGe True Passed
5ae747d8e16bb0f9d576db3e435c0f3afaa7496e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp NumGe False Passed
6d06f725e8a9889ec25a98b0e4b856a2aaeddbca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp NumLt True Passed
5d5734392651fcc6abe4b330d977b7ac3a8a96a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp NumLt False Passed
6be332ab2646b769e247b23a0512bf9ed414de66 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp NumLe True Passed
aea112a3750efb1793f74faa624925d464df2a62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp NumLe False Passed
9ed4f7b4c3e3ef864df296b253cf2c7448cac3a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Def0 True Passed
9fe37f20223c6479d92bac1a09a6e26460dbdd1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Def0 False Passed
6888052973d3b5f7890c9c170e8b3d0757328fbd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp LetDef0 True Passed
af8e5f044f477611ab1731b363cc30b79997feb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp LetDef0 False Passed
10bc197023790ceca6ea2783c3a98985774ba419 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Def1 True Passed
a613f940aa2e6cccad49fc2c5b02e4fb43452c9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Def1 False Passed
dabc86ce1bf23ef1065a7e37695853233fe9e1aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp LetDef1 True Passed
19ba5db3de63b197c4f5caf11050e6d32a2349f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp LetDef1 False Passed
deec5fff7312fc70bde17bebb5579ae05f1dcfbe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Def2 True Passed
a971377dc11a1cfe28f7cca38551bd6daaab4fef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Def2 False Passed
25a5df345d4fd902d61b7b26e7b383f7d512c91a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp LetDef2 True Passed
01248645c4349d66ae5a4a2617b66565b90b3179 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp LetDef2 False Passed
e28683fe650b24e059b3ef1280c9e264692bfeae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Def1Recursive True Passed
aeb49626759e11e7d96227761aa139941c0d916c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Def1Recursive False Passed
5dad30cd64a9e13c25d30c0e1dc975ec2f9ab0fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp LetDef1Recursive True Passed
241518a54c4d88a3f52204d45f961aab46fcf737 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp LetDef1Recursive False Passed
0d423bd0c47c70bb698bffa0eb081d27ffaa2dd7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Extends True Passed
e083da1ef54550e00d0dbeed3361ffa2e312af59 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Extends False Passed
78e89930b5e1cff296600434ec9104bf3bf1236c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp ExtendsInDifferentFolder True Passed
d0c25bf8199770efd1accbee1d9302961cc85fb9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp ExtendsInDifferentFolder False Passed
56a87fa08419d702c48bbfdeb79226b7dc87c6ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Instance True Passed
cf2e0944acc1bb0c4a0208791c1564d5e8c8f6f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Instance False Passed
5004da8051aa0e794fcee7473760bba3d70cb81b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp InstanceWith True Passed
18ad687fade5ee5fe5e053ec1d93c3f03163e6f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp InstanceWith False Passed
c669eb5524acbc8ba619637656391078c20d619d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp InstanceNamed True Passed
da99b0fccfea2fda6ecb10b92983521c88b780b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp InstanceNamed False Passed
69020548bc3eaf04814308facf2684937a79ee6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp InstanceNamedWith True Passed
7a6aa6128bbbc6d0c8c9e6f6da3ca9b388042578 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp InstanceNamedWith False Passed
1651745d50591e9fe8cecc80b13f5ece68fcd07e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp InstanceInFolder True Passed
7a4c32b9ca4cf4751374240988902c9ff11f8b4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp InstanceInFolder False Passed
5102e552772c65dcf6409993cdefde45c55f01c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp InstanceWithInFolder True Passed
dbe55f16bdd55e449fd35af66745a1148b397283 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp InstanceWithInFolder False Passed
e4a654f36ca77f4bf5c8ba4e77565330969451ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp InstanceNamedInFolder True Passed
9b973e07c6f14245281c2687c5dccca6c69b565e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp InstanceNamedInFolder False Passed
1fdb6b38a2b0d994085424880d0d05c148c27a51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp InstanceNamedWithInFolder True Passed
46dc4dc473db692a6df4ed4e357cefcff4ddca42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp InstanceNamedWithInFolder False Passed
f226a117432b697ade3a0cca6cd8ab7c94464f00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Enabled True Passed
46ee089882ffdb17950ccc697ba6e92202e959de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Enabled False Passed
fd6981773fbf8ba50b07ddb4b142ebe3916309b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp SubsetEq True Passed
97675458a586819eb116da57d9632b287eb406d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp SubsetEq False Passed
3723b5bd85e6caf16cd953adbe1697525908e775 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp IfCond True Passed
1a0d627f46f4abfb2c9cb65cc0f6b3186ab801b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp IfCond False Passed
a0684f353c99e236ca8fd7facf468876242a374a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp IfThen True Passed
17b258e35920b3db5f8d1334796c9d1861cb855a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp IfThen False Passed
1513028efdb3dbf33bcb344e0ad7d75eb9a83bd1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp IfElse True Passed
14c63bf868a42030aa2819c94c981085714671f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp IfElse False Passed
bf97c68bf6b8dc9460f74dcd6aa551a688e53a88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Equivalence True Passed
e2259454fbe2e8f5278be9efd3c7a4b41d97135d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Equivalence False Passed
c7b2d60f77a84078c565944ad6d8f6e2bf8d8470 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp TlcEval True Passed
0aac959e7467a4b138fc65060598842c66b2baa4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp TlcEval False Passed
2fd8454e30ecf1755b9df7d93c102772c44a344f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp BagBagIn True Passed
5c9e44c77e12f3c0eb03b4393267b7b9d3b11606 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp BagBagIn False Passed
7cd1af79addda0fb3884d5d6e3b7d781c42dec71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp BagSubsetEqBag True Passed
68252d8b92d33859914a93d2592001eb1b858d2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp BagSubsetEqBag False Passed
33b4ba6659a7f1cf2b7ec41296b7f0d95319824e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp FiniteSetsIsFiniteSet True Passed
7039d58ad251caa85d76c69c14042643f5d71905 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp FiniteSetsIsFiniteSet False Passed
561f007b8d9b99f0d85162a037a567f24720ad19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp SeqHead True Passed
ce119b03f68757d907cb2e2c01eae7b68ff71f6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp SeqHead False Passed