Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
31e4cb0fec0c875c0937ef05d009211197b462a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul OneLineComment True Passed
11d9bba1c875016af546a315fe43dd24a6bc9bf5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul OneLineComment False Passed
99876ee2412f04144510fba2fe9ae0d9a2d856e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul MultiLineComment True Passed
cf5fcaeb8c9d84cb1f0d9dbf7a8c2da8e9bcdc0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul MultiLineComment False Passed
ca303775ee1f8e145e55b75c3a0b24e98a8241b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Let True Passed
1ea6116e9ba34411cb399d1ccce7e390532d57f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Let False Passed
bf8e80459f1f8cb73e15b8be76d579c469136cb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Choose True Passed
5b48650be28875f7cc65b07e66fb4edfd6cecbe0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Choose False Passed
a744ba098cb846bb6c1502cb98c58b66e26b4a69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul FunApp True Passed
f1959ce3aace1eb99dea63217a992b287f42efe5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul FunApp False Passed
85c6ff40c3e73c19600f872152fa23b991897100 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Prime True Passed
0586013bf47f7170961b154fb57a977a4946aad9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Prime False Passed
6694540d1ae537ee7f9b7b24c8189938fb473cb8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumZero True Passed
63735634316e46df6f5001524c61f510aee67278 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumZero False Passed
742fe62ca6ea15970ac8aecf29d320febb025fcb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumOne True Passed
0404f638ecc059a30c9787e81f3773d2cf2a8439 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumOne False Passed
573f064db69200dbc9953305a8f9604f2af9311d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumMaxInt True Passed
40af1c8a562255396fa533d2dc5dc2ecb4496532 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumMaxInt False Passed
62915e700713fdc351fbc552d2ebbdcac2e2435e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumUnaryMinus True Passed
a43d4f9c71cd36b4523d78fa57148b9856930b68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumUnaryMinus False Passed
37130736394206a3279f27adb8b1ee35de6f2cd2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumPlus True Passed
c7667248b21f15e3c7a768e7472975dda86a811e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumPlus False Passed
59c69c8839acac807267c5e94c837f36c00ceede TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumMinus True Passed
162c5243ab13f576db3acf66c7db39af03324020 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumMinus False Passed
5181bde55bdfde88df1a9c048a6952cb65a8923f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumMul True Passed
b71cee11033edc16a6c78c2abb8d6ae16d676859 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumMul False Passed
0b6015930c1cb0627eba8f88ea2acbe70ff7620b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumDiv True Passed
2c63e5efe58771c1b4a922af19b916058c4f6242 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumDiv False Passed
9314d2f41c9c0fba05c135dcff36e5ddb318edfb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumMod True Passed
84077bdd27b00d023db2d7f3c7c7fc01fab51e17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumMod False Passed
8c194e216df8bf8cf3ff0f4f7fab567b603ad95b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumPow True Passed
1ece0767111ee8d362e959e37cbcb6fd8dc5dab7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul NumPow False Passed
888fbe9cb06f98e5cc93248728a678b912aad061 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Def0 True Passed
c6b415f1f72615f2afbaeabc246a6c2626ac45d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Def0 False Passed
7f416dd3d5607c42cc89cd6547bf1cfbd1ae490a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul LetDef0 True Passed
e3ccad8121509d58a6a668cd1e8a586125202dfc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul LetDef0 False Passed
0156f4c43270ca021766184814236b2acbfb257f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Def1 True Passed
1b6b09cd140364124c1a367f9eade8351f982e2f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Def1 False Passed
2bbaab2152f5a5f122c66c792824adc7883893cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul LetDef1 True Passed
28355090cc95fae1593a5e9ff34ebc25d4845139 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul LetDef1 False Passed
637ff0c6e43fdfb473cb8a85aff4257f665e1f56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Def2 True Passed
3bc7b47a7574802ca90b9a5059f8007b2c998d4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Def2 False Passed
1721c502e98e64710a9d098890aa65469b9e329b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul LetDef2 True Passed
b50798d13f2217b1270a03f8625360830af7e3f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul LetDef2 False Passed
924a0e1180513b66a4a5f43153e48427164f9a98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Def1Recursive True Passed
44eec9beff7ffe114a21b060e365a04f2dafca7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Def1Recursive False Passed
a3711c21cdc8eb1a94bb326b03798787c4d49eeb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul LetDef1Recursive True Passed
081c9488140e4971cc88ae2a5719728d2cc38b97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul LetDef1Recursive False Passed
fec17f39b1fa73585af1601d65e10c6c2af55cd2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Extends True Passed
625d743776d5ac170653a3c3df4f73e4e40b6fd0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Extends False Passed
d84e5dfc5869d4c634df86d928c05b5f69290b0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul ExtendsInDifferentFolder True Passed
a75a0fb6bba33957d76eab1354753c8e768d04e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul ExtendsInDifferentFolder False Passed
848a743c3aeb6e42be7a4eba3b0d5c1d6d7159c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Variable True Passed
ebed724e9bd282d0032fe95def64c9698040443e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Variable False Passed
b30bb3e7d1e6f356d7ba53f667c1950e55064462 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Constant True Passed
beaa693640d02d2a711ed301815ce605472d9f04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Constant False Passed
ba6c39270809cc175ae556aa381abd2b338ab248 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul ConstantRank1 True Passed
fde22ed532149d2b64f75438fb8b399dd58d5a74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul ConstantRank1 False Passed
1d7cd900acc795c5f426de84b92a6f0fdce09f7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Instance True Passed
58535a71ebd4c1a26d21e417567e75e32326b7a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Instance False Passed
7218951574efcb1aafc9ef2ee1307b58f67f8f74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul InstanceWith True Passed
d50ca2997f0b33e88a880dd45d77ce540f304036 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul InstanceWith False Passed
0381b63e783edc82adb006d716196d08ebc65a60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul InstanceNamed True Passed
3fa95efae04e5a20c89372caf96170e65eacd927 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul InstanceNamed False Passed
9705bfdd8430407a03942b30f2a4971745f6af4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul InstanceNamedWith True Passed
03ad1b7540b06f53ef7262ed33b22aa8141f6f48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul InstanceNamedWith False Passed
51f28dd74c8f228038b7bb945a106ef64629f617 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul InstanceInFolder True Passed
765ce8f6c35fa41d72ed17daa4a6b2a94c96beae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul InstanceInFolder False Passed
b388a2bcac63506dcb6e3a31a834271aeb13d7c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul InstanceWithInFolder True Passed
27cb51b65bb1fc5ab558936cb9ef0cb5d14e9761 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul InstanceWithInFolder False Passed
9ce2bbbd5484e872c74cbbf802c9d69002bb673a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul InstanceNamedInFolder True Passed
a6eda9dcfd3642f4203b39eebc607de916f69bf2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul InstanceNamedInFolder False Passed
f1d7abc91cd42290c3f798bad73618a809db3d1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul InstanceNamedWithInFolder True Passed
1675baabf72865618bc1e5d13da86d53d5bacdba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul InstanceNamedWithInFolder False Passed
ca8fc1dfe501d58c87ee6ffc54c4dcbcefb88b0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul IfCond True Passed
13f842d4ba5c3290ee4f35927f7d0ef88ee47eea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul IfCond False Passed
a2565be6b8362a779f44ebc782300fcbfe7094a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul IfThen True Passed
8763c46af552a18c203d202761cd4ab5090680cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul IfThen False Passed
d224416f1d2464d6d6ed0223fa6e235148ef217d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul IfElse True Passed
232a65b82cfbadbc2b125acab5d1511b324bf3a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul IfElse False Passed
d59cca182e791decac60c5f8ab85015915283627 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul SeqLen True Passed
4d2455fa70cbaffb778996d30b1bdd0ff0e2ad51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul SeqLen False Passed
984f7aac551c64c8d8e316bfab67bab44f035b9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul TlcEval True Passed
10d346260985885da22d38cdaf7b15a8c188abde TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul TlcEval False Passed
eda4ea64b3985ed4986ac0d77df4fc867475eeac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul BagCopiesIn True Passed
50f5638af062df80035dba4fe8f01cb50f82c6f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul BagCopiesIn False Passed
af74b8beaca2da0e80968b30829eb8a724f230dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul BagBagCardinality True Passed
63244dbd87f2848f5882d1179631adc71324f317 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul BagBagCardinality False Passed
27cdbc62e1a3e3e899fbf36658ba93c6f682f30c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul FiniteSetsCardinality True Passed
776c127add5d689b88ba792896d31647ef719679 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul FiniteSetsCardinality False Passed
0927eecfb1f77a69722efecb252f924a57c72d79 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul SeqHead True Passed
f4b61b04ffc35fa93b4e5a22063111a338dd6a0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul SeqHead False Passed