Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
78df9f4ea8a6cadaa4f7d915c358a0639196194f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus OneLineComment True Passed
1d01ead678c8ba47a65087eef0fa56f4b6f80a92 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus OneLineComment False Passed
47f5c66e9179d34676687d294376be572715fc99 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus MultiLineComment True Passed
1df7938f4553d55820b3834ee21fedac1ef60ae0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus MultiLineComment False Passed
d3bc16b58d35b109bdd3272ea03cc5bf9fc7df68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Let True Passed
5711e85a005954665db73e83813f80a646906095 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Let False Passed
04a6c259ba7610b5dfa4e3d74af958061a96e007 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Choose True Passed
b821a5f8cf8c0a9fb83e47a1200220392a8b3cc6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Choose False Passed
f500eb43d93d66a5c95badc377850dcb9d28a956 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus FunApp True Passed
7f09f8254751aee65d292f98b9c2b5bace9455c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus FunApp False Passed
ffdd3bcf54bd5937d00fa988a350aad746ddad3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Prime True Passed
ac83da67985b6bd4d50d2a1bccc952c3f93ae7da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Prime False Passed
57897ba73e4874cbc6114d767fb554c3c3f730d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumZero True Passed
2068555f718096034a8f82164b9b6ca06323c7c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumZero False Passed
002d6401eaea6bd4bd8d72b48feb60b6999b27c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumOne True Passed
733c765c24341d805e86ea9926ff2866caade4e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumOne False Passed
cf313c82a6f2081b4c6fadde5012254ca9deb955 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumMaxInt True Passed
1ae8982e046c81ff68cefd2d5d2cbeba0f7168ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumMaxInt False Passed
7c377051fc48bd66fe75acfdc67a14f0c982a88c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumUnaryMinus True Passed
de7b54cc0c665ab9cb62e7f510777213321f9177 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumUnaryMinus False Passed
a74142cc70672b98f448ca541a2899dd045dabd6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumPlus True Passed
0d30935ff5ba76cabfefc48aa79912499a674000 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumPlus False Passed
d8e3e46aa550358ad9329cac31d6c6b6cf70b8d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumMinus True Passed
5f6e7e87189c20db73cf8a9999d683c0ce917ee5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumMinus False Passed
a6aab749e124204831dcc026e2768b65422019e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumMul True Passed
fe5384241a73f235d091d840b1ad2079671dcdfc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumMul False Passed
494767a88ea6bc4b6dea8121bb08b488b51ef625 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumDiv True Passed
b8f6d96658b0fd7e4bfaa7741e03cd81ea6ece77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumDiv False Passed
85830cbfdc8ce2eba58b400e9b3f1278582ad72f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumMod True Passed
7cb66ba14c454c235c434ef38431341970872324 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumMod False Passed
ded85f5ce76c1934df5fdf52c9c2969aed3be13e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumPow True Passed
f04db6321b854915cde00c5aa6e5069404df0192 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus NumPow False Passed
5faea408a2fb26b6869a407ab39fad9f5166107d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Def0 True Passed
317859a4d2050097a6d8ec40ecf05cbda1e6abd4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Def0 False Passed
c80a6d0074758bca5987b033667be28f71fcee03 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus LetDef0 True Passed
20079a8b8a607df1c78dc4fff5f841563566962f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus LetDef0 False Passed
dbc8ab4c9b8c460f1ab48f748287899726e933c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Def1 True Passed
bfc50921e710a8a591c20cab86f07647c697da2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Def1 False Passed
74c7b6343802169ed73ce1b80629200c1f3c6745 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus LetDef1 True Passed
1b1a8755047f732fef1e85a1680960552939e0fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus LetDef1 False Passed
280f70c8ad91571253ff20b8f9c4f66c29fec0c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Def2 True Passed
cf97fb894abca3bf67aecd18f1e4bda4049ea362 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Def2 False Passed
5b5341018d1ad1b1df45bb6bc0d4cb27d692666f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus LetDef2 True Passed
30e90d8a7fb360ba666e40245c6d2f3f9bc43228 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus LetDef2 False Passed
898fabf25765801e0c59107a2320158664fab00a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Def1Recursive True Passed
99ca496a2ac13efdcf20c0664d0f6f3690eca858 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Def1Recursive False Passed
1fa9c3ce8732132545a6babe8f56fd7cc3f9dff8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus LetDef1Recursive True Passed
5dec5e07fe64878f68c49195a4623cfad23c7641 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus LetDef1Recursive False Passed
bf28ac8f0d7d59c6cf07babc7a3335f505cfcb8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Extends True Passed
4a5dbacda9e182c057991d0332d5a1feda84ee57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Extends False Passed
6030b78d8c7d91a9712bca7b29e678457a81872b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus ExtendsInDifferentFolder True Passed
57a7b056206c64e5a73888f49cd60264273fdeb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus ExtendsInDifferentFolder False Passed
18c8f85886dc98f1fd872a740854ddb78453fc9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Variable True Passed
231816c9b572cdb512af9df33446a8669b3f3538 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Variable False Passed
75f28f97f445395890b523f12aaa03ec6f113327 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Constant True Passed
7ca971b403623c0677948b3e96bf3d8cd7c79cf6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Constant False Passed
742cc6d759a1e1e34f8ec99abf0ddd46ed3cb389 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus ConstantRank1 True Passed
cda3ebafed8a0fe6bad567b6d08ba081e2aee1b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus ConstantRank1 False Passed
fa7def44b7227704c15ffe3936e5ebcf77de3c64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Instance True Passed
52493fafdeb0dc29ed225dd3c7a0fd650e3234cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Instance False Passed
0fd56bf0fcd3335c1bc97ea605c78f989fbcac23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus InstanceWith True Passed
81c9ad6ea636e596119c03b7d9c3aca7c1503bd7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus InstanceWith False Passed
6613fb9cdd52d8ecc6a67423b13e0a0729385841 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus InstanceNamed True Passed
64205e59afcddde8cf9766e5cf277c1232363aab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus InstanceNamed False Passed
6c861eab2d0aa21e82d26dccef60c58189078d8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus InstanceNamedWith True Passed
b90aa05cc459a78b73261a625e90186ce21e5129 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus InstanceNamedWith False Passed
fbbaae3b848a70594c43742de7ca4e54cc5f288f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus InstanceInFolder True Passed
efb24d40dbdde82bee5b5c492a5ee59817cc2398 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus InstanceInFolder False Passed
277455ebce1780b108e8d54965fb1630cd987274 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus InstanceWithInFolder True Passed
d72e73a8ed4f6c54fe0134146ea08c03c4fc7108 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus InstanceWithInFolder False Passed
43aeb7cf9138abed0dd90099b3dc7e466bc984e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus InstanceNamedInFolder True Passed
d1329da4bbd0296838dd9b389a5d47941ab4afd3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus InstanceNamedInFolder False Passed
57ec992bc1a038ab9a365edf69b3a1b81165d91a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus InstanceNamedWithInFolder True Passed
272821c7d66917d03e496f8f87ca385a708b3963 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus InstanceNamedWithInFolder False Passed
bf9210d0a1cb1f8fc1bbd4c7c8f90151ca0842ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus IfCond True Passed
f18d2266e432b027760bbec1e9b7ae9d8c6f6a10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus IfCond False Passed
20d4fec8efc8fb9e627247bd9af1f8eb70c5265b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus IfThen True Passed
5d7cff2165d3f4da62488f72e6ed3d31848e3c8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus IfThen False Passed
3501ae055eb55e639691a0e58051db52d711b593 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus IfElse True Passed
ce92881cfd78c9942aeb91bec0c9397c9b1d4473 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus IfElse False Passed
0f5a2a5e070e18a23ff471f615d02350a6bf51db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus SeqLen True Passed
25e6cb4d9d45a6ed2fc1a83b9d02e1b3e20d460b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus SeqLen False Passed
95d473b1f810772cb7b9c04b8e06fc9711d19ce0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus TlcEval True Passed
4fbda55a559fe13089606e77a966cb21221ae4d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus TlcEval False Passed
96922bac2055990ffd0caae25b2775c7b1f7b6ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus BagCopiesIn True Passed
f0c74fec602b704f4e17ca49fb0e5119a4269446 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus BagCopiesIn False Passed
19deda1133cfe0833376e57010caf9deed987b87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus BagBagCardinality True Passed
6bc7edea8fc94748a79a2b5b819776b8bf86685d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus BagBagCardinality False Passed
68f9c55a34dbddff2533a46bfe216d3f37e37df4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus FiniteSetsCardinality True Passed
e930cbcb5cacc2b6f1f1ec77f909e4371bd520e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus FiniteSetsCardinality False Passed
a831548f23abb373ffb8f13dcb194712369bbd7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus SeqHead True Passed
15b28a467e946b88b8a81ddea36a1dfe7cc5ceb4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus SeqHead False Passed