Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
5574ef592861e527dbfb2af1512a6f6cfa33c1ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 OneLineComment True Passed
8a32cc155fae0650e559831e4aaed003dbd7c528 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 OneLineComment False Passed
1bcc1e2d6f7e61d3681dd9607769a51df83653bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 MultiLineComment True Passed
ae8094a4f5a24878947e5aa515084186be7af2da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 MultiLineComment False Passed
0d77fcc0f9187e1a8cec343476b8486feadf6554 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BoolTrue True Passed
b3f13503e33215a8d2682c894e2a7bedb14ecb99 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BoolTrue False Passed
1d1d46f25f1aafce7d52cccc4695d838bd7f020d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BoolFalse True Passed
4acf92a3551295c25d0f795a9dcaafa3ad74abcf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BoolFalse False Passed
c156fa7b654b647a5a350709d810e0b871dff39f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BoolSet True Passed
7924fcdf7aa7ca73e3b322d1818cc02e2b3e7fa9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BoolSet False Passed
014b8afce2a35e02f204a2203e1f40c954e89c20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 And True Passed
fbef01b7296b98f476b8513061171a48b1da7d23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 And False Passed
3f70a14e99b1ceaafd831ea6e7d49ed8f483b41c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 AndMultiLine True Passed
c85fd06b9a21376c134156d02199fb4aa2c34896 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 AndMultiLine False Passed
d801b47e7005ae77c5c850560df23c4b83963aa8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Imply True Passed
c1cf181f883ac7f698fe6a726624ba134a2da33e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Imply False Passed
72dc72bc90ba751c6bdab1ba1de049f268fd3b3c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Not True Passed
4673f5fd622f1068289655ce8899f08fefff6c6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Not False Passed
4db8b51a1c12ed2cc6fe1a5c76c177c465a27778 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Or True Passed
5dd59748ef26e91837aec0f995a34979e3bb8d12 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Or False Passed
b2a63a10fdc4cf4ecc737fec278e5369f92c96aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 OrMultiLine True Passed
c7c6811f8d136eaf25669c4f958a7e20f856b9ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 OrMultiLine False Passed
934c513036b685a5f6c588edeeb0a7019ffdd11c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 AndProp True Passed
b4be87fa213dd578c9e42089b2633fc242e560e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 AndProp False Passed
cfa7b15785797b20de7ba9ff2b85d1e5260dd3d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Boxed True Passed
d980952381d7d67ce5a9319efad2dc0d84096b06 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Boxed False Passed
37b084e704b7966b66c07dc9e58fc319e74f7ac9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Eq True Passed
dd289acb782c6d4f9f299c5398de4cebe123952d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Eq False Passed
36050081efec7b2ba011ef7854faf64d125610ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Ne True Passed
1bc9b445ebc03db56c7798cebb9f8abe4eaa1ca1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Ne False Passed
de75f274e063f9ffc469d20f2fb3b4b3949396c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Let True Passed
83e9ce1f0b4ca660a232d6119e29151152429208 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Let False Passed
a1114f817b948eefe20cdecbf78582dc0bb481e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SetEmpty True Passed
515f27cece4acc285b7c9d161d95587c7a9d17ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SetEmpty False Passed
299a5ec2be689d464aff20475657669fc3079c2e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Set0 True Passed
fc16e933839f1c3617fcff924188f3017fe1fc85 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Set0 False Passed
341d7f2f7750b9ef574dea27c0e2a81fd122480a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Set1 True Passed
c0b98ef0ebb86357e8d6ffe38971b5e22fc86b37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Set1 False Passed
d0d214ff5f880d1518b76c32ec03aed1738365df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Set2 True Passed
54effc16bab91b5477c0bfcce8c3d8151c766195 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Set2 False Passed
e1506e730cd8320a7ba7778c702a3c2ce2924760 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Fun True Passed
cdbfa2f501d71b1d98ef0349e853708e624ca53d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Fun False Passed
306b18f12bbc9634c2bcd0d6ce8d6c9e50206a85 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 In True Passed
aba246e2925be591a50a2d57d982d115b814097b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 In False Passed
afd35e433c8ab259eec5eb3926564e58c258cfb5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NotIn True Passed
8b96bd12c776693c43027d1d888ccde2c881b090 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NotIn False Passed
9afcb451493d569ed804dff57768bdac89ec34db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Exists True Passed
59e5e5d283f495c0302f8fcbb4f965f8dc7dc111 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Exists False Passed
5c0ead39e1f953c4061d730096df5d573f45f54c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Forall True Passed
bf777a3ebcb247062772ac87d784b63409201978 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Forall False Passed
34c154222b1064a49e2c3f8e3c445766718b02ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Choose True Passed
be756295bec609f2ee2112f3be15a8e1dc783433 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Choose False Passed
cd1b3a3f1e079155794d2e04a68bf863aa656daa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Record True Passed
27abb8755fa1f5d16e64bea38b95b034962cde70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Record False Passed
b7e9342c57ce71e4ced13784e4b09060e0d7bf82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Tuple True Passed
c55b2dee37886d63712a77dccf094e919615468b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Tuple False Passed
72f8411b0458c2ae807606dda571c7ddc7d0f4dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 TupleEmpty True Passed
84970bfd49b1d5d2a670f946f32195a3e862d063 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 TupleEmpty False Passed
031cfe4120d4433bb3823e9025818e20c326dfdd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 FunApp True Passed
a6608c4878d4a7e5972d519a2d17227aecab46fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 FunApp False Passed
57b5f413dbfbd742dd80147363270b8721fb3588 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Prime True Passed
af2f1cac2f222d5ab5bd2e6c860c5b0c4ac99296 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Prime False Passed
5397dbd1b1bf7d39ebce17ffb4820497d10207b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumZero True Passed
e79d106321ea0be0b9852a3ec94570ea22ec6e7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumZero False Passed
fdeeb57e5108555f239fd89646b2284eb271dd19 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumOne True Passed
2a8c7b27a58fef156b6f984bb6b880aaca3e1825 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumOne False Passed
95ce703c1d5a9ea6b59a35ceeae875caa8fab303 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumMaxInt True Passed
25e8d01599bc6104e5ae4cc16407c60ca95f5582 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumMaxInt False Passed
c2326df65c07eac5fbe5275e9eb2eae7200f52ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumUnaryMinus True Passed
a40fbd0987c3df337fb1ae88c2d39dc5a258873f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumUnaryMinus False Passed
a7868007bb9145bd690258f6590a06afddc130a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumPlus True Passed
72016988c52e1da2b48facb00d1c4de713062619 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumPlus False Passed
6bafdaad7d0c954be082f7ec217d86026595b0c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumMinus True Passed
fd09562d6269f5e2824ecd29892acd2020350f3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumMinus False Passed
706f20bc00d717ead8d950d775db766e1bdf630e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumMul True Passed
049ba0e5b00987d5b9bee9cffc49b39b3127b802 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumMul False Passed
2967c23ac8f9c20cd491eb0aff48ffb116f79244 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumDiv True Passed
e868744d29fbd5048246514708ecb6c6cd1268db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumDiv False Passed
05d349764cf2e90e646e3dad36ca786235b143e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumMod True Passed
8118268764f87bed2aa67bd1a702c63975a4f9be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumMod False Passed
a85bdd6fac8bd2b74a77a148296548e45eebd435 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumPow True Passed
ff0e44a2e756d3d9a999b5115e80898a7010626b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumPow False Passed
eb68936f3da8c4bb61f9841672840a46f0d7cf5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumGt True Passed
ac17c3703ae110960c3693fb2e54149214b3ff08 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumGt False Passed
ba6dae77368fba1df8e8d1e57b67d03a6bc6bf24 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumGe True Passed
9b89ee7e1c9558c6d4f65a72a64dbc0fda2ea89a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumGe False Passed
381468afa63f27e7b3cd83a4b5f95a5f717d5d74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumLt True Passed
6d5f35b764684a9ed4334a0bd4239ce6db989631 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumLt False Passed
a364fff06f13c221db6d96ce81daa775e7722304 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumLe True Passed
c82df104dbcd7c20244b689e204159b2b98148f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumLe False Passed
360052d4dc46052c55b2ffb943ffeef43aefbe74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 DefFun True Passed
f4483b17cb3e7f68fd5978dab846a6fc981bca2d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 DefFun False Passed
7dd303ba7dff4843d152cc3546db9d8f0143d1e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 LetDefFun True Passed
25c51ba189c7ad7e177fa08ae591008931b1be2a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 LetDefFun False Passed
0995fd861f502b40ab8766cfaaab4212cdf57120 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 DefFunRecursive True Passed
a10b189cc6665bdbc130237e2b90cdc5fb886be8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 DefFunRecursive False Passed
3b927182c9b4ca5f8fe1f6359074367f4078f9c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 LetDefFunRecursive True Passed
9a7ba135f0b355804a1f4da5b7b6b97d5575b4d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 LetDefFunRecursive False Passed
3fafe427aa7e785f45db1d30bb0730ccdba24e68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Def0 True Passed
5322ba69a07af06278e0a478edb98839e7480175 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Def0 False Passed
c4c9a465b51c78b3107c85d93d715e2cebbc2f13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 LetDef0 True Passed
2b9ded16d386022a4f184be92e6973aae8e1fe52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 LetDef0 False Passed
d1dab3c894daeb468ca02bc8f37af1c863865b98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Def1 True Passed
b7f161eddde2e5b1f3e7358093a1a34807139f4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Def1 False Passed
74356745e240f6d89fe46d773cdcd7378ef39f26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 LetDef1 True Passed
a776a05fab5fe9fab25609125dd0ae1d36c037dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 LetDef1 False Passed
ac318b7cefa5b7b47dcc0a668ed384cf08e21635 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Def2 True Passed
0fc3eaf820ebe1f41399749314243258b3452358 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Def2 False Passed
b95fedc9cc0ba4cfa132f510e3295939299ad031 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 LetDef2 True Passed
ef53cfd65b65c9d3188a572fe6acf546afd74cf9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 LetDef2 False Passed
49cf87975a263f7efe999897d89088e1e5d557c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Def1Recursive True Passed
0de103293218763fc720ab34d33357e5c66bd114 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Def1Recursive False Passed
c6717f7386c8519134dd79d8c1077ad3e82e78c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 LetDef1Recursive True Passed
653aa2fc274a1691175315e6a14539e5834daf9c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 LetDef1Recursive False Passed
402f030c002b351336f3c838003bbce6d04b0d0b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Extends True Passed
c110c19d57c735163a135ed3aec37b029754a3ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Extends False Passed
863b3e49e5142068d070cb2f88dd6620bfdfe3b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 ExtendsInDifferentFolder True Passed
7c6d51ccd06d8e34a5e7bc5dbc005b4e4a6fa0c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 ExtendsInDifferentFolder False Passed
36873030aad1392540a98a2eab5ae339123f5e2a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Variable True Passed
6e604db7645438a0bc38646379c02237ff4d189d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Variable False Passed
f27ddc389010f0e1278b7970feac01cf1a231ca6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Constant True Passed
53791c0f3f4c8a29d625e52e8b332aada8d15d73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Constant False Passed
98666a05a7fc883b63d4307a07bfd0fd9efe8732 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 ConstantModelValue True Passed
1a8fb5a40f7a4c19acccbffc26faf9de2cd1dd37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 ConstantModelValue False Passed
f6ddfc45496ee4d112aac54655907e15fefe65f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 ConstantRank1 True Passed
713508a404c2dee386b08bece48af593b6b2b7f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 ConstantRank1 False Passed
f65cdf7c5077a0c386efbd91cdbad60869d0fd62 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Instance True Passed
74760a3bd43f7b71bcab78f03480507ba49b4409 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Instance False Passed
b35384356a7818b6d63dcf26ec51f653b5511a1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 InstanceWith True Passed
d0be9f20b2f9a353ccdfef92ad602fe4f4205b86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 InstanceWith False Passed
3f8e10fdb461255d655a7fd8edebc2bf5d413e88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 InstanceNamed True Passed
3b954bc7dbcb890bd2e22b40127aa992481c4630 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 InstanceNamed False Passed
4045a1def9e397accc9a5b48883574821bd8c04f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 InstanceNamedWith True Passed
09a6dd4609484c4e7beaf9acc19aabce6fe1d1d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 InstanceNamedWith False Passed
948de7a10d1da26b02ae51a9e4c2ed05e935b9ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 InstanceInFolder True Passed
35b458a59936a00d458790c6deef82c3b0e41946 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 InstanceInFolder False Passed
57438a828f9d606249356d58a31ba1d1ef4c44bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 InstanceWithInFolder True Passed
1e39b4c6684ca525fd1973f57e3babb612477517 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 InstanceWithInFolder False Passed
74382535bd17e149375300dd3202f38e3806d822 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 InstanceNamedInFolder True Passed
f1e066182116455ae9ce9dc15e69f1e627ca3535 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 InstanceNamedInFolder False Passed
29eb1d920684efbd06280d7e7feb4cfee0d5169b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 InstanceNamedWithInFolder True Passed
bfd666735614e399c71650d20549565adc1b5bcc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 InstanceNamedWithInFolder False Passed
71a95f02172c718a7621ec71057dbc10fcf3eb1c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Enabled True Passed
210628d968a917e6e5078aefb3c8d75f6e282a63 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Enabled False Passed
a1998ef2b7ad8bde2a8039ee67edaa33f5326deb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Cross2 True Passed
8742944284ffc28882f602888086988768c9e6c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Cross2 False Passed
fad2041acf58fd312c52cbedce7a26feb690dd35 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Cross3 True Passed
6bd39d72a070f2135cb4fe35036e85de2c722b12 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Cross3 False Passed
adc7c3bc9ef047f43833ad65571e5430c2ce8f8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 FunSet True Passed
8433184d738aff2e8719cb0e5ab95c6396a03d7f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 FunSet False Passed
9bbeadbce9b71fec021627dd6288ff304dcdd763 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 RecordSet True Passed
99d1dd2e9008efb012d7f8c2aa1f79f5b7d44a4a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 RecordSet False Passed
09c20a261cdf0fea25a6457f6d8b45f64f4e8790 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SetDiff True Passed
6b91dbae80fc06924fdfd0a6bd54c5ad5894f4a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SetDiff False Passed
f779de6b8eeafef2839a3a5d64300876d1753006 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SetUnion True Passed
8d8879effa9e90c4ddb35104254e63546695f090 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SetUnion False Passed
869fdf53e60db92b69ce4c611400169ad59f1115 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SetIntersect True Passed
2d5984cd5b762c54c4bddbfe755810518c531b21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SetIntersect False Passed
411a1874fba5d8ee5bdcb76309bcfc6b4b408f44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SubsetEq True Passed
ba9116443a32c70d7faa018da45a0f9ab1877fda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SubsetEq False Passed
40f1f817218d5af8ae8661f77eb5137ee2248b5e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 IfCond True Passed
987c2873a6222d1042ebec613b791a0e6880b6ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 IfCond False Passed
c5ff533daacfe672b000aa81b55ead22a3a4400d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 IfThen True Passed
d7dbe9fa128e777380d95fdb218dd5f7376cdce1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 IfThen False Passed
de3997f1b218728e6c753fb2edf03633c0b59488 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 IfElse True Passed
3e8d8d12ab2d219208ac27149571e6ea197e33ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 IfElse False Passed
32e0ea01441b7d50dd34f13d2e36111d74e51920 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Subset True Passed
7646e51e7dff6a220afdb764fd62252427bbee52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Subset False Passed
c3add0cdb04e506d77f239ee1f70ce3e6d0950ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Domain True Passed
7b24c04a685f88bc0afcbaf4ef2c4d2a5854e7eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Domain False Passed
cf5ea8c58359c5e2b4d3ee942193f311efa85cde TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Union True Passed
e6cb0be194cdba28f301f3cfea8d09a0bf49b8df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Union False Passed
73c9d759028584c17fc78e9a5f6efda335a59a90 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Unchanged True Passed
7f99febd63061e56eaa156e164930827ea0f6de0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Unchanged False Passed
a7b50a1479c79d645ee93ce16c8f7d5f60f6bfb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Equivalence True Passed
cdaca4284713e97b8dc4779e186bbf8aaa33c99e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Equivalence False Passed
a3526b78752d4343f3680fd65b907c62259b40bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 StringEmpty True Passed
bb558cd14987a84e85556daeeae4f97b21f986bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 StringEmpty False Passed
4768feca076c4f96af4c4f3cffdb611ddcdf2692 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 String True Passed
73ba6d74d5110b37f9aa5c39a929910932130ab6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 String False Passed
8cac8d3187814e43a3a5decede741fca4be42685 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SeqLen True Passed
ffa69d229cffbd229a6b8c3f3a6c2ef108cc7188 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SeqLen False Passed
563f3c83caf968c814abadf7caca85e17d157324 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SeqConcat True Passed
2f379350c2b65a08dc1fe89ba4863d80617ce4c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SeqConcat False Passed
18a990c42856e49a3448b84abe08adbd161d729b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SeqSelectSeq True Passed
21f0b96026a0dac5f70f036633c3a50394473072 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SeqSelectSeq False Passed
ef3dcdd2fb2a7aaf6746c25c49a11e76f8b4c360 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SeqSubSeq True Passed
d3c38a389ad9804e54f294cf6ae8f1c0b96a0d69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SeqSubSeq False Passed
257a87ce3f241102dbe2e4b9f9a3aab6a61166d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumRange True Passed
982eb7a9f465b4f05306ab87ed687f5d76eebb13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 NumRange False Passed
a4ab1831fa7033b11237712939c79a935dedb50b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 TlcSingletonFun True Passed
09346f035ff966eac83363eb63cfb04c16638b6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 TlcSingletonFun False Passed
908e686b237a920b85a1002882294c46c784e977 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 TlcExtendFun True Passed
6278fba3de897d14e0fd499288f6a9b22785d208 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 TlcExtendFun False Passed
d813acc0c9c4fa7f6f6e4577a882c30da853fb08 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 TlcPermuteFun True Passed
f877cd06d8930702df6a24e448863635854bd99c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 TlcPermuteFun False Passed
2abbd3ab20ca3fa3e8414034424049508f5a25f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 TlcSortSeq True Passed
0b7e214c319f5d84d1723e7d76903501ac061703 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 TlcSortSeq False Passed
69af889225ce5fabbdb1b1d483b89eaac75a13a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 TlcEval True Passed
70409f0704d27c846b4d808df77190c954a4a71d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 TlcEval False Passed
b4bc5980d03214e895cf68a787d37a5e9134d29c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagBagToSet True Passed
0fe31e81cedc777760dafc7291aae3530f0a653e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagBagToSet False Passed
835593a2d8d9cf78a8840a12e457a36944f23bab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagSetToBag True Passed
7ff3b1cba566280920ec6d103031a262fa5577b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagSetToBag False Passed
f0b3c6b38d5d5289148d8d6e85c206a381cdd606 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagBagIn True Passed
416775da19865bdfde1d7aba86599d4822dbf411 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagBagIn False Passed
2c8e8531862abf8ce107357a2bdcd32825af9d1a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagEmptyBag True Passed
14331d9e0a0db245a85bd8242893983c741c0dec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagEmptyBag False Passed
cad9a2664c8b5001ecf0144812df29b326936c0b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagAddBag True Passed
b8ae7ece728eb2d1900acfabfee71f25587e7b67 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagAddBag False Passed
cfa04480627b9e395a306771c3dbe26d23383d56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagBagSub True Passed
3d3ba66f99386824b1a2dca68d4380da8b08c928 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagBagSub False Passed
e6691f51957b30b723db01b92a6bf36c6223c959 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagCopiesIn True Passed
08b7b20d88865b8ccce8b2cf318b7b87ee9f198b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagCopiesIn False Passed
3b689e21a99d9b7035a6a875623a41544740bd73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagSubsetEqBag True Passed
1376319d0346227c76d326573e1349279596fcc6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagSubsetEqBag False Passed
b8f9ee8500844d820e35220405915b9e0d7dc301 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagBagUnion True Passed
bad41e06e0c494e1cd6fa0c4228341617c80b870 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagBagUnion False Passed
14637c4510c8b7a97ac345eec4b1c4619004f076 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagBagCardinality True Passed
7c44f0f3ab4e2eec29f1000563d101817e6d0a51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagBagCardinality False Passed
59e28b511a54315061fdd45ed61c9118110d9584 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagBagOfAll True Passed
0b4f79b2af187f9e04c93ee714bc2cc9217504f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagBagOfAll False Passed
43db76a76f33a68f923e1d8c3fa1f1c1c74053bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagSubBag True Passed
e047ca152bcf2e0b5e5d785be51074dd461d4f24 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 BagSubBag False Passed
9698c0b063f749a92937abfc9c9812b21fa6c945 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 FiniteSetsIsFiniteSet True Passed
5fa99ad52334e95a8859b4023dcb0fbd40296d27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 FiniteSetsIsFiniteSet False Passed
3f430def26027f8bcdf0eb24b95eb13f3d779fac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 FiniteSetsCardinality True Passed
20864f971413d67ba7fa291635aff4a554cfb68c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 FiniteSetsCardinality False Passed
06a8a8bf2933792dbf216ba389240652062c42d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SeqHead True Passed
b9239b7296ec25e519f584c68a5b7c6b5534763f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SeqHead False Passed
b6ef5f4add99cc75a395b53786954e8d4c8ade8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SeqTail True Passed
6a5687d8bafdebf0a7efc12c86e7c67bc2b0c31e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SeqTail False Passed
17c6fa1b654f6b689de0ac0d137b4935a036e570 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SeqAppend True Passed
2cde6777251506a23d3504479a6e05de086c4124 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SeqAppend False Passed