Index

Tests by case feature Imply; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
3580bc2a202911ebbdf2f521b2e7e805fc267442 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply OneLineComment True Passed
617fe0919143d1853089cd584544a2b538ff79f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply OneLineComment False Passed
263d7efeb971d1102a5370bf5d8228ea4fb83a5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply MultiLineComment True Passed
2ffa40d2dff52a37af44528af2357bb6daede507 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply MultiLineComment False Passed
9649a8afd90b1d64391585374dee94e85f598c16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply BoolTrue True Passed
8bf2ada272f1b3544c73b116408b9b008c053468 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply BoolTrue False Passed
1a379aefa2b0e9938e4ad98f83a73499c4eb7d17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply BoolFalse True Passed
f613ad1b1e31671572784b22c43ca9e311d019f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply BoolFalse False Passed
004f1f8afa34541788518071d24cb3c5f7fa5d13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply And True Passed
d4df83cdc7bbce211bbd16b8833203a4d1837129 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply And False Passed
5a2de41b55361512627630a6d0601d9257ebd7cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply AndMultiLine True Passed
5788e9186aad66cf80a498f0aa5f8047ae5fd0e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply AndMultiLine False Passed
ed1d9d33cbdfed5a124d66fb03125cd918a55fa7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Imply True Passed
479b04deaf4642633f4461001f4fbc7d1476a0ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Imply False Passed
058c57e8b21e82bc7fe4c8097f91533cf0ced646 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Not True Passed
1789a6a8d9484283de0bcff2bab37f0263f50e59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Not False Passed
fe7d02aef6c824550a4c2239ec7ee2881e4a930a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Or True Passed
9d8302ed4d949d20db0ad2c65164cf7a11eaf347 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Or False Passed
faaa4dceb944e4cd323ec3f54d12f757c573f37c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply OrMultiLine True Passed
6b1ca187d5638cdfd8b1b72477e483c5f6c68eab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply OrMultiLine False Passed
2a4b52d9f46928d93e85ee2179f9d25e43e1d640 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Eq True Passed
81d1dd2bac21b372ff6724601e61148765cf6748 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Eq False Passed
0cfd9a6acb049c699d425cec7601db4d1863af37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Ne True Passed
81ef31b18e981db436dada53f4ebef3464406a0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Ne False Passed
01d71a7656a9544d36c270fd2164bf2a486067f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Let True Passed
b311d8985a4fd20773f270b0e9922c1ac27d39d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Let False Passed
5876ff96ea4e9e1ad76a49942ba8a3505ccdeeca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply In True Passed
13db8f0e8b3f2414ad9c63b6065010e99daa3714 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply In False Passed
f1fb789fe111cdf2aab91b7fac716d7dc056ea04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply NotIn True Passed
f7466a43260fe8b8ff5d5e59836a1859f000d8e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply NotIn False Passed
6fad7931a10c515102f74fc5cc993534a4c2f7f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Exists True Passed
681781cc1e5aa431d33f7f5c37e98873d69bcde0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Exists False Passed
3fdcf48ce535f5b5166d31f52c72df24dc11e697 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Forall True Passed
d6ad1d56ec18489709543b466ee34fa80bdc5671 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Forall False Passed
0b8d544d2b3d984c0e6f54ba32517332b621607d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Choose True Passed
6960109238b48a9fa3592fdac2dbf3990abcf9a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Choose False Passed
507bbde3f8666d20898861a5b11eba08c1647eba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply FunApp True Passed
89d8a233f895a1e1e1fa083235f472a0bcbfcfb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply FunApp False Passed
4c030cc1e3a6c56c7a024d40c7eae6c7338f47da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Prime True Passed
f276fafc79788f1d17fd289db9808d62d9f5af03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Prime False Passed
5b4523fe3eaaa60ea6f86708823cbe39a8cfb99d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply NumGt True Passed
e243dfcb7b49c85d4b8f4afefbeeb0932ff613d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply NumGt False Passed
f21e61788eaf715ebaafe8ef8e5124a3fb32197c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply NumGe True Passed
aaa6bd3304cf02654455cacb9a330d20f2fa13df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply NumGe False Passed
e307c57291d9b8ce2ca7d950b47428aa9460a09e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply NumLt True Passed
a257a7de96a337ad4daa71f7409c7d21eebb5519 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply NumLt False Passed
8f86992c3eaf15cacd96f3329eb86d48239964aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply NumLe True Passed
ac59a60694559ce0259571a1650058de8e885315 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply NumLe False Passed
46c1b81d68c263f9a1e11da09fc6e9cf584f4fc8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Def0 True Passed
f69fd5102b835e0b6ef48c83f157c958048f2890 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Def0 False Passed
2c7fa0c60825618856879536e7e9c4ca72a82522 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply LetDef0 True Passed
b04c75f2322e25c33f9851187c04ddd8ef73afce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply LetDef0 False Passed
0b6c738b87aa7262212a1e8fed090154a7a47c9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Def1 True Passed
c817672672a2d884560d030196bccb386a0ab034 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Def1 False Passed
ab383bd348603eeebbf9af9413ee92f4d0829027 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply LetDef1 True Passed
be4693b742adc8b5cd80a661059fa8a38f4fc02d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply LetDef1 False Passed
e7de41c976a6bcf0eeb02411985addc79bbfd4b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Def2 True Passed
bf9b30f432ea454b762ab28cead8e7ea0fe810d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Def2 False Passed
c39cc21faaf5599cd9e98c94f81286e87fe5ed7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply LetDef2 True Passed
d335d878d1bd4668954cc1d1d299e6c48bf2e612 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply LetDef2 False Passed
c574a6ff66f18aa572591c910b462eeab0b21280 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Def1Recursive True Passed
bbc4663845d025844f8a00bf849a1fdabd1fb788 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Def1Recursive False Passed
9a4fc201a4f918ea90b74c168df1b48771ffbe54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply LetDef1Recursive True Passed
c2852b388ae34e7d7e838d5427045eeca151b04a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply LetDef1Recursive False Passed
0b1e0fe997ee9b03112187d3af29fc6ff2b0611d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Extends True Passed
34cf0abcff387e8604b73a8a1d21cbdc566379e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Extends False Passed
6cfc1d405d2749ba5d72c3fc906b4e255dba66c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply ExtendsInDifferentFolder True Passed
b50028708a94195061d22ee6942b4e145007ef34 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply ExtendsInDifferentFolder False Passed
0eeeadb6fedadfc077f460c3709d1a78fb351246 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Variable True Passed
71a00aa4971c68fcfca46c2f980be63ac5bd3247 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Variable False Passed
7d23d4366d116d21f38d57d6d67f1c466efa1ddd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Constant True Passed
f14e302151cd3d78b27aecefe85107ed6112b81a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Constant False Passed
8931945fb2bca06498cee47bf94e344736c2f33e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply ConstantRank1 True Passed
4ca4a16dc8917b566356044767c1a1730dfd5b03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply ConstantRank1 False Passed
5f0c6d00f214ecad4693f6fd44e695ed6fae84eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Instance True Passed
d871b60ff24e09d09d121537cc87f91203433265 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Instance False Passed
58d6d7c044ac535a1116298a41b6e0cd99d46447 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply InstanceWith True Passed
3489bc07da5090a9efff794656b16df1f279750c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply InstanceWith False Passed
15b88372d35ef02bff91e6d588a0b02e87629df2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply InstanceNamed True Passed
3e99cf3d08bd115d79a99e806eb216348d5e330e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply InstanceNamed False Passed
5acd364775bde3acedefa92ca65030afd6c41491 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply InstanceNamedWith True Passed
b8c4e386c9a0826feb9e6bdd025736b2991af1d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply InstanceNamedWith False Passed
e9ba30f801ba05ad82f7151475412fb1c34767a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply InstanceInFolder True Passed
c18a5020c1dfe81f9c9f64b8dc8326d05f32da0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply InstanceInFolder False Passed
2f9b3e3466b1fc47bc4f14c81333498569b1f30f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply InstanceWithInFolder True Passed
b9b0db8e161d8a633722ca7810b47412ee9380da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply InstanceWithInFolder False Passed
5862e073c9ac3fb0e3255023160915d55cf72579 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply InstanceNamedInFolder True Passed
4f7cc505e6f3b940479a9a34e5b3b084b62bb350 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply InstanceNamedInFolder False Passed
082efc7cfd342520aa1ce452c22f6fcbadc89932 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply InstanceNamedWithInFolder True Passed
581dfc4bf8b612404d42091bf5fef5464f7919b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply InstanceNamedWithInFolder False Passed
c59d94211cec8aec26bfacd18d501e32b9a8143f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Enabled True Passed
675797ad4998d59103b7a5b5d4c5d887ef1337bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Enabled False Passed
ac81d05f1d56dacba637eb54037ce00f798a34c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply SubsetEq True Passed
68d3eb3d956c69127a07db3e3b3a447b6a95401b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply SubsetEq False Passed
ec6f8b166c8b9bcce1f33d7b3b97ae04e5ed3ddc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply IfCond True Passed
e2fea866d617912e828ee05ceb7d2eaa95beb19d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply IfCond False Passed
8494ba5e0812cba685c5c539d190d3536e8cff72 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply IfThen True Passed
94cd5832d0a459b406e60d4d9738a1f90de6d033 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply IfThen False Passed
a088a7ec0e352e5cdfa2295aadb24609154dea29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply IfElse True Passed
e781fa42e92ba5499d85d42546d663ba90d0e073 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply IfElse False Passed
3ff2583db16381c2ea44722ba3e6250750bace7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Unchanged True Passed
c7d58dcd795f2b41e352c2d17e25e1523f88273f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Unchanged False Passed
b5f1a202f9c1ab95644289c9b112b3a581d794a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Equivalence True Passed
5ade74f09cf6010796e1daae4f0719b615cac99d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Equivalence False Passed
9892a39cb7102828dd365a8bcc405dd4f465e1b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply TlcEval True Passed
80ab49d5a74c47dddc3747784a8ea0d326f6d7ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply TlcEval False Passed
ae1fe5d8ad44eeb29994ddb1a78af42780e9185b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply BagBagIn True Passed
d88ff30a4f71a4b23174bf88aa3e8139daf3457e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply BagBagIn False Passed
983028dfcde04633e57e93faf173afc3afbbf606 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply BagSubsetEqBag True Passed
5051a73987450cf5f0c23efa03596d313da3352f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply BagSubsetEqBag False Passed
b0c68a7fd4ad57da530761ef514d4da4a755906d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply FiniteSetsIsFiniteSet True Passed
775c387ff4159a73e53d6aa54a0fd467a24e3cf7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply FiniteSetsIsFiniteSet False Passed
6bfe61c3816af3223c923177e8ebb0a11945f43c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply SeqHead True Passed
8dac74bd9f5faa6a6a93bbb48a8a5857b972137f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply SeqHead False Passed