Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
a454e144f3df785a45d01127427bdb07ca3f043e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt OneLineComment True Passed
c9661fe3935633648bfd904fec2aa7742c2c2261 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt OneLineComment False Passed
851dc6071f1091885fc65e2826e6cbc61cc01d99 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt MultiLineComment True Passed
ab26e95033c20da7d0ae6aed51f30c5cb8128254 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt MultiLineComment False Passed
62677aabd150451a1f1f76f40f9b6d5d6065153c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt Let True Passed
e7c04065b41bc383c26071dcf2604eec27079f59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt Let False Passed
76316c82fe16d233a564ef56188deac3ef84b3ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt Choose True Passed
e5667a5f2801a72a5b7b0b15670fcd2f36a4a8f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt Choose False Passed
7037e32bb5b78bdbd2bb8dc43580c7e1ad435510 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt FunApp True Passed
d8df817fb8769988fb99be0b1ea7d0e45e0d64a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt FunApp False Passed
076dcb0856a759ffe1d6f319798471080d949988 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt Prime True Passed
c146dc22de5005f0e5edc48f918e8d3a40b1d1af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt Prime False Passed
3794760ed72e312aeb83ac25bd068319c72983d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumZero True Passed
da87a9c05cca6031a48c7d622d670ba29f31424a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumZero False Passed
9eb484e68a2ba8200ccf76edfbb108ed75d20234 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumOne True Passed
f4303e8d4d9f4ceada0705bb7ca0e3adefb4fb2e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumOne False Passed
84ffab5d965ec283177a8dcb6d0a730b2f29dfd9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumMaxInt True Passed
be0dc097766c2c51f4f3cea18068e93fcb7947df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumMaxInt False Passed
4b0a9ca4d9c8f8535e2b09d7d345ab943d24499a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumUnaryMinus True Passed
8d0b14d90afca94c124deaa9b8927d8ac431e58d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumUnaryMinus False Passed
6770d795ac2ec936879dd37b0a15c2ff34c0f6ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumPlus True Passed
9906c51f2b28a22cd2c856a3e2cc22b17294d1f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumPlus False Passed
a86e03d558fcb2766950be88e14293ad2f828410 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumMinus True Passed
48d6275daf3cf8b7a329ecafa970930b222eff32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumMinus False Passed
0008c5337400700a11361148270d07ef5169c89c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumMul True Passed
bee0925e46e82a0cb92a4c054c5149bee1ccc61d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumMul False Passed
e5f88564dd6069be1dc872e2fe98473cd7d7a193 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumDiv True Passed
c8fab9c9832360d963f4c1b1f496efd44dac5776 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumDiv False Passed
89a5ba14be6b75417e0a9433270699da7a50df20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumMod True Passed
6ac235297a3e0b95b13a2923103fc7c1f29be4e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumMod False Passed
bb228c8c03ea9be981b17df67002965b5b915e94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumPow True Passed
a957e90e6cd1fbf0a3c00e8eb56b430eded7a127 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt NumPow False Passed
b58589da15f567f8baba1d9ce5997d44d6cc5718 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt Def0 True Passed
2f0b7aee97284b40cabdf5a571ef22ecf1cb888d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt Def0 False Passed
5a5ed7fdd23f805e8006d60467c90a630e5db77c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt LetDef0 True Passed
e61ba2608ebfb5260c05ab7359a7a8f813bee650 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt LetDef0 False Passed
807e504fce9c5eea11657e9727e3b9274c677362 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt Def1 True Passed
82822cfe99838081a14252c23741ea0b1471fc01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt Def1 False Passed
7eb24d9e6903b2d69f2b00ccb86ed9f3f751e1da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt LetDef1 True Passed
4ef43a46a26087483f43bffae06bb18741d33e2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt LetDef1 False Passed
17e0c920424cc181bc4fa7d88e1c2a4be0c7a90e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt Def2 True Passed
286ee4c0cf97c877860add7f4c60b4446b3287c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt Def2 False Passed
1d8fbd4f67d0fc287478808b24c8a82acb84e96e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt LetDef2 True Passed
9380a5873e4cfbe58f337fca4ce8b14a437ff2b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt LetDef2 False Passed
28d9fe0a5ec0b018102223a122efa0dc9e831ce7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt Def1Recursive True Passed
195d56119448ee00ca685f68e0d50a423c83004a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt Def1Recursive False Passed
08cc1c72157c2f772d0d127dfe28775b02f272c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt LetDef1Recursive True Passed
4ac32a5e606cd21eaf07f041a45a07b4b1090977 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt LetDef1Recursive False Passed
4e1b0b3be9d1d6aad964d87ff5b7a04e53776241 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt Extends True Passed
6305537a106059b2749faffcbb73b114595b0ef1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt Extends False Passed
bfb4213525f5e948f54fdc140b365ed3ef004b0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt ExtendsInDifferentFolder True Passed
9a572413b0c2cf7ba80caa4e8ef0962804c3065e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt ExtendsInDifferentFolder False Passed
d958626211ac6c139030a4c935d7865d92089a0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt Variable True Passed
32e0270db2ab3dcd22bfff67de0cf6a6549f0a18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt Variable False Passed
3916f4e8357223b8f86d6f5422e033b6c44fb562 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt Constant True Passed
500f2e3ce338780978b159fb2b3c091898367de7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt Constant False Passed
af5c05bbc54db3db55f96b003de627c675af17a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt ConstantRank1 True Passed
dfd5533e8ad47954fbe50d5ba12d7b5ba19e6643 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt ConstantRank1 False Passed
73a5d3566fac2c02ff1db07fdc47971723926e1b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt Instance True Passed
b989ec1054e30654367f869a4b8d9737566eec1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt Instance False Passed
8d26e17d25b44748420507fe53e2f30b9060df74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt InstanceWith True Passed
39f78f2de3e89a60e732eec0d6d3b88c4ae88bb6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt InstanceWith False Passed
a0f88e8fc9fcd297ef68ea0e17d1c810b95b7b36 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt InstanceNamed True Passed
3437adb04e1eb32e4ee7c1cac44f2f01864771b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt InstanceNamed False Passed
f3d8e180a4089c9448c432ac3324482168930068 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt InstanceNamedWith True Passed
72ce64b03f937512de65dff4f69297cdc01a1fb4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt InstanceNamedWith False Passed
0e5f2360d642a5c5c042215778780a6fb63fb48f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt InstanceInFolder True Passed
92dc5cdace883a5d23a60596895ef7ff985c5ed4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt InstanceInFolder False Passed
ab2279725882c959a5c3211368a33420b85dc53e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt InstanceWithInFolder True Passed
4ae06d5747fda792cd381aa0e72757832aa096a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt InstanceWithInFolder False Passed
3e8fb6a61f52d02d07a31d006e63096f1e1cb816 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt InstanceNamedInFolder True Passed
7c32fdb0d0175f6a94d25bbc00dc6b433c37a5b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt InstanceNamedInFolder False Passed
9a9c5cd95cb27bc33dc75aa90c37cd1e8c52019b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt InstanceNamedWithInFolder True Passed
418d111bae2b0c2dcae3f882415750ee1da25789 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt InstanceNamedWithInFolder False Passed
5249f01efce3dc4fd10e9652c57b68089d2db40d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt IfCond True Passed
93110562a842deb186ef07965df0a6baea34831c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt IfCond False Passed
f5ce27fcb178f1fb4d772fad773f53ae455c2d8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt IfThen True Passed
e87ed691276392559040842eac854fa5a834028c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt IfThen False Passed
48530f52451717233bb076c73d89d7565e994cfc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt IfElse True Passed
d846982d37117593ae092e58a55440048879b230 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt IfElse False Passed
141b72cf6e575b4615e706516f0ee3771a18382e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt SeqLen True Passed
29c94f9cbf550e8b139647fdb5ab81e83d09b2ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt SeqLen False Passed
8e1a35b650d1af679906f992f89d681be2dd9c03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt TlcEval True Passed
99386dafb70ebea90568949dccbc502b68955a0d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt TlcEval False Passed
eacceeb269d72a13949584d0e32ef491b62c79e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt BagCopiesIn True Passed
947cd8ec97eeaca930dec6c1181f82ee39a45a64 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt BagCopiesIn False Passed
a0f9da573da42647e5bb865d4aec2c1fae8bd020 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt BagBagCardinality True Passed
546c6cea567a61fed91b83320f7ba2d18dc02711 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt BagBagCardinality False Passed
2a5b024a52b035ead6aa49785ffddb9229f58dc5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt FiniteSetsCardinality True Passed
3d89d8dba762da7046f9cd4b303df9491be71793 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt FiniteSetsCardinality False Passed
ee0a0abafa661c033b3b623e3797a59bc2b46bf0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt SeqHead True Passed
b98db9037c5d03c49e7e34806499ca1d0aae5bfb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt SeqHead False Passed