Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
fb1efd61ea8b04144fe47254183f5e5f13acaeab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv OneLineComment True Passed
8f219f99d92a323558bfd93c5254273f82774dde TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv OneLineComment False Passed
277d8f3e9847840252e447812ec6c35a175f5abc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv MultiLineComment True Passed
4bdbb63f88d0f0758f3c77b326dd2fea049a0525 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv MultiLineComment False Passed
d0776e48e7fbb5aa03fc06994f6947107c64e793 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv Let True Passed
8ba2cf6b82f6ae6844df136fdba3af4524a3df92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv Let False Passed
ae9f3e1ec7aee67721bc26d8d5ba6187aa616702 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv Choose True Passed
0c302597a7daf9708f60cbd522adfdde8cdb5dc1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv Choose False Passed
a1b21ab9b509dbfc247e82c20af5cdf5dd221dd1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv FunApp True Passed
b158d97b0eaa127de0b7abb1438f66676a430cab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv FunApp False Passed
f53bb57ab9ffe752a80e7907cd61f08b0f1458ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv Prime True Passed
7629822708efa1cbf5ffb954b8d1f2200a9767f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv Prime False Passed
9161abcf989735ea6d3e6e358dd0a36cb90f6e8f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumZero True Passed
7daa7461d18547f3c85ad14720790eb88102c1cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumZero False Passed
b6032cd0880dce7fe54e0d20668efd8c9e3ee3d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumOne True Passed
09f3f0fd84078edd7c1fff0f4f7c88ccb3abcd99 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumOne False Passed
c2bc701116553776c9bfbe5e46513e0e6d803d70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumMaxInt True Passed
125e9d181dbb4ce4bf42bce03b99b3760fdc32bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumMaxInt False Passed
42c259c0af2384a1a71dd6e627949b9adfae5457 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumUnaryMinus True Passed
b14b227e0bd4422b4e30a7dfc8601cbfa69a2d93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumUnaryMinus False Passed
7d803d288ecc2b00fb5b414f1f3251aea33eeb47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumPlus True Passed
4d4b650277d3700f5df837b0ba27e8f06fc85e6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumPlus False Passed
e01edeae24881accb44b4a855e07992dc6d31352 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumMinus True Passed
8e320512edded68591e286cb012b97b9352c9da9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumMinus False Passed
0300a7b0fc73c4e9cf9ce21697060cb87c1091fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumMul True Passed
0d23546a0179edc1bbe3368909ad68de0d5711b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumMul False Passed
b0924fadf0c62e1274b66ca18caaf798dc710b50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumDiv True Passed
ecae5092d7fbfc462ca539ebe32f0869cf83b342 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumDiv False Passed
6603c8c8271d1c53c542f189970d2ab5b8de4bd1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumMod True Passed
f525e36e69125041652f7ff3362b85e147e5e871 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumMod False Passed
acba502b3fb71b2950387288347651bfa4a3d12d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumPow True Passed
82e9b82e22cf59dcb2da2c2992b12171aff18bc0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv NumPow False Passed
236e69e0c1184fbcd5e5e9b96943b75787d53cbd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv Def0 True Passed
4609b65b6b70d0944951592c1d4e29055e381eec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv Def0 False Passed
35292051fac2eace4a95f9725e86060bf0a8c42f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv LetDef0 True Passed
86d61331126f8b71aedda15df9bdfb90ce83669f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv LetDef0 False Passed
f09590618e43351c2be9ce48c43331817ae37da2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv Def1 True Passed
13581bcfea8a93a2817de560ede3db1b42a3bcfc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv Def1 False Passed
570aaf75001280447c81141e997baf6b4a34a2e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv LetDef1 True Passed
a2b78ff42b491848fd9eff535357b21de2e8f20c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv LetDef1 False Passed
5cd2a89c9caa33ebeba3349bd65d51e43018e529 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv Def2 True Passed
a046df7d5152e63c7fd6be59756f95fbb7f6ccd2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv Def2 False Passed
2ac557ec8f26fc19ff98ebacf1a61540b130719f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv LetDef2 True Passed
32f7069304f2b9f93874c1fba5af39a11fd90774 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv LetDef2 False Passed
d88198181888e46142cb646d22f3afb7ebcd02a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv Def1Recursive True Passed
a717c51eff8ed8f6fba96a0b275e80c982ca6327 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv Def1Recursive False Passed
389c5bb56fb5ee0c2e9d452cae2c6818e6944abd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv LetDef1Recursive True Passed
f0227f7bc59559709c470b471ce06516dedd936b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv LetDef1Recursive False Passed
808dda453242606ab7e5510cbf7daa3becef2dfb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv Extends True Passed
272eba75a595d7dca521cd2b7fec959b55ed84fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv Extends False Passed
b5120a6111cb2104d7c976d5265e82306ae24be6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv ExtendsInDifferentFolder True Passed
6877926ea09e213f7a15759debceedba03d6d1c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv ExtendsInDifferentFolder False Passed
aab7fe11c9368fc5db5edc1330a9b54e433d5e2a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv Variable True Passed
be6f4c447ee6fa0db1251b9a2839faf7b2d32092 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv Variable False Passed
1fc7afcf871ab7f45e806cbcd09430d50f390107 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv Constant True Passed
f8c49d6e3d078162694ea83e53afc842e2c8e712 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv Constant False Passed
5dca4c499c3ab495037911c2617f99beb55b5d84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv ConstantRank1 True Passed
51825ff58649827f3283e91fb5f16192345ba151 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv ConstantRank1 False Passed
0c1f6b5da3b0ad0370d844856a66b5dadf704d45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv Instance True Passed
fc1c035a260cf868b6c50d756ef230952f0a25ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv Instance False Passed
5d0ccb26054933b7b41144b099a8984a89c122cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv InstanceWith True Passed
1f8df33ecf936de2177b0713890e8ecf0061f970 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv InstanceWith False Passed
038c45560059444a80f493404b64fb11101b9879 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv InstanceNamed True Passed
a31fed77ca6cd7bba1c989c80b960854916507fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv InstanceNamed False Passed
23654dbdbdb83e393caf7ac07402401eea7fab88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv InstanceNamedWith True Passed
1b24bc52e0179f8eb58bc0fab05a7703189258b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv InstanceNamedWith False Passed
1c18f771492ac8ad26f34a9041f804b03bf17cd0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv InstanceInFolder True Passed
b1f2a2c8e7d2937fe9390ed2c93b6026480b1bcf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv InstanceInFolder False Passed
9e11fc67a19f168d50c429697f2f9bcf29f52d1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv InstanceWithInFolder True Passed
5c991b8f34e3f5698909346e595bb0aeb93accfe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv InstanceWithInFolder False Passed
b95c9821afaf7d5a49c5f398551ee053fe07c89c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv InstanceNamedInFolder True Passed
14fe85ddf25fcbcfeb1f9a7758f4cf327776b993 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv InstanceNamedInFolder False Passed
79b12ae8eb42cf685bdc2cd37e66e61b6a78d6df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv InstanceNamedWithInFolder True Passed
a98cc4b821b364a1d097f2bb8bd9f710c0e35a9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv InstanceNamedWithInFolder False Passed
5ead95da2ee0d6046798aa80fa5931aa12977ffc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv IfCond True Passed
cebea375cbb2ae18c7c678ec8300f658f594781a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv IfCond False Passed
d08f8512e1d20ac51715b2143a05b3a2780e8165 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv IfThen True Passed
79b39674c3f5de2d6cac82d32b1497deb64dc02b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv IfThen False Passed
5b1ec7ca2fe903902ea1ac94db323d9bad0f6ca9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv IfElse True Passed
d03677c814f677672ef445c1155bf8f9ab96d08f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv IfElse False Passed
d7f6a16a141eb95a704e4734b9deaa980df970fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv SeqLen True Passed
93753a148cd2f551cbfc71c560661bf88bae8142 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv SeqLen False Passed
161d9eea53b9784a5cbd8eb6a691c61c25b9d302 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv TlcEval True Passed
38fb16d9278152e74327144d70674f535ff19aff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv TlcEval False Passed
db0c8a88701ca9aa27f3326f319a2c546e3a2b82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv BagCopiesIn True Passed
1bf742dceebf1430fc5e42dbe5e5450a6b8a4684 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv BagCopiesIn False Passed
de6f643ea285bea2caee4766686981432adc04c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv BagBagCardinality True Passed
48bfdecd3f3986905ab46152ba9f59512c92ee60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv BagBagCardinality False Passed
a505ffc64828778c76edd5dc96c93b7d6d433c60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv FiniteSetsCardinality True Passed
462abac10f9f2e3753f7cfc09e4131caada04eeb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv FiniteSetsCardinality False Passed
c88a15e2c5314303b0116dd393e5a96b01614711 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv SeqHead True Passed
b371cab73e45c1f4cd530289112c8f6730a52bb3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv SeqHead False Passed