Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
d1eec235b17cc6f6735701bcc8954c3d5d43ce7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow OneLineComment True Passed
83117ce02e5560a951139312deb7ab6dfc3f49a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow OneLineComment False Passed
0fd2bf90234beda69b830f4a3ed860916459b26d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow MultiLineComment True Passed
3a0752541f4679f3b6550a5c1c243f4b865db158 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow MultiLineComment False Passed
96452b68603d9c4732953deff200c26f171da0df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow Let True Passed
7228ca656a702bcdde6bf6f14d2c16497af26af9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow Let False Passed
5a1dc7603209251bd12da16cb6e50b57e197db58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow Choose True Passed
89ddab36962e93cb702e2138b7252b6458143562 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow Choose False Passed
bf5e40da1207b046695ed7ad18463e147d0f53f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow FunApp True Passed
1a0e69f1107763fd67c6938cf302c1e324430dba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow FunApp False Passed
77716cf355ea5352731465e0f9877d5c3173e0a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow Prime True Passed
092a68000635df3175730da0d25a1df1f90be4ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow Prime False Passed
9e46744a793dadb5fab03ed30619cffa94cefbe4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumZero True Passed
c73db1a8bd98ae2ea9f16c5709db65a0300a6bb3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumZero False Passed
6cba060e16bbfc8c2044088025ee4a4d60ea9947 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumOne True Passed
52b649c62f5283f25f8dce821b197b20c6a6d670 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumOne False Passed
c90fc1a2b6d96870a016c417ed09d770a90497dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumMaxInt True Passed
d623706ae3f3246c3f723d5f149fc3bffb4dd35b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumMaxInt False Passed
020478b61329862dece7a1d254bb20ed9c1c8caa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumUnaryMinus True Passed
f9e94b889953ea0c03f0205db260f743c58cdde6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumUnaryMinus False Passed
094073b8f959d4d4b1c51946ee9ee617e19f6c83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumPlus True Passed
9ed1e7907c6c61aae68fb11ab0eb626f030fb0f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumPlus False Passed
7314586640350846abdb62804c661ba2e439a069 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumMinus True Passed
3bf2c079dd4392ea31f0bcf09580274eb33ab086 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumMinus False Passed
a865122616f376367a252ce55189b0c1447e307d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumMul True Passed
eb0b88600f17e8de79eca048e8cf889577eee5ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumMul False Passed
e91f535138a1b049b4a4a7089b06873d0d324f63 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumDiv True Passed
702e8c72cce193ccb42bce78d0ce1df7e658bb10 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumDiv False Passed
385089b2beedbaf4449e0d8dba64cc6965f40094 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumMod True Passed
847943a41475cc77f893a96dd57860b72ed2408d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumMod False Passed
9f6497cc47b96d8609240b779d62aca01abc1828 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumPow True Passed
93834a87cc6b11c7228dc66b438feca9df95b51b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow NumPow False Passed
23d224ec45bf779211449d417f3ef7a90654ce05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow Def0 True Passed
951d76478c3def704cb5fe35d7ae42948770adfb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow Def0 False Passed
eb09b89513329cae1d435c1981dc030b74851640 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow LetDef0 True Passed
64a8454abce7e03e25898a2b04d49f3e5db07ad0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow LetDef0 False Passed
d68d28d0af2ca6b61d1faae8ea6fbd537d226d3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow Def1 True Passed
b138e34e4aea13418d46652d3cab506a652390ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow Def1 False Passed
cba0700931ed859b7099800f45b70d53cbdcf12b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow LetDef1 True Passed
1eb169129d0868607aaae419fd1e19374ab29526 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow LetDef1 False Passed
678a69b6c1f73d5d893e115a8e863e3250a08dbc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow Def2 True Passed
4c8eee7c441bc6e8ee4115d8f4c13e90a89ee641 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow Def2 False Passed
9639ff9af9b019a8f962268f32cc8a20e2be5205 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow LetDef2 True Passed
e4ce420e4b15fb5bf6f0520ff882b41cf899553f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow LetDef2 False Passed
2bc3bfdff7ef80db672457df8ce0cabb3a2561a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow Def1Recursive True Passed
798070d5ba426530f701b7fd7b875dcdbfad8132 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow Def1Recursive False Passed
304d79106e038e2a137c743973121265099d3cdf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow LetDef1Recursive True Passed
2e53a5469e574da47e44b22cdbd2f383131c60b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow LetDef1Recursive False Passed
139280b0a45114df203107bbdb825df9373a111e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow Extends True Passed
8869b80e43adfc8a5e5b18b16cdbda40b20897fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow Extends False Passed
76ae65b8684b197c9adbe656a576a2881322ca49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow ExtendsInDifferentFolder True Passed
ebeb6b49b298f29fbb9123315c135c7870373490 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow ExtendsInDifferentFolder False Passed
5c406a296397c1a66aa51b58a8c62780ee4b0d56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow Variable True Passed
fe09146a27e183ac0eae7e3a0b1bebf121f53f41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow Variable False Passed
439723ad3b424b0eeffd57aeff3726b38af61603 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow Constant True Passed
0dbc45558a1d0fc9349cd6d273612f7d84dc5065 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow Constant False Passed
0995685aee57bda91fdff122582c186e5f00c65c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow ConstantRank1 True Passed
371fa31f3353bf04dcfeba113a38d1333f6c0bff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow ConstantRank1 False Passed
44ef1d819a7bb09650e52f2325d447bb7b49460f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow Instance True Passed
056b363986972945b1b3583192172e46c3e8c50d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow Instance False Passed
fd2eb1089f48fefc8559ee184dfc4a800c7c0e4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow InstanceWith True Passed
b40a2bed0cd7d5db87a09f3b0c81d2a3ea9a3ac1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow InstanceWith False Passed
3287f73189ba0b302cd78aa17f5e7afc78836bb3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow InstanceNamed True Passed
e25460025e70e1c26fb82ee31cd1d84ed2d4c8ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow InstanceNamed False Passed
5f105e4bee923b26f7b03b7c2c9c1ff79b3718f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow InstanceNamedWith True Passed
5cf9c973b3f35204d82807940fc3c7b4bb13c366 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow InstanceNamedWith False Passed
bf77c79f0ad7d5bfe9bc70d88e9d39a7787580a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow InstanceInFolder True Passed
0fca1260662cac45b477ddae0246d25a79c83c86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow InstanceInFolder False Passed
a1cf504d7e2635a100f0754fff5a151eed5fe24a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow InstanceWithInFolder True Passed
dc9594b9be0b81f8fecbb3e2a43bab78fbf3c9c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow InstanceWithInFolder False Passed
164743556ab1a46f0709bf6a17b7fca76d503125 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow InstanceNamedInFolder True Passed
f6fc86d7ac5cc5fbb40ad8e281982691095a85c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow InstanceNamedInFolder False Passed
6500da33ac7201324f2a4f5d72b5f6d168d49772 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow InstanceNamedWithInFolder True Passed
5c4b42ecc16769fa07ccb019e6dcf9e7c65b7303 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow InstanceNamedWithInFolder False Passed
718118fb51655344316af3788a73dc3e13aaa291 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow IfCond True Passed
0ce273e2d0fa6f2489868a2cf613aa8b8d3e0581 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow IfCond False Passed
de9d090aa0510893c3ed8686597640b9c57b5af5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow IfThen True Passed
a237bdd3d413dbf9ec56ae0004b1d4f808f212d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow IfThen False Passed
9fbdd23e894017bb7b44df1fa1964262e8d814b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow IfElse True Passed
b11acdf6525482696e6c7a73b6f3394ebfd7ec45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow IfElse False Passed
7c747709cd400d61a2acd8e06970ee9becbe23be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow SeqLen True Passed
d78a3f443ee6a9554f450e912616e6fb909eed4b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow SeqLen False Passed
146e9293c62bb519fbca22b6b29fa450a909f54f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow TlcEval True Passed
7c69b01e0aaf87282c87791a3f424670f0438d68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow TlcEval False Passed
7106fca4261f2966919433bdfa1eab883294e946 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow BagCopiesIn True Passed
1b9cf64e5c9d37a37320c1788c0e6e636fb3cd23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow BagCopiesIn False Passed
f1820fed2bd3a84f0d15183108b06e6a5f69066d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow BagBagCardinality True Passed
85cfcbf3305f5925a2353a4c75aa3c3dacad602d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow BagBagCardinality False Passed
a06f2360ef20288dbb16b83c4d3216a7d2e3dba3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow FiniteSetsCardinality True Passed
9291fe7549a1657239e59d94a9a88f7bc39ec7eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow FiniteSetsCardinality False Passed
042ed00ec3c1fd4e220b29997163ee2149484936 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow SeqHead True Passed
64a27dfaf15799d6efcfecce62e1ae71d361d6e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow SeqHead False Passed