Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
1743f5fc38719414920eff24178f6d990cb298d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder OneLineComment True Passed
daec3ba2de6185c884eaadff4bf38f1864eb3ff1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder OneLineComment False Passed
404a9bd5f6c03485c9363ad40f1f25dc42770865 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder MultiLineComment True Passed
051901b948cf52cad497eafd4668e32532b4de61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder MultiLineComment False Passed
525f801d3c60a15bb70710eb3901e2eb1e1c36df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BoolTrue True Passed
c9ac6fc91ce4f04f91ff2535adaca6e66f5f4e4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BoolTrue False Passed
e26126942634a25108c78776077616e0f8536d0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BoolFalse True Passed
8aa3a723728df43a24195dce11f63ca58ea02f18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BoolFalse False Passed
4b34722f8fd6c5cc0a06d202141ba45e00cd4c20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BoolSet True Passed
0cca92c6426fa49eb0216ec0d200ed3fdfacfbdc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BoolSet False Passed
c30c2fad9f33d060c4da4c752fd79f8c09dd36ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder And True Passed
c42f5e4135173d0c34cad923993e5dcbf8cbcfca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder And False Passed
1db4386802e4a8a5b4ee8652df0d38c6bd5b87bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder AndMultiLine True Passed
66968176ecd4d1c27342554f0e4855a56e73ba71 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder AndMultiLine False Passed
017311034d21bb95c3fcf65d3c497c3d24d32e5d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Imply True Passed
81ce90243f34a0b11aa1e7a8baeb90159b7dd003 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Imply False Passed
aadfd9325270dbb0b79fac3b5d0d51a28e171b16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Not True Passed
9ea57d24d0eaff2be11fee22259dda36af2fbd24 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Not False Passed
810a6783f36b4e2e974f0cdbf05cc0a3b5a53f61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Or True Passed
948dbb45cebb5118563087e2b10aa2658dca6d5d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Or False Passed
046bfd0b7567d39ce249703a0e4ed68b2ad4bf8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder OrMultiLine True Passed
3aa29ca80e2c395d5d170d32df64211cb2f9b766 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder OrMultiLine False Passed
190457235eb5a9a900875bbf72fc1332bae623f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder AndProp True Passed
dc716ad1a10c26a500cdb2e7a66819c1f5b6fa8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder AndProp False Passed
96a35cc1806d4f58616441342772392271c0d5ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Boxed True Passed
e5df9f9a5f6e9197075cb832ecc328d4750282ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Boxed False Passed
380060928f5402c8621ab86c36538ab3545835c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Eq True Passed
97ea16a727b87019fcc9a83193c8339025cb95d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Eq False Passed
2af2699dcf84cb321cc0a2c3c77e54f152a2dc06 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Ne True Passed
4503c9a62e49d3ed486ad507d7ffb3e2768814bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Ne False Passed
eac8ee2c8291b8b569156619daaf54a782f8d16e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Let True Passed
0cd08115202b80633b194182f4cae36fc79eb753 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Let False Passed
b871baad0d2a6a095d30cca06e45fe9cf5e4e71c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SetEmpty True Passed
b49b8ff2463349d6668f8fd0e5b3569a7393ae16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SetEmpty False Passed
b21b750b9ce1d78e1012a12b18bf113a64fd3727 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Set0 True Passed
ce1042f0334156da9d2429c027ee3ff01f6aa448 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Set0 False Passed
1b9721ac49e06a15968a71e5649406d0525ea94d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Set1 True Passed
d1b6ea9019670cf121bccc0a3676718c1c3235b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Set1 False Passed
2d4118913ba4005d4e09da36f12507318d29a1e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Set2 True Passed
29165b99df82cf19fc6e9d215e28ba939ef5d35d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Set2 False Passed
48fa15c88b6894c6309722530646f5b8dab843bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Fun True Passed
34494b905b12d0329bc4d3982d954df2e6cd4a0b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Fun False Passed
28820998e71b09b35bed29e149987612478946f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder In True Passed
d8fe83e35f615b46e0347707eb8d34b5357f427a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder In False Passed
a7400b93a061b94c79453b132df4df5223181540 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NotIn True Passed
32b351e61b66e05cbd9812d8dec160478f03808b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NotIn False Passed
d8c3ccf59c47cdc1bb3daac3247ad6fe2172ea9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Exists True Passed
fc8e06d16edf255b74405e2c57e6c7da92b2b4d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Exists False Passed
d6c6c17dcad90b1320e9558a4cb181cbbc8a077a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Forall True Passed
2ff55bccd89dde1a7daf20097dc62bc8833efd3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Forall False Passed
8205a8a0a4c47f1c72b0e44f1c433ee8fa21bb3c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Choose True Passed
23cab6a5f6d9e51a4023d84f198c992f1ffd997f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Choose False Passed
083ec920841cc87a2a4a0ed2dbcd6a43c7bd9e2a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Record True Passed
49a7acf922ab7719ed1959d7be52d5e1aee4c909 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Record False Passed
695dd23cee730cc4a5f6fad5572628fb85b87e8e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Tuple True Passed
e906d2d1b2fab5a88f6f4d812d523bddc9c4cf79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Tuple False Passed
4afb50db8ca9568626b056721e552ff852e78060 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder TupleEmpty True Passed
5a189396011b0022dec8210e8e195786362acfa4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder TupleEmpty False Passed
642c7dc70638133681a58cebc1755f2f41937c31 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder FunApp True Passed
4b423b193024bc47635a740d2f7aed6770c9950d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder FunApp False Passed
bcef2806a99789ad8f446bae8bec81eb8aaf6dcf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Prime True Passed
ce546c9f83747b2457e47bc9782bf49431a1aaf0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Prime False Passed
ce524dd1faf0fc4bafb9bcdef5c17f80daa5aa66 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumZero True Passed
50552fe7923bb9c47e264aabe6b2a04394e2957d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumZero False Passed
a9aa13d88a6218ec14e2daa90a72a300c86aca55 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumOne True Passed
1b38661284959077b076ca973f90df86682131bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumOne False Passed
f84f3197acb206815f57bb89b9e9245e834c8681 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumMaxInt True Passed
5ec651e99fe5290d38594ef3be8ca55c4f567239 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumMaxInt False Passed
fc353081f81e27bcb1b515db2a1066251e6f3cb3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumUnaryMinus True Passed
a032bd9bbcf3acb353787c627f5a3d020ea030a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumUnaryMinus False Passed
9be16ef5f05b97fce0a83d0f929b8e2461ae7939 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumPlus True Passed
92b67c7cbd47ab882c0d80328a0cb21be4fdb96c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumPlus False Passed
ea189c07dc41728d4a373a8fd4e3c03de32909cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumMinus True Passed
25cb607cbb6812c40fcaeebb1eb5a5c2cdc32d54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumMinus False Passed
fcd982f9d0cadbf518b4b055037fcfa2d8acdafe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumMul True Passed
4877739be458c32bf53e2b93f843f999f8efcfb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumMul False Passed
92e7d9148309e88767d5b75c3f42bacbabbdaedf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumDiv True Passed
7667aa1c80ae2abd9bae21eb3b0b9b83fb6eb7fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumDiv False Passed
843848edb23cf219d7c16800318c93dd46839e9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumMod True Passed
4c104af57e0b333d9a2cff1805381fb329f96ae2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumMod False Passed
40e2dfd1babe6399af51743bf6289847e29132b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumPow True Passed
92856778cb9b4478e010e6d90158831e67e56783 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumPow False Passed
6a6060266cf796e799029299fa4ed15cba57b4e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumGt True Passed
b48ac5ec45963fe3f8b7da63e4fcceda9d810e5a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumGt False Passed
1cc1c4031c4865e2af1420f9ae78b89075252cae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumGe True Passed
0d2ac5d9f4aaf48624515b604e45d664cc49614a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumGe False Passed
2c56ef97b9877722c69d5e486108a326ebdfe2ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumLt True Passed
98c9a7952d359be35f00b918c3bf0770afd64a72 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumLt False Passed
65f33dbc4e16077ea606a6f52f2d7c9881a9ae53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumLe True Passed
b2ef017c6ada8896b8a03300e10a38e8a3f2febd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumLe False Passed
b79472fc011baaf2867738fb8f2c7b63c89d4b2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder DefFun True Passed
d492f4d5a0eeca6a3e6beacbf8d02ec8a889e561 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder DefFun False Passed
34dc55c2d625066831688bcfad4790fd59d769bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder LetDefFun True Passed
8ecf0f2faba8edf9f7d9cd2e9ff2cab541463f5e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder LetDefFun False Passed
15a348a5b08c14d312d874f4e37a6761ed1ade30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder DefFunRecursive True Passed
9d153f9dc9f91e3317a6f928aefde98f3a1abca8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder DefFunRecursive False Passed
e62a96df21b95819e4b731d1d4bf3937f6ab43d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder LetDefFunRecursive True Passed
ce8d1bbfe88abc0494a8a4e4d32441ef265dd9bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder LetDefFunRecursive False Passed
6bc5118ff1e7f1a16ddce2f0ad74c11de0b25668 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Def0 True Passed
9e5c2edbf6d83efe0512e7dfe5deff8170a1bd9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Def0 False Passed
a1b9a8aa777d96c09dee799481a45671056ec408 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder LetDef0 True Passed
d0f5e1860ae54ea193c251387a5a66367c5b237e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder LetDef0 False Passed
2ba72ad91ef4837af9c047b2bf6df856db9a5eb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Def1 True Passed
08cad4baba5559440f912c1a431850dc5780a280 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Def1 False Passed
0f921156c91855f8a30a5ce8e3506b65871cfc9c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder LetDef1 True Passed
4d0f2903b0cbd6f0a5c9171cad535b8de6e938c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder LetDef1 False Passed
abeed160eda3cee3f876d09d8417ee8580232923 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Def2 True Passed
88a2ca093f0afe427acaceb0610416f2452fdb83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Def2 False Passed
8a268638ebd4ef28c542f8e013736b62bc9a87d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder LetDef2 True Passed
72b8388d101725ab38a84254e8735838187a3395 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder LetDef2 False Passed
b83185edeb452cd2be34f29ae5f3df979a7de571 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Def1Recursive True Passed
606dd36d626ffdb78581f01bf4a58cdef3333606 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Def1Recursive False Passed
cc3ce401c75aa7719c8dc27de84cfe5e47039807 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder LetDef1Recursive True Passed
fb193d40070bf61f8f0c60749f1855125c045701 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder LetDef1Recursive False Passed
ade4ae2b3c083d8e8dc8eb09f72578d2b55d8da7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Extends True Passed
79de32fb9a625d41924ffeb7e23691b90ec1765c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Extends False Passed
7eaefea07d39efc215cd1d4e0194a8823793b6e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder ExtendsInDifferentFolder True Passed
5396e54f9f6c4f9886bcefb6f3847a8fbf55f9a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder ExtendsInDifferentFolder False Passed
0bed15b63573452b863189b8aa029bd094fdf960 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Variable True Passed
7fed100d6961a3e28791af41eb6c0da34753ba53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Variable False Passed
984e62812bc0ad0e6d8fd7656bc5a7cd0d00efab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Constant True Passed
a6c7a01da88a78bc9445011b545e05c8101f491d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Constant False Passed
3c4ded6668fc9b1b31fa09dc77a9d1dc5dc4e739 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder ConstantModelValue True Passed
4b88e19b4be1cde18dc9449f54e23322f8baa181 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder ConstantModelValue False Passed
5fc448876cf1ae72dce3b9af71eeb91ce46d462b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder ConstantRank1 True Passed
e276119ceeb0b3f7977b19885003200dd093e91e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder ConstantRank1 False Passed
1371459b2db8d63e17978d57563e926166036312 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Instance True Passed
5ef5b45bf15960730f671146f8ee4b6e11e5b92f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Instance False Passed
25a4a9d4bc74ef7861db185d10e54a33ef7e5cf9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder InstanceWith True Passed
a2e6dd757a5ebed33d039e687d5d43f613cfe687 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder InstanceWith False Passed
5692c32a3a565f251de9d22e1d1c64159586850f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder InstanceNamed True Passed
922b290ac14184f2ea6cd8368617baa821ad279e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder InstanceNamed False Passed
8d70d00a1fb0e90e768301bd72452ce7d57dcdc8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder InstanceNamedWith True Passed
9cb713e247ffbce842bcacf1ca9ae8dd412894ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder InstanceNamedWith False Passed
1f14ad8b94d964a5e147b80050b830abb2024c25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder InstanceInFolder True Passed
72e7b39ea7d1973add1c1745263efd6a7c93a7b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder InstanceInFolder False Passed
bffe82512fd88be333f473b89cc854e7a50b95ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder InstanceWithInFolder True Passed
2cf44fdf591e40cd83bf54f1690a0381ef938258 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder InstanceWithInFolder False Passed
60cd910e97d1891babf937b32bed1784bc66b455 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder InstanceNamedInFolder True Passed
2601f503cb2003a0722b1b24738ade45f75539c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder InstanceNamedInFolder False Passed
33be8dab1576c1404bf54036f9598c3ad15fdd49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder InstanceNamedWithInFolder True Passed
eec06906d4e3a42398a9989fa424f709871175e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder InstanceNamedWithInFolder False Passed
a15f38706518f306478d80cf7fa5fd3c0a3ad87c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Enabled True Passed
4f892b70b9ca190b6710967298c5574697320afa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Enabled False Passed
d75399672dfbb46d5d80a8bbd0cbb887688726d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Cross2 True Passed
5d45033634cbfc0aafc32bbb1b7b097dc8eae73e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Cross2 False Passed
cc09568460eda037c30cb78fbd412d431da7d170 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Cross3 True Passed
bc0a242d8d36110757b71cb7c7593da419f1c781 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Cross3 False Passed
acc6bd3534c6261836430e7e914a8f7c2650e237 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder FunSet True Passed
8399870934a1993651ce0570dc42876155e3019c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder FunSet False Passed
7c4b567a4f1f5b740c7a01612307a6c9f4909863 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder RecordSet True Passed
544a46f521abc117be232e890cf2dcefcaed8dca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder RecordSet False Passed
30cd137f4260be94ea5c061724e7240391fe304c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SetDiff True Passed
dfc5614b2d290cd250b6b9998917ddaf215d92fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SetDiff False Passed
51476e4655a021ee53eaf15085a9cf839f85ced1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SetUnion True Passed
95490a04314434c61be733b9769a668e95f76893 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SetUnion False Passed
b45ee78508742db89dc067d498b13b93ef4a07f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SetIntersect True Passed
94dfc1e52a505e9f56fbe0a69aac2a11626b8061 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SetIntersect False Passed
750b03dc0ceeda2576b175673dbf44d80c577fec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SubsetEq True Passed
b48c8db2b8b13c52ae0995dcdf84e927885e730e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SubsetEq False Passed
275a82fbbb5cf1050d2a2a97c51c4cd50a849d9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder IfCond True Passed
f5e27b98c3d324c342e23b0c224e3c3aa200819e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder IfCond False Passed
f6af5f79c05939f9938665567276bbe6e35038bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder IfThen True Passed
1bcd575d8ea368432d2b69dd82b14b70f99378d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder IfThen False Passed
c8eddadc22946744de7bfd4471dba0fc266e3e95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder IfElse True Passed
00d13c955ebafe1fb19be1e079fd88362baa1e1b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder IfElse False Passed
3572cd3625eb3e70bbe4b1f05f21dfe0a4c94f8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Subset True Passed
781c8b734eee1eb560333c246f7ca589a8a9ed76 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Subset False Passed
5272c292d3a2cb9d8484383d922f386038125db7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Domain True Passed
533c4cafc5ea13e3a8d3a53822ce38e87e2a069b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Domain False Passed
297055d68bdf8d168fece3c39f860082ffc52689 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Union True Passed
90a2e108d54b85600687f1a116023ef95daafe5b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Union False Passed
f024bf4299aa7787e532ecb5942f0f793fe9ce81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Unchanged True Passed
90226b938713751cad9db6f1f7575714a5b6f859 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Unchanged False Passed
8cad86fd08ebb9b4857d643e8eba11be4668c780 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Equivalence True Passed
8d96f1eaa23fedddf4d92bc654e68eed26f70318 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Equivalence False Passed
4b65cf2b41067061d619f1f1195e55723b9ee9a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder StringEmpty True Passed
c90b30837406b253971d1f24d39f50664618bd18 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder StringEmpty False Passed
381d2160967b5f05cd9d3af93cbab47064dbe1d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder String True Passed
d8692325a0d39338c071588c4d7dc9674512aacf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder String False Passed
52bd584a0fa96cda3eb1f216de8724dc5ef83dd4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SeqLen True Passed
e2430d778a9ab89055c020c65d20287482bd0d68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SeqLen False Passed
ded8d179fc6ca1150780ea2dd900c0d67b8a6bf9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SeqConcat True Passed
ca980a3321d8d134f0be94eda3a722bc6922ec10 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SeqConcat False Passed
63a307a1889a0d61436b4aca46a6b53890cc319f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SeqSelectSeq True Passed
99878626103b7505f42b6cab809b524541f59027 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SeqSelectSeq False Passed
62baf8ef4fa6893a1b85184ee03d340254ca3cb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SeqSubSeq True Passed
11c3b2336db7b282eb21368a81ed9a37fa0bb9c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SeqSubSeq False Passed
006c29a5228fea057d72086b3826febee464e6c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumRange True Passed
77b595f767689fb585415eee1f11f277289a36f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder NumRange False Passed
334aa35570b3314fca9407e2f05c4777bf416ce8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder TlcSingletonFun True Passed
ece268e7afaefe7ef17026b8dfc0ed7817dc8114 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder TlcSingletonFun False Passed
304e0722fffc1439186bbaaff30df2044f497c74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder TlcExtendFun True Passed
09786399afeb06ec29240ae9846925c6626637cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder TlcExtendFun False Passed
ae8a201ae7b5d9caf2119b9bb661790f2d28be87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder TlcPermuteFun True Passed
d1c2f42481cf72abcf43da670f2f303e598d9f7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder TlcPermuteFun False Passed
9dc3c1123d27bbcd9a42791588698608b1853bc6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder TlcSortSeq True Passed
cadf4d66489553aef99754e2a87f1ae1e4290699 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder TlcSortSeq False Passed
e0c5ca290909d3f375430987060faccfeb4bcc29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder TlcEval True Passed
1a47b1e353c865796db9be2700552eefa7b9930d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder TlcEval False Passed
aeca1c58b88f5d0e8dcef50629b2c1d9177812b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagBagToSet True Passed
da8fa89de087bebb30881f38a57ee41d6a705167 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagBagToSet False Passed
b586f1030f7da7db8ca0b97489141b042bcd9bab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagSetToBag True Passed
e427479ec8fad84e26f0df5b89c615a045bf0799 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagSetToBag False Passed
f89eaea6e7b1d2bff507e2b39799de268eefafe0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagBagIn True Passed
16b09062c8f6b01f52b74eacecf8f765054757f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagBagIn False Passed
a50bb5979eba068340e3e49f0a3dcf79353c262f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagEmptyBag True Passed
c64b3450c0419c986684b55b9e512039d16c64e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagEmptyBag False Passed
bf380fbf89f9c195dd35d25d4b1d4eda9b7886c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagAddBag True Passed
b95437590cc663cbcc4d427fded708ea0be1c243 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagAddBag False Passed
fe1fb8c4abd1fd0d6094f3baecab56df102a0b2d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagBagSub True Passed
73b4e59a5473e63463255b9cfb09b727034a08c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagBagSub False Passed
40d58a52c43b1f2bc5e6c653182eedd835a5e6f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagCopiesIn True Passed
8e2a9269bf492e7ff5cc398be27852ed5f9db975 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagCopiesIn False Passed
724b37326fdb3531f8a2287ad88c4567c1676cfd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagSubsetEqBag True Passed
19457db4cae6233c25dfdefe786486a996de4146 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagSubsetEqBag False Passed
1e9eeedba71db53349257a69dcc324d32bbbd6d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagBagUnion True Passed
e7f1806b24f68a8f5d30d22ada31a225ecca2778 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagBagUnion False Passed
21ab390d44299a196afa9cbead2da38fe6a9bb09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagBagCardinality True Passed
704d095218171ce9f3bf667a9e54da9a6f59f096 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagBagCardinality False Passed
e620ac1330966a2ed4665b5a5444c5174362b62d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagBagOfAll True Passed
76a311367218eac8743fc862e4eec6bd37e9d6e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagBagOfAll False Passed
8480d0c576be792c5ea8ec6acaf815a7c986ee23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagSubBag True Passed
4207cd931694f97c2d4d693879dcb2af8825c4b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder BagSubBag False Passed
fa30fbf763b9865f3146a3f9ae21255bd0eb19a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder FiniteSetsIsFiniteSet True Passed
1fa8fed3d310a754addcd897da66fe3b3a73445d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder FiniteSetsIsFiniteSet False Passed
c40e54d393a01ac594f3912a7ee79e3c590a8969 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder FiniteSetsCardinality True Passed
3966f63d572f4820e4d4a256ad45ef2dad7e913f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder FiniteSetsCardinality False Passed
dc6c746277e778d825a7e71eff85113770524c91 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SeqHead True Passed
b429fe1db4942c1bd20452140359009e9d05848f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SeqHead False Passed
93675b7263c2de13fd2e43d4b121724e2991c918 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SeqTail True Passed
73f366ded925bddf69a7364b7c89e85d80daf664 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SeqTail False Passed
d2d442bfa29359372bc0f1b7ca56fd21f703353b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SeqAppend True Passed
87c4e9cb310f21884ab0c169dd0f6bebf3ef088e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SeqAppend False Passed