Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
b4d752d1ddab7b0c9d4ae3655c01e8bf59cde85c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe OneLineComment True Passed
f97b52d22472f4148774b550574042dd37d0ae40 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe OneLineComment False Passed
d3d9127771c2f7d91ca26d0a8b847aef0b5cead4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe MultiLineComment True Passed
a846a2ab235a4d5769aeab5415c2428d097571ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe MultiLineComment False Passed
22bd0aeb94b785418bef71a3284d75e625046403 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe Let True Passed
172dd229765905a5a9bb1a00d3f5829bb457b31b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe Let False Passed
ccbe5605b8807d857d6b83c3b15c9dc843e8c17b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe Choose True Passed
b8be9b4d5b8c496225709446ea2e338328feb959 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe Choose False Passed
da1f0f6331a67cfc714d30d3dfd59bcfb9b58a80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe FunApp True Passed
aedf0a0c74e413f6bfdb6885a3970207913b794e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe FunApp False Passed
80995bc0b61f8ce58571e32dd28e35edd2a674fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe Prime True Passed
572a31fefbec49aa71aedab27fe56e215c6cd0cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe Prime False Passed
bdefec003fc813be897328ed33ad5ed0e5b5c89a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumZero True Passed
09b73abce5ac24d8bce7ec1b443ecc23ea71d9cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumZero False Passed
0599d985d5d4e46eb34db3e0b5bd7e1bdb71d643 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumOne True Passed
fecd770403361fc0135448aedf667139e1731edf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumOne False Passed
b1670851755598194e305191441767a7f0455235 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumMaxInt True Passed
2360660c89141e1cf5e96b79488cf0a6ba1eda68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumMaxInt False Passed
a7b68b533b52e5c85e027b1fb68ea0af0bd1855a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumUnaryMinus True Passed
399b8509d125d56adda1ef4c4feee140c191aa0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumUnaryMinus False Passed
8021f7d7cb1aa1cf2a60569bae5fc07dae21e4e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumPlus True Passed
638db2f0fa75c3c661308b667382f62b2f158ca0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumPlus False Passed
9b0e62a0a0f0d24d50430c3b0cc639cb2eea0f42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumMinus True Passed
d1b6c1de0bc28e4632272318a92b9c4521315dfc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumMinus False Passed
bc7118972fa417feb7f5ebc243f0a03d5ae93ddb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumMul True Passed
c5f52fc487eece55e51a2ffc68172c36dd693cbb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumMul False Passed
de3fdaa192d934971ddc6ff426bb5760b9fb34b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumDiv True Passed
057bcc75d44f887540ee9e1092650b94d0b5e148 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumDiv False Passed
8b81befe5fac7f70a9c7c11d295df34f269632e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumMod True Passed
2bcef07fb09be5cfd3e33dac3b46c95ae441d78d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumMod False Passed
4fcd712b93fe3d264805ba5a6deded5b2d1dcb01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumPow True Passed
dcdd7def10b89328fddc3004503326315c682fb0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe NumPow False Passed
e5fc5459efb797a341860cfaeacdf5bde05b9fd8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe Def0 True Passed
52aea7b743a4ae84433f1385f38973fdc60904eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe Def0 False Passed
e155add72d6690c292d24e652bc919c51f5af107 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe LetDef0 True Passed
db72fc52e4a04fb31aa397d2a7238ec9f0084fef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe LetDef0 False Passed
fe285dd63f6e2a788807b49cd97081431ea2c791 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe Def1 True Passed
8f7be13114158b5b71f6cc35f944e40553b4c73e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe Def1 False Passed
535637cb900f5c8ae29551450423219bb71c44b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe LetDef1 True Passed
f1ae974348098b736df760b1a7428078f64d2ff2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe LetDef1 False Passed
7836b0405c386b7c03a2b20c73b520ec2d22cabd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe Def2 True Passed
58001055d483133f0b145725b6d07d6a43a5664c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe Def2 False Passed
cc55200d775e1ab86747da9ef9b558c0e0eb2c0c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe LetDef2 True Passed
5b047e6a7697086daef725f8f253be0e7b64c47d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe LetDef2 False Passed
4183b494d945d0119ef86fae535ea3b616c0baae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe Def1Recursive True Passed
f41cce87b60bba5967610a294ba9a1449c079ca6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe Def1Recursive False Passed
dcec468fceb3318f6375c35a8ce4f14e7a97f843 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe LetDef1Recursive True Passed
55a3c4884ee929f486cc3b4701eaff16ace1063c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe LetDef1Recursive False Passed
e39e25f6d96d8718b1ab07a3eb2fef004841294f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe Extends True Passed
062db3830d6d75478f8dd89c02cfe8f4fd714184 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe Extends False Passed
15ce03180793ee41b7b4d56a9b41533e7ebf8069 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe ExtendsInDifferentFolder True Passed
038ac72a14785ee288c182f257722a12a2f0ee51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe ExtendsInDifferentFolder False Passed
1ffa56f1a9d9b4d251a631f1265a5f149741038d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe Variable True Passed
fc1fec52311eb06a59fbab8dccfe18c608854d71 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe Variable False Passed
524179d5f17ffb56c5150c30de8ad66159b38bb5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe Constant True Passed
ccf5e0e9e0db10e6a9241d4c9c0e5b80b9b60aa5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe Constant False Passed
19b0610301ecd6f8a315bdeb5e44c485deebd7a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe ConstantRank1 True Passed
df6d4974bfb6b04051770df8dc6e7b79e39be422 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe ConstantRank1 False Passed
f10073c01164ca4672000ed08492331ee22e5fbe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe Instance True Passed
c08005c2c751bc9b43b9bf69069d6a8dace617de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe Instance False Passed
80ffaac79fd04d5d6db0d0d276a16a4480009cb1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe InstanceWith True Passed
4e9a228abc6ee58f58da934f343fee88fcb0b8e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe InstanceWith False Passed
06d010c424dc6350c384074a573de5705f890b44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe InstanceNamed True Passed
f3122fa0e4ad914f8041aa723716d0b9e08055cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe InstanceNamed False Passed
8d0123ad5c20cc997a439e04eca426ce8d706561 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe InstanceNamedWith True Passed
f14470791781af59d236fc1b1990fad701cebdbb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe InstanceNamedWith False Passed
f515ae08d29dbb69fddb4b4ac52502230d039c7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe InstanceInFolder True Passed
f8a876d1a53a0ba7c6b3e4539c149bf5c507f1ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe InstanceInFolder False Passed
3b5e6954cdd70102818a2314aa0b80f3daf0329c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe InstanceWithInFolder True Passed
e67dd17a2fb5ce163240c6e72710c5716847700f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe InstanceWithInFolder False Passed
1bf34f6aae9f1f6e4fb9d1ac0bf385cf98626fbd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe InstanceNamedInFolder True Passed
b10648f75850337691153cf3a046f31553ed3745 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe InstanceNamedInFolder False Passed
67e6e717e8a1484ce0779172306dbeabb95574ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe InstanceNamedWithInFolder True Passed
1bfc14ce3302e55894ea881659d387b8bd3aa7cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe InstanceNamedWithInFolder False Passed
2893ecd04065d9d7aecd0b18a452a8e9b1028401 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe IfCond True Passed
b84a12363a39dafa9b60dc8f01dbc6c0b907ddae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe IfCond False Passed
05aba0e5919f0eed531ee919c7ee5cf5c99153dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe IfThen True Passed
bfb0a4cc87ed5e8563ee8a2676b88aec0f30ea83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe IfThen False Passed
4f8c3668b92cfb39824989be19e4859f5e687555 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe IfElse True Passed
991a9e22c4d14264b81e222894fdec82bacc18e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe IfElse False Passed
d58033d92bce1e3b92d27065e2d879a4e7778553 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe SeqLen True Passed
ca0cfa94a084a33f7b9a0cd506e5305e08f6b1ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe SeqLen False Passed
c5cb2cbf323d51f853c5ccc91d91bd0256b839af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe TlcEval True Passed
11f2ff565819e53d1568369b2ba8fce7599873e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe TlcEval False Passed
ba91cd47451f2cd0b66797dcc81526df0e2afa6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe BagCopiesIn True Passed
0f5fbadb7c247299ff7354575e04f39bb44ac2cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe BagCopiesIn False Passed
bbd949031612893780dc38ea6349469eaf69efdf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe BagBagCardinality True Passed
45148eb9499e837fd6c68f0971ddd0cf8469abc4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe BagBagCardinality False Passed
532bfe387fe1cd8329ce740e78174d002c7f396d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe FiniteSetsCardinality True Passed
284faa1b747978db838e8951ab7c63147b186953 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe FiniteSetsCardinality False Passed
5a504f9114b3d4a1b9c9a12ae6fc564737ff2ec2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe SeqHead True Passed
be41fddd12c644dae0b2f3328fdde3db710f375b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe SeqHead False Passed