Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
214e4135aae94f8d146521701fa0700659b0402d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv OneLineComment True Passed
d0b5d3303f71c2da6bb69882ad5881bc455b004d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv OneLineComment False Passed
ec6542c64b70fa9f6f6f242bec51a5595d68c50c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv MultiLineComment True Passed
c1f479b9fa65e90978221ba15c016cc94fa28b3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv MultiLineComment False Passed
24d799dc351d53e2926bd8bb3ec06ee7a043177d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Let True Passed
c782eec4ffac867fdaeecf6bbc834b79de87abdf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Let False Passed
dc41bf0b4db234f3b895d13a8a70be1eeb7ae418 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Choose True Passed
57085c1439f5c803f287daaf3271da79e08fed20 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Choose False Passed
90b0d41b2f504d4b7d8a010d50bf1473a403d6b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv FunApp True Passed
23d8ae85e8a0c3ec39abcfd0ec32efe81fe3e8da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv FunApp False Passed
ff7c473d045c00237b0d47c445e844211beeb846 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Prime True Passed
40203990b5338ae82e3c675e616ea28052597898 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Prime False Passed
95e355616f5939475ee5f971b5df66ae19b75676 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumZero True Passed
a34e7255c4f01207a8c43866df63795689afee21 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumZero False Passed
633ec3fb1fb701a090298cc51177da0771170caa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumOne True Passed
6b85468fd59e2c8629db636fae5ba07f074d74d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumOne False Passed
44c8a3bb875fb47f869ee9bc70829a4e99d95ed8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumMaxInt True Passed
f4b7da6b81f45d8a93d8bef6c92eb4db16e0e864 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumMaxInt False Passed
83f064e1b30fd3098686c3e6df7c0cf2cb3f961a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumUnaryMinus True Passed
87c5246ccfdb98d58d26fc84b2bb05720139bf8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumUnaryMinus False Passed
b388b07890cfd41369619c74a5be96941e778901 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumPlus True Passed
a34b5ad08d42c3b688ff181969ae3e6e77fe7d6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumPlus False Passed
64cc10345bef0b4eb08f8ca17b50f2d694241fc3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumMinus True Passed
2b64acae570cd3411972de16085580423ce18379 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumMinus False Passed
8e3a518ad682edace2526e3dd2bf96055b77a726 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumMul True Passed
71dc4b4235446386cb10b904c5a7955667381bc9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumMul False Passed
af54df2868d960344ae8b3f044b939132487c9f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumDiv True Passed
b4efe761ed723c58d5f5e62f1b11517a779c6d7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumDiv False Passed
1c494f4a700a87919f79591fd75354a7825843a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumMod True Passed
6340b233ec342c9d2dd9d32d170fabaef066c4a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumMod False Passed
969682c6bd11d9e94ca9f7973cf2f75273553d2a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumPow True Passed
ede46f9fa02ab247e428b3b908ce6d7b3d243cfc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv NumPow False Passed
6b13f518c70e5113d4d4dd71f8b35fe981c95828 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Def0 True Passed
53cc48f7d2c4baf9d20688c2fc4d3f8ba68c8b3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Def0 False Passed
ec79719bf6c27d96f1179e2aa0943d5b296000d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv LetDef0 True Passed
dd0f9c24258e17a5cc320ab69a9bf8fcacd8562c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv LetDef0 False Passed
8dbe76f9aac7fa8e69f216af4a1985d27cae3e52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Def1 True Passed
d50938c1537c77c02d954d2d7c5d4aad973b1f64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Def1 False Passed
11d098126a7d24d0443de828362a77059c3fdd10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv LetDef1 True Passed
d0adbd0e39fc2800790de306332a69202b4a4f3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv LetDef1 False Passed
22562b481c94f725a43a74c9439841a2d79f5085 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Def2 True Passed
077ba08a3cfd425fd7a7836a19aebeff6631c127 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Def2 False Passed
057d2ccc5f5f7cc75cec6c18679a1a264c48555a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv LetDef2 True Passed
462fedd500932522452a6a60f588bc8c3f6ba61f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv LetDef2 False Passed
b53e307b209016034f9cff0ef0c86f7d70458957 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Def1Recursive True Passed
a16a20b507c94e5285bfd2ce21f0529a72166679 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Def1Recursive False Passed
f6f2ca83445453fc9f7e125bbee9000a0399e6f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv LetDef1Recursive True Passed
e114e1dfe7851e583f1ed1000944424956498188 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv LetDef1Recursive False Passed
fb476677a75e2828d0aeebe1269a579b07c744a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Extends True Passed
59a1b14965e839fcff40744ce7e20c0cdad37802 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Extends False Passed
2906f74b1f289ac6805248646e3fe40fd1d13e67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv ExtendsInDifferentFolder True Passed
258b52b7dd0c57ab642c5d5800eaabbe6abfc3c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv ExtendsInDifferentFolder False Passed
08b9e9e649bd692bf0f67b8853917aaf445d5a10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Variable True Passed
c1dfe1aac1c3cb67c9176806fbfbea80b588b00b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Variable False Passed
b1108d8c0a9f9a3c9e41b50e560d39bdd04227d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Constant True Passed
af0c10180b666b9499b1b0ffdd554c56e7e5ebc3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Constant False Passed
9f240aeed10f950ea91383b67e0fa8b50c582120 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv ConstantRank1 True Passed
800a812a076c56b79bc373341506fd6490ab8067 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv ConstantRank1 False Passed
10f5038da3ac629d32ce247e5be0e6b6dbc150d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Instance True Passed
2c3b17d234fa91a4b761239f7e48c1547637da64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Instance False Passed
48f5c7f81e7198727271e92435764738d96addf9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv InstanceWith True Passed
5af96152d42bbbbe9c4962f740852ec98a507110 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv InstanceWith False Passed
0305a19da87c744d305a1f364fec9b03212526b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv InstanceNamed True Passed
93c68e860252fdc7d5486ae34fcbb8a71964bbd2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv InstanceNamed False Passed
5552130f56ba469a08a479c8b3fac4d2cfbdb9ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv InstanceNamedWith True Passed
9ce1f78f8af64827db6c2bb377627fabb30f13f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv InstanceNamedWith False Passed
d660d1a59cb0ec5d0bf86cd5ce163c1fc2a06904 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv InstanceInFolder True Passed
e63c8614b2c8ac4db036b8923349623af38b6603 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv InstanceInFolder False Passed
dd149616d2fe994204700b84cecd516480dade5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv InstanceWithInFolder True Passed
c5df67e435c31bda576dbc7baecf8126ced2a770 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv InstanceWithInFolder False Passed
8a28d2d773c255e8ececc1549510abe2b43e6dfd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv InstanceNamedInFolder True Passed
0b6f939be0b80b3d279ee55542719e1ed67345b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv InstanceNamedInFolder False Passed
35d9a1bc93ed8911f5978b5a58da1dd336261fbf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv InstanceNamedWithInFolder True Passed
91b71a3654371db52d31c202fdf90ccbb8ac263b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv InstanceNamedWithInFolder False Passed
ba52f6fa407b35073cf0f98d38f52ad3e3b50300 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv IfCond True Passed
39b0ae7a70ed9e1b26ead90783255a8ba9f261ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv IfCond False Passed
f991bc9069222e7ea12edc1694d042a465ba9937 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv IfThen True Passed
d50860c21996498a99b9adec29cf5d985e24da53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv IfThen False Passed
338ca0051229dfcef25c4cf985c622b4083cd0aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv IfElse True Passed
8970eface06155c760e718e270b9a75915c4ed7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv IfElse False Passed
4572625ad80b7f376928d68868fea9cc2eb7e433 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv SeqLen True Passed
d3c000080833f95fef636f3973ddd316bb308cba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv SeqLen False Passed
71928f5fa43b06b81fc35a34e33ae399324583a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv TlcEval True Passed
808569b6eab2f1215631e207322bc6deec3acd92 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv TlcEval False Passed
7bbe399edef153726f0f7047d214016c13164be1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv BagCopiesIn True Passed
0f7bce1aa5317cb4024bb9edcfc7bb313d2ab566 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv BagCopiesIn False Passed
7769cd94161c382db064b7cf66a6adf3863a4ca9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv BagBagCardinality True Passed
97aa92d5e5fb874279329ed0fbdaf4d367f24a4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv BagBagCardinality False Passed
d0cf472fd576f10785bbba6eccbb6ba82adefb40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv FiniteSetsCardinality True Passed
1a015346848e71f54a2d9c8ef5ffc00cac42a438 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv FiniteSetsCardinality False Passed
56afc23fa236fc758c4df0dd6a2906b829de8f9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv SeqHead True Passed
9500e76ac0ddc9fe714c5dfbf8f2799673a13f7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv SeqHead False Passed