Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
30447b25698511926ee2b9c628d29e17dc9f5e64 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec OneLineComment True Passed
f92bb71c19bde2eeb669ba81ade70555cf0a1a54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec OneLineComment False Passed
b86d2f17050683abc3720f67fc510ebd2d530b3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec MultiLineComment True Passed
dea431bc99f82b357ca6b4486b0c9e395e7d0b34 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec MultiLineComment False Passed
0fc1b8eb98164f2f5734013c5e72db8b030af029 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BoolTrue True Passed
1a617b9eedf0c4f5bb1fa9e48d9f924129564fb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BoolTrue False Passed
5da656dcaf24cb22c5bac87e1402e122a9858322 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BoolFalse True Passed
1709c5b551fbaaa7a4cd5596e2579ceeb0c64761 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BoolFalse False Passed
1736f7399c9d2fe89d168254a3c879aa011e3f96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BoolSet True Passed
e42b71a837cde785c700a7c37e66dfa229b982df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BoolSet False Passed
7539c0f86cef7b807797c207ee96cb4fdba0d233 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec And True Passed
449e83630f56f2adf6bbf7c8d188961148d53bfc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec And False Passed
7490cccc261a6abf4834c23ac48d3bfd0c38cfdd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec AndMultiLine True Passed
a211873e9260e297d0558cccdfc0ed2e32b2cff4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec AndMultiLine False Passed
9c44980881861895cbc7cb7a533ec5963cda3341 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Imply True Passed
dec24df7a501568d6c8e147a913d6e33fb42db52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Imply False Passed
d847dfb40b77db8469119b3b94424c9603b49ca8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Not True Passed
6b9590afaa5c55e81852776f642ddfd76704db95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Not False Passed
38f76898b96eca59d988e81abc959df8df0f22d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Or True Passed
59ff9a0521701ac185aef2a568418281ee0bbfd4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Or False Passed
7379ba4cff2b565eccea5d46b13a272135218afc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec OrMultiLine True Passed
3edf3153e06a07356243c436e9522f5ba84378e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec OrMultiLine False Passed
01abf160bcd5c18e5609bbcf955d41e489fd190b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Eq True Passed
540341bc7d0f1eaefdfb13446d6c1a40a8919c46 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Eq False Passed
fb243e6fc0f3e40a6d7d444fc1dced08acf7374c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Ne True Passed
75b5cafd112b4c347f8d512e8c821454389411c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Ne False Passed
7c57a22b3424cff864aba6d69d9524354d3fc218 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Let True Passed
9aa05d2027102a904e97f7bed1d058f0b4bf711b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Let False Passed
cad44bb6bc0d667025946677f2f7dc4c762bad02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SetEmpty True Passed
a2ec702c3f02e3f7c4210026133f002026d6b09b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SetEmpty False Passed
3c7de50ab0e9e0de4af8942e1ff58085f350bba6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Set0 True Passed
66f39c362eba684ed62d9120f83b5fb5782712a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Set0 False Passed
55cff87c8f7e55e3b6c358a1b0f4c2cb6f0ec5a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Set1 True Passed
2b83b2296493aab45785b195b4ba86f385279b50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Set1 False Passed
5722c7b0334f16e3ada239a6f255075ca1d6a4ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Set2 True Passed
1b6901d8245243ebf689f45edc8a219aeb7f0e29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Set2 False Passed
7c72ecfdbca33118f35bcca80c6c47792e7b9b05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Fun True Passed
edfe35fe3b69166ddab9c20589cd403f7ca3eb67 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Fun False Passed
bc42000db63c2c4b5e640fde0686e97e55189e66 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec In True Passed
7a2d4b67c36eefd3f4473b28ea9be8c2c7a15fc2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec In False Passed
99affd0679ebbfdbc5cf1009afef6fa85da98439 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NotIn True Passed
e7f21c2f839ad781c7b26b5c55d4b6ea8efbf51c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NotIn False Passed
e9b653cfcbab16dfae5171b7e8de40be9ef0ffb6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Exists True Passed
82c7a88fd31162378401f30dc77b3700cb1d7b04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Exists False Passed
b3c838de096501c1f8aee1c6a2e6a808853a33e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Forall True Passed
245840fbf6140fcc585d7b6e3bdefedc38fc019a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Forall False Passed
7c0f05a5667edc2688196b1e2da0ec87922b5d95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Choose True Passed
a12fdd677a9b283ea48d9b62cadbd30713174436 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Choose False Passed
98b70ab9c50f46405b58651e15d19ffff75ae8c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Record True Passed
e32c4b0828725232b8c7df6613e6fc536f39c569 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Record False Passed
4145fe658452ce4b8d05bd79a57df067a978e8e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Tuple True Passed
8f89a891131eab00b79bd4d0a1d38d96bbfc85df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Tuple False Passed
00d87da70437a582419275db5c6622c415b2ce51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec TupleEmpty True Passed
5b4f9b5ab5c16b9211edbef58a57fc08db711ebd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec TupleEmpty False Passed
4ca30d83eaf3f0ae2d628f0ed9d2839b4582573a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec FunApp True Passed
480b15c789b41493e9c6f763db370990f49dc297 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec FunApp False Passed
50250d0ac24f670e19b7a4db08c3d1623ccd92ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Prime True Passed
3cae31547e72d90ba256b1768cf7afda47637163 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Prime False Passed
df530735f8a1d66d573e7062e14ad03f2349c177 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumZero True Passed
394845a5312ddb77388d6c3435d778a2cb2e9f55 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumZero False Passed
b8d2f3834197516ed670b6ee0f41cc9d1ef1fd97 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumOne True Passed
bdc36bdb7b1d0b31f8fb211092358cfd5877c81c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumOne False Passed
2efea5b142ee2fdc00487acfedf260a8931cc651 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumMaxInt True Passed
383061d3290f594183ddbbba5eac05696859b7a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumMaxInt False Passed
cfd921a57e2c75f1a0731a9c52b05fbdb78d418c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumUnaryMinus True Passed
04d47ea5af529d5867c638b66ab9e6e07282c162 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumUnaryMinus False Passed
b3008b0898932e47b643b407660e8ee1a973b2c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumPlus True Passed
07a412ddfdc071ee1cd94cf169062141937e2ed4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumPlus False Passed
d2a5e8123f2dea2b586394a8f3bfef98a5ce8f5d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumMinus True Passed
773c54a738941338c41a901551596426b38ceda7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumMinus False Passed
ce20064c28df25710c956c31dda931b83616aac1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumMul True Passed
4c75b9ea3a28bc3c56a1514290b040e0e18db611 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumMul False Passed
bef7ebdff4e9871ee3f31857452374ee0f587276 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumDiv True Passed
5fd440bd21e497a2add7c5e074653932f67ec013 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumDiv False Passed
63c4e85f5dcd81f7dd1cc9ec700655fea9150864 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumMod True Passed
466733cea18e125b2857749f38b362d2060d43bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumMod False Passed
3403583157ef02aa0067fe785f5c4cd75cb1b2cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumPow True Passed
fd1d6776083748c92e7e91424601518f63b132d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumPow False Passed
fb886884ba4859c61b1aed53a602adfc4738ccec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumGt True Passed
2635b09d9e489d00456972bb9525cc56cb295269 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumGt False Passed
4e13e0d895650a61ca7552a18f5807f18ecc09bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumGe True Passed
8c19b44aadaacdfaf21e4195bc581ca5824f4c61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumGe False Passed
305402776be62d8238116502caa5392515fb2c00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumLt True Passed
0c147054bdbac5dc865bd9930464ba9208034a42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumLt False Passed
0b24b0ae1a30953ac5c7babe09d3e6522c7f3168 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumLe True Passed
78621be30df59523db035c7e85b8fd7f3e60e582 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumLe False Passed
96488fbeaa20d05e75aae7a7998b1f3aa840eecc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec DefFun True Passed
46ad90a369e47b17faa81a592820c7de295a0ac8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec DefFun False Passed
d8c041608d3e84936cbe3925bb7a339b2463b524 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec LetDefFun True Passed
19071181ec6d0f756cc136fe66a2eacb32e7073f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec LetDefFun False Passed
a664705d83b8ae2c7bcf01cfe15af4c39c64a428 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec DefFunRecursive True Passed
91ab71a60483e634e49a0ae9ded169d3f7cb9d23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec DefFunRecursive False Passed
c8b1831320ffbf7a255a463b1ba45d90fdbc8fec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec LetDefFunRecursive True Passed
218c01af7179012ba870eaf234f82e0266822c2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec LetDefFunRecursive False Passed
e0482cbf7c3a1487de878d0719abc0d33d50c6dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Def0 True Passed
9230af2b97278ebd64252cf8444c696e93965895 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Def0 False Passed
f38ca649eb8fd838bf99043cea92cf37aa987245 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec LetDef0 True Passed
061ea87651bcb48c5d7dca089639bef8fafd738e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec LetDef0 False Passed
2b90c2f91c0319068d4296bdda76a598cca218c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Def1 True Passed
0e5e973c02ac6eefae8554d68c98dd8736b71207 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Def1 False Passed
06a53bd1442bc3f0bcf1afc132930c5cf0535111 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec LetDef1 True Passed
fa9e878911a6f8dbf64d8e01fa7b48eaeebabb0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec LetDef1 False Passed
4c425906b79948b04d4d1fc41ce6d25f36879018 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Def2 True Passed
9ec6c9ffd0a6a429ecb6c32ec8df878e804fddd2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Def2 False Passed
c5c293ba34e8be327deab5e405c6de102f608eb5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec LetDef2 True Passed
439dfd195fd7f46232e370ef2561352e0620006f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec LetDef2 False Passed
e2aeeb25c651b598d487ad5d5582a3fe52f308e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Def1Recursive True Passed
1324fe4eb67e217f6d2151d9fae9b14d663bb90b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Def1Recursive False Passed
086d068389b6a85238bafd5824166d4f57de7000 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec LetDef1Recursive True Passed
772cfd8c60eeac047b7dac28cab1f3eb420d7308 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec LetDef1Recursive False Passed
c22f39113bd2557cd28b5b37de39d5ce25318f8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Extends True Passed
c13b962e44d76591896a958d33ddbbf168d4e292 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Extends False Passed
cc00cba6019413425cb96954ee640d6cea4bf377 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec ExtendsInDifferentFolder True Passed
9849e96db181a79514e9532f4fb5868a140fb7a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec ExtendsInDifferentFolder False Passed
d6e330a00d0b9e77b4632eb489c0d32b421d3d8f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Variable True Passed
d8280522eb40d42b094c8d960f5d212907a943b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Variable False Passed
6bc26d19054a6169a5df7e65dd4b86c1b66c1243 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Constant True Passed
f806d5b22e243fad56817ad6b7d16cfa3666e5f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Constant False Passed
6c7f455b565d24558c7df265e0872f5ed3ec74a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec ConstantRank1 True Passed
8a0932e9f93697bb92a75a194e3fa54bff37efbd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec ConstantRank1 False Passed
afa5aba8853664aa992c08daf5b689a41b1a12ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Instance True Passed
b7ae18938673702bea1f39b9d03f2e0468a72351 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Instance False Passed
91bb39e9cb2d54b26183ec10d87257bcc9498ad8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec InstanceWith True Passed
086bb885f8679a693482329fffa014927fa5f178 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec InstanceWith False Passed
edbc4a642285697e9224017c8a19d0bcfa8efd4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec InstanceNamed True Passed
38ebd7666ad19079f97986e68ed2b9ab057684ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec InstanceNamed False Passed
990d92cf403fdf60870b27289fbdd3c037c86bda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec InstanceNamedWith True Passed
af8dd38d944a2e87fbaa969f9ae32571f6d9f4f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec InstanceNamedWith False Passed
c5e02124d8a580ff664f7845495d810b7036b4e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec InstanceInFolder True Passed
130cb25cbccddde7db18a6148ad3a06f06b0a91f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec InstanceInFolder False Passed
f0277f523d7ab26c885332d7e0fca9c7db7f074e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec InstanceWithInFolder True Passed
29d60ea570357b8b4ea94f2e364b9d993574bb78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec InstanceWithInFolder False Passed
c135cdcac90612d6361968c1da8f55bcfa5926bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec InstanceNamedInFolder True Passed
26635208682ccb5c328ef1bacbb4c096abb14c75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec InstanceNamedInFolder False Passed
9df77af8030e6f9234a2d97eb4b73dacf184d9f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec InstanceNamedWithInFolder True Passed
55365da690e68be091ed4961fe80801e73cbf5c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec InstanceNamedWithInFolder False Passed
1a8bb9c4eac0b51072484f4dee62e2a245df0d3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Enabled True Passed
457a219c8e3cce4097c2f6c347883019faa1ccc2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Enabled False Passed
9e94afd65365df8d3988d7b5c919e298d14d27c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Cross2 True Passed
b743fa41f468854ced773ff574afbd2de46bce18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Cross2 False Passed
2da62a1feb0994c7575d9674df7a643dc3e8c988 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Cross3 True Passed
6f0d9a2110c16f1040514dde5937a6258f915bc7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Cross3 False Passed
7c47ff72b82674f9d033b18b71a9aa71051467c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec FunSet True Passed
d48d0bea0c49faf3ac88d15063680a17dba9fc6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec FunSet False Passed
fef40b8d1026500edb3c091de42605e11badca04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec RecordSet True Passed
4c78c78c27358b96e3788255a1ea61f483f66bc8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec RecordSet False Passed
719e2a224df92341de7421bc2bbdf85db3ad3c51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SetDiff True Passed
e80cfd248543c0b10acf0b24d0d26f3f8fcc7a1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SetDiff False Passed
63a608b8b10365183c8cfcdf8244139b7326b6bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SetUnion True Passed
3f8ffbe1562f3061b5ea8d4d5fd487855403ec84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SetUnion False Passed
70b7758bba74715f84143b1b4693ece0aea201c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SetIntersect True Passed
ac8ded28815e1bb61bdc0e831f0bfcd9ac8d8661 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SetIntersect False Passed
c14c7f7cae53290d2f7ed520ca91012e4b06dd8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SubsetEq True Passed
018aa4a7f3e343ea1d4c1c605d195319f46570e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SubsetEq False Passed
faa60d13a7a022efdb5af33c54b76b9e695332ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec IfCond True Passed
103df865214a6f746f8eb2565c8db8bb0117b4e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec IfCond False Passed
136fdb434aeaaf92ffbeb603634fe99acb765626 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec IfThen True Passed
f519476fead9ebb622ab1e3683f51d5d3b1ff375 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec IfThen False Passed
9733fe265dcb082fdbb92d633d4230ef325f5ba8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec IfElse True Passed
db1d7e70b16286391dec6a5188626a5dd8337caf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec IfElse False Passed
d3738c7eb534785e74a81b4e8a46bb6dada9955a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Subset True Passed
95fc2ccacda4f3850012fd2d045a4a9745f36072 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Subset False Passed
f99bb482319175af7134ead85d84797d447b9dff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Domain True Passed
884ed0f1d3a65faf565db29a10b25c70f9816a6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Domain False Passed
755a2686d3c1a23905b48b61e70a6f2662791d39 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Union True Passed
1f71b48ebf3abff48b92544874cfd3f3c155cac8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Union False Passed
dbfcf371acb842fd3c2378a9732b939568f9406c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Unchanged True Passed
904edd87f012171d8b29bfe7065038bdfca9c661 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Unchanged False Passed
99d2b43bd45c2900e347f950e76a5673cb9c7f0b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Equivalence True Passed
8209666d649fc5c46047744fb3a02abd9df71753 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Equivalence False Passed
805b28d43acfbe90676e79ae79983ccdd1d06de4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec StringEmpty True Passed
da43b3fe3060cebeca9b0acb72f2e08f16d17978 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec StringEmpty False Passed
c25a611e0fd3a494b6080eb6552f1e0df08cdb95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec String True Passed
856fdc2a45695c0ad8c9cb666d7c460a99fa8606 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec String False Passed
d0d7b645a89cf0ad08c1d2a9a0e44e38b38e26ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SeqLen True Passed
965f694d3c322cc6b8a3276545bb7aaaa8a1f569 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SeqLen False Passed
05ab4fea2fb88d6eab4900bb289900e83f316d19 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SeqConcat True Passed
e031093dae655e7f823889a975d847efd95a4b08 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SeqConcat False Passed
3eff6af5c849290f1f576e0d01f54ddab1570df4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SeqSelectSeq True Passed
43865b74f67d21e0da0a232e575d577d0c2b2a5b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SeqSelectSeq False Passed
9aac00b203986bcbee6dc54917544f2d31fc5643 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SeqSubSeq True Passed
5a6df784d36df61ca7cddadc8c3e2d1fc90d72b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SeqSubSeq False Passed
dc5fbef9d7bc158587dcb649f707af79cd3c2138 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumRange True Passed
222e077eb09ba6557e68e812d798c2a8e8c4e378 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec NumRange False Passed
ce81c6b226a00f88a4b18297c42da6b3cd612d9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec TlcSingletonFun True Passed
7945b8276f11f5db0add9e1c403e7cb812b81873 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec TlcSingletonFun False Passed
b1b450693ab54b2da2acc3cd067f078500f2a6a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec TlcExtendFun True Passed
d57a79f6d5e9c1b9aa10e867723972007a6fe06b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec TlcExtendFun False Passed
93a281aaeb5ed55da2eaededbdfdbe36ae9ccae5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec TlcPermuteFun True Passed
b7217a0c37078f78a57760b184beafdb01e59443 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec TlcPermuteFun False Passed
42fc1c78838de1ae7e741434ea9bf02543ac8cb5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec TlcSortSeq True Passed
88960f9e49f18eb0f0d859954d47bff088a3a3b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec TlcSortSeq False Passed
d84d92ee3357696274bce4670cc8dceb51ea0cba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec TlcEval True Passed
1d1fa9267665cab683125613800d9c763c9ba963 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec TlcEval False Passed
af43a7a2389ca486adc168a1f5e2d8262d1df32b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagBagToSet True Passed
3c171fc34da5d7838b34acc1debde46d310180ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagBagToSet False Passed
bc3524c3c1999c54b03f0d55d7625364354222c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagSetToBag True Passed
1ed5de8ec0057f4bec0fc2f93819b7cfee3d668e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagSetToBag False Passed
be16d31e9acba82c30d08a24a176bf48ecb186ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagBagIn True Passed
fc1b653c046baaaf3e2436d3765a9d8c5f26fd84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagBagIn False Passed
a0cf7f8a2dbd23c9b839e1b7132350aceb6b454b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagEmptyBag True Passed
117a1462dcce4f615f874b35a79d88fe7f7fe5a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagEmptyBag False Passed
16c10da6916cdede34329b4a797e9cb055106980 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagAddBag True Passed
2a45c4dd4efa5d88ff4b7de916067b0c03cb1a59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagAddBag False Passed
84d86d9920a177138e8b858982949a005bab5303 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagBagSub True Passed
e2a7ce3e8b8a987d41b124954c4050553c94886b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagBagSub False Passed
41b0e1355d6396e562dbccc3f53fc658ff5c585c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagCopiesIn True Passed
fd3fae65207dd34ee28860dc6beabea9fab12bde TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagCopiesIn False Passed
cd070afb99e3f4c9e21989ab36940b38e1c0ad68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagSubsetEqBag True Passed
8a7a4a465fa6a8118afdc914b3d1a07b5f9f11e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagSubsetEqBag False Passed
958d2bc59a0381b306a8504b096f237085ddc914 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagBagUnion True Passed
2a19a87c9a14fcabada41b02ddfe245fc4ffece4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagBagUnion False Passed
734a2f07f3f416874dad03fe5247bff2f3dbc895 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagBagCardinality True Passed
3881668c572ced0c2b8732fb3db867ea9326733a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagBagCardinality False Passed
0aa519fb0b64a4c2c08a1e9a9550962344f805d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagBagOfAll True Passed
9305df69c332a3c82b98bef81475111f2ad40019 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagBagOfAll False Passed
75d5d6178e9b19ee07ad3d7c8b8d2665d4dc94b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagSubBag True Passed
d098bb160879515ba6c75d360b5d9d1fe864ed81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec BagSubBag False Passed
1aa8bd4c93fc4b5afbb3b4fe617a788baddd6b3a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec FiniteSetsIsFiniteSet True Passed
a1edcb570adaf9fbe96cbab6c45d138c3d565cc6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec FiniteSetsIsFiniteSet False Passed
77e4b658fedb09797ce5caee380c9e9579b241bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec FiniteSetsCardinality True Passed
a8dfc0b252a37c11b03d9879b28ab06e330746a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec FiniteSetsCardinality False Passed
f0165c8a27310a765a5bdcc7c36fb1297cc60ba3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SeqHead True Passed
a6037665ae7ad728ddd318e97df29f6d50772f3a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SeqHead False Passed
356f1232bfa8b66f392ffd97fc9072a3d8da14fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SeqTail True Passed
a4589821b811e8f39f1c2c22eb98d7d39c373245 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SeqTail False Passed
5830ecb0d446142ce33e00f145073fab9b776f3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SeqAppend True Passed
307e2614afa8cdb2bd94bb06cca08fb296f98cd3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SeqAppend False Passed