Index

Tests by case feature Instance; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
78b05fad8f291ab3b4691c2dc5a22a2a1411ebc7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance OneLineComment True Passed
9cd0a75b9b14db4b397516a5b4135f14b47623c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance OneLineComment False Passed
58c0e50f6537b6d002d02aef9647acec8ef2fdd1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance MultiLineComment True Passed
8dfec053522e16fbf261475c87572adb14bd6e87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance MultiLineComment False Passed
527bb2d7d2d3af29af01a59434e3608ba627a5f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BoolTrue True Passed
5c9c332a4621e5c1ba4523ae9abcd242750d414d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BoolTrue False Passed
a8c225a4a097689b05a69f0403168320bf2f6904 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BoolFalse True Passed
37fdc7b32749193b7d09797e02fe9e7c4121c7c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BoolFalse False Passed
c95494967cf15357f0044201b28b0c79ce590e11 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BoolSet True Passed
dd1320650082a66bcfc91d512a4ba7846e96f53c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BoolSet False Passed
f0d2d32631127e24df5c9afc05ca5609f01dfa00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance And True Passed
64c81710facc1528bd6c9db484853e064dcfcd2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance And False Passed
8c53387a3414efc25046c9d3edb70e5a370f5e9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance AndMultiLine True Passed
bdc3ef222d9791e527768495f27b396925987de8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance AndMultiLine False Passed
93380202ffbef67d7ce4d711340b19b91c09076d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Imply True Passed
6fe70b6d46a23cccd7ef21e4abe6cc49180be590 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Imply False Passed
4c655ff1ebab55987dafb9730388b818236d694d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Not True Passed
d0483c17e98c1b748dc096c813087623bc796881 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Not False Passed
d10481069c81f9b45c2a0646a8a3769179a76a9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Or True Passed
73e7a7b9b5e8f38c3724d06703e184bd059efe5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Or False Passed
8bb1db57ec97f9aa01b2739ac47952f5390ae48d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance OrMultiLine True Passed
3c4d6975266ce59bcac574ab6fbe0fc3f8ccbbad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance OrMultiLine False Passed
23e9560e86aa40f7de5fda677f8a18b64f1c904c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance AndProp True Passed
38cc09564b774a9ea6fd52086d009b5dfd9b7775 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance AndProp False Passed
bcea707ee9bcd55d93e39701279d7d51c6d0a5ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Boxed True Passed
ecfc50feabf82c80220d67b6f2ca45de26eb4cb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Boxed False Passed
8f67b0b57a421c73f33bdaed0058166159825fc9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Eq True Passed
0a5ff83aafdc934fc71700daf5234fba6e80c257 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Eq False Passed
b85a01a8ef510578f761595f66e08339ff3758b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Ne True Passed
2585a611eff3ef5ee27e8cb7c00469498176f26d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Ne False Passed
f6b16dac32c576a9e81913bc7eaec131b83a6d31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Let True Passed
4e7c4b5c4dcde2e8e9c6a10554cf5f98f9bb6f23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Let False Passed
f6ea0095aaf1fb683a323a431cd8ba1e158bd12f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SetEmpty True Passed
3d4d1a3bf8d32e062cec4af654b80d0139819f58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SetEmpty False Passed
c385aa9ac54c2a8395aa4d13799e55fe89fcbe35 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Set0 True Passed
dc2ef580abc2390a6e99d4e06b914a4c343ee9f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Set0 False Passed
dbe848a768ecbac2cd8e2f074de1d74436e3ab32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Set1 True Passed
78761ad3b2d35d47b8488fe320a9904a59afbd5c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Set1 False Passed
0efddcafadb3526fedccab03b59638723c50b294 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Set2 True Passed
d93b6794183892a0f67a1829386844044f5ca3b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Set2 False Passed
838ed39512401673b7c927927431e9d59ff23d3b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Fun True Passed
8c517bea88548b0c4d752e121e697862e69fcb76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Fun False Passed
23fb20d30732f263344b6bf50c287fdec7845d1c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance In True Passed
5e48a8f90cd76bd3d4013a24f33eeb8c30b34674 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance In False Passed
44fcc8e8b55384190bf6fca9f5631985ae104e5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NotIn True Passed
8fd01396ac8afc0f116a72b1032697d3c734da15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NotIn False Passed
1eeea8afd674723ac305c6f7f5a315955afcb97d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Exists True Passed
1aff4db00d4dd14d23cd992f37776f388cbbd406 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Exists False Passed
6c84ebf1c55f999e11c9a4089b994272e0b2d9f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Forall True Passed
968e82044c094fa6512439ae545dc3006273dbd7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Forall False Passed
a8737e92239af3e7169e039e4c5c3a758a4c54c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Choose True Passed
80f4c12cc301e78538908bd6e6198e39cfd3b24b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Choose False Passed
87a90885ed557d2a5c98d1072df6b18c96d74209 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Record True Passed
f565058fa068bb91710cacb997f52b634f575705 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Record False Passed
b73087522688c8b5ef7513266bfd91a3a8f64953 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Tuple True Passed
30f256ca006c2155886b0afeff1f0028d2ea19b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Tuple False Passed
6e1f64026bb020dadd721f3a743055a7fcf4acc1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance TupleEmpty True Passed
afdad6655df35f856c7b2d19c0bc8856ba471d40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance TupleEmpty False Passed
dd779d7094a948224d94f03347384d49efb52664 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance FunApp True Passed
ba44fbdd2fe6a5542a2cd88501e026ec000c40d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance FunApp False Passed
b4b84c649bbe82c2d614b7841fb4b9e2abd154b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Prime True Passed
97d5d749eba1d4ba45253621e2221dfbe502775c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Prime False Passed
1303746dfa6242c4f19d57ff1ed037abbe87b038 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumZero True Passed
e03c3995af7f55a034f390d55a340bb0fb603120 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumZero False Passed
c9700ef7db906b2385010112e0d48d8a1741852e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumOne True Passed
8be4bead3a17e453bc10026b690ad62e854e2251 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumOne False Passed
2937e3896ab188390886ce4d4b80e5dc74858155 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumMaxInt True Passed
ca39cdb87d42f58d361d71eab22418b56405d3ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumMaxInt False Passed
d13ebb41bdbd772cfdc0e1354ad5898f7ec94ef2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumUnaryMinus True Passed
88e867549fcbb53d889cc1da6d400a177ef0f8a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumUnaryMinus False Passed
8770f855a299d19651d9038895aa2e3deab995fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumPlus True Passed
65e1645c6ea207de970008682e8677f4961dda71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumPlus False Passed
294258d768981e4f85414664266343f229be5666 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumMinus True Passed
6706d557cc5df620b36c7b4211f9ee5893a2a152 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumMinus False Passed
f92f561b609a2334872b5ac8bbe5377aa6f7b125 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumMul True Passed
03a34d233baddb56004b0f20be328145eac40fc5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumMul False Passed
19ec1db32f9d43c161851bb2f39f76f6c93e9393 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumDiv True Passed
c9ee78f5f3db43defde08d63e9b1be197d2eb605 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumDiv False Passed
d2ed0497215103d71937a65fdf60e6b42acad0d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumMod True Passed
39dbe07cc84b0fb7974fbb9a9d56ebb07d1e9345 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumMod False Passed
1ad8c51cabe54c3e9fd545e35c9fca8c72d3a5a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumPow True Passed
e560db709411c2540a06ef90c3456a32c9d6c0e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumPow False Passed
a51acb5ce075ff1a4819f6369babbb57ab2a37ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumGt True Passed
595c61e1eb51c2aba911e55e6311717a4295b0aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumGt False Passed
ed1aa5a30a67c0e61e03349ee6da8553c97bdefb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumGe True Passed
9e3a32759617db9fa7ba399aa7f666ffe3b485b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumGe False Passed
d11a7259fa2daf3defda75c235f4a1a0fd95ea28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumLt True Passed
ba89d91110b5105ea8d43bf7fa328a69cd7ed99e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumLt False Passed
0e0be0ff4052b224fa0cfc841ec099290aefd6b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumLe True Passed
68f26edb52cf9991ef1637d5219cdea043069d17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumLe False Passed
d4fa9894cc810f6bba92948bc76bb3e8162e0a3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance DefFun True Passed
db9f17f79c7bac2bb81b188a8e500fa86f866497 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance DefFun False Passed
cf3bbec477eb8c880468314671605296f43be03a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance LetDefFun True Passed
138be04902aad07eeb184c84e9ecec6a19e28957 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance LetDefFun False Passed
e0211b8ef3be4c54ce721a28223476d3c1bb8595 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance DefFunRecursive True Passed
64e21cf256b1901d64a6f077d0daffa0d8e9a410 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance DefFunRecursive False Passed
fa1bbf55265636074901895e0d322bf86903eb5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance LetDefFunRecursive True Passed
c46d601c45f6c80385a093f67e3acb08bf9c1479 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance LetDefFunRecursive False Passed
fe4217eb43ea005ef3273f7198b5b5faa1428611 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Def0 True Passed
c60ff3815141cfbfffd6d1438dd77270be85fa4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Def0 False Passed
13af59d88a03a3e2fc978a279685703f91ec095d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance LetDef0 True Passed
54139f841bba27c0a6da4e3676768fc0f86e5589 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance LetDef0 False Passed
a2a2437d8ec6fd5d8ed1ffc36ec3c0c42d4fdc12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Def1 True Passed
bbdea0cb59e290d9c2c941d20d2b39f3dd5d87ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Def1 False Passed
64f610bb2c163b1f795766c95a324a9fd4dd2dcc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance LetDef1 True Passed
3a3d335aa5cdc5df2937bd332bce3b3b55b7b790 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance LetDef1 False Passed
55c993d340e351a8c208dd5891ab088c260b13a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Def2 True Passed
856732588e31c37ff0d2a2e23c5a3b1282c4bbdf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Def2 False Passed
1df2f8b10d4fc2ef6f155f26545d6938a7bf8d21 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance LetDef2 True Passed
5d4874af62f55abfbacd7dfaf067cc2fae3788a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance LetDef2 False Passed
f638396711445dc68961fbe8cf600d94384eb5e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Def1Recursive True Passed
3af1bf43e8d2f416b2932646739094ed3ffa9bab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Def1Recursive False Passed
a1bf21ba736897d0623223e164eaaae52fab2d83 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance LetDef1Recursive True Passed
55a36bfe1cacee71a9cd76d1fe20c679d4dd9af2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance LetDef1Recursive False Passed
5227123c762ffd9a7e5e2800a846dfc08b7d8e77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Extends True Passed
7740ab30f891bc7e03887457f360ce36a0b30874 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Extends False Passed
9c61831ad375d59ceffcd5ced3e8ba13fd676835 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance ExtendsInDifferentFolder True Passed
c04de9e4e60582acf71085f5addbb75ce131f013 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance ExtendsInDifferentFolder False Passed
e832339cdd08946c45a20f5377b824e36cf3b419 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Variable True Passed
6ff9a17552172bc4de7b428f750588196fa51ad4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Variable False Passed
d2eac1394697aa8c5338da8e7f1f418341afe8d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Constant True Passed
632829d60fb2916d651f118755c56326281a45c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Constant False Passed
87332ca5050e5714b25b72211ccf06a215ba57d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance ConstantModelValue True Passed
6e5dda0b320e0c23929bac253ed4a21882040e4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance ConstantModelValue False Passed
4c714fcc00fefa9b97766b5c02e81038bdcc3c0a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance ConstantRank1 True Passed
e1b59265cb5414372d4ca36817ef7b01e3fcb474 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance ConstantRank1 False Passed
318bcd444e76aa324f060a714b5e6a15cc7b3e5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Instance True Passed
bd35502c36670bccbca694498763e113038c33a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Instance False Passed
a1904c7f8a8d055c807565b29055726f621bd249 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance InstanceWith True Passed
92d8abdbaa0cbf07075f06573d23a1bdac34f9f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance InstanceWith False Passed
995fff66b1dfcf21fde7daf615f7ab209bfb2aa3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance InstanceNamed True Passed
73d5260598f6da75471fbc49f0e55a88e68a5b52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance InstanceNamed False Passed
a358a3b6220794c1eeda5d000e04f3e17bd60586 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance InstanceNamedWith True Passed
f1e6ae7753c8469e1b98ab1b2cec456aaf04cc16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance InstanceNamedWith False Passed
635f37eb414b39e9c9156e9f865d3ddc77216f19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance InstanceInFolder True Passed
086aa3d31f9bb514173cbe9181361e3ae08f2181 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance InstanceInFolder False Passed
000bcea1e82b1f954681777829188bd0db427db8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance InstanceWithInFolder True Passed
384871a589586ff230ae10905315e08de951c83c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance InstanceWithInFolder False Passed
fabe3c31f17b1da4f5836e6991e7c70708ec14ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance InstanceNamedInFolder True Passed
ebbea9383266a31e7ed0670ad9112726e6f99e54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance InstanceNamedInFolder False Passed
1222f351a21fb1d0d3616d3431970bb13721c5af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance InstanceNamedWithInFolder True Passed
0a1775d1709020d11c568e2ff2d007321333cb9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance InstanceNamedWithInFolder False Passed
949907226455d58670b62327d1b76ba18d710909 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Enabled True Passed
62f4f17ab3ae074baa1dae755545f992b702f0fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Enabled False Passed
b9191b4507fc7eb4cbf46fa7e7d17643083c6a5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Cross2 True Passed
8fac981f967dce983b607bac6fb5782e4945babf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Cross2 False Passed
5b06b0aad6933ee40381d705c23a1a2fa858316c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Cross3 True Passed
af87b2a22317e8b6d5cd5336bda7a30b7a1c024f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Cross3 False Passed
c7c2bba93e258715687e075293e9c8a65f0bcb2a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance FunSet True Passed
eaf4c8751fe39ff4cdd54b336b4f3a376dee8e00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance FunSet False Passed
aae153ef5930c9ed5c306ba56a83900ce1682576 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance RecordSet True Passed
247904c1a7cb43b6c751bcf6814e0b00d09584b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance RecordSet False Passed
477558b0035d4db70c8a3dc1c40385283175e3cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SetDiff True Passed
1e2deb0bf8b5236783ccaee61f42bea60e3909c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SetDiff False Passed
d5e962780412dfae35dbb533883812ee9a00fabb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SetUnion True Passed
ef13e3f1deb87fc6a497d32e47d47578820241af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SetUnion False Passed
d24f499b40dab74917b287124739a9b32e356839 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SetIntersect True Passed
92e4f8d1ea2a7a5d7172057f2b9f4bf15ce0817a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SetIntersect False Passed
c4d0e476833f24385783e5cb16794f6d3cede0d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SubsetEq True Passed
dea64089c91c309e5107f7606ab0abed25328e31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SubsetEq False Passed
bff4bbb48954e0a30ccc8edefb18651b94ee854d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance IfCond True Passed
c97b29ecb9a874d609e22eb4886a73a1c4af57f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance IfCond False Passed
3cf99c0c7dc3e23596e8daff73927263ae4f83c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance IfThen True Passed
ee885998579def692dcbb5fa219efdc09364d9eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance IfThen False Passed
69edf79a26da7b9c9b8ae77b3cfdce11e8cfba96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance IfElse True Passed
5cfc43b4c59b0505de7d1cfb52cbcd0aa5f0f67f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance IfElse False Passed
cee955bc78b99794a39b783890ce1f8d31318cb4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Subset True Passed
e2d36d2129cf321d2450b86f93fa50df19f75d4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Subset False Passed
13e88604433ce073217800b3d12bdabf9fd40634 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Domain True Passed
8368b918c60898cc70dcd7bc349bed499818f270 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Domain False Passed
7413712d6432574817c229ba11f3d88dba3537aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Union True Passed
4dfd23984eb2dc629a19fb18b841715ced5588a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Union False Passed
d3018680c0800ff700b17f97557568e7be504ea6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Unchanged True Passed
0f2e225c3e660afcfcfcf126a5d5ed282135d09d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Unchanged False Passed
b895a18feb75962048ca10bd480bff91be6c3e30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Equivalence True Passed
ba782c18ff9a7d6dcb772f0cccd9c02f3e60fc26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Equivalence False Passed
6e08a83f2dee5bb69faa849279d28be8f1a2e58e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance StringEmpty True Passed
daf2ed3aed5e8ccd25c9fbe9ea981254a93c7429 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance StringEmpty False Passed
2505e326b57d48794e54b3cf7ca3bee4b588e795 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance String True Passed
f5c4eea13426074a2b807299d02aaa532d014250 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance String False Passed
6583c21f86433d3ea8f393fe4ea2f59220b16519 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SeqLen True Passed
27ff62ebfd7a3127f77c6c06955db454a17ca83d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SeqLen False Passed
d73c58e4596145b2a41402c51a643b4a72741dd6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SeqConcat True Passed
efabdf796d2221243d466562d6391a362be6174a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SeqConcat False Passed
2b1b007b2067eb60fd7f280e1cd8b0156d46a694 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SeqSelectSeq True Passed
057baf077d0e7cb43085b1f024acdfae20eed97f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SeqSelectSeq False Passed
9f77382da7c25cbd189a0ea790f9c3a3cccc4037 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SeqSubSeq True Passed
650e5ba732b83bdfb80508d300bdba2be9ed44cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SeqSubSeq False Passed
f0a6d6c1bf56e74c1567013760568e476a27ceeb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumRange True Passed
4e97ef397443bd7d34c61a247131b0eaa1f71b82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumRange False Passed
666e3979bda3e8dbadde4c078c140948a374b781 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance TlcSingletonFun True Passed
b53c141963434d27b5248996fe6b02d6e474dc80 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance TlcSingletonFun False Passed
2945049134cb4d7cc9ce8013761f944b34df1f5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance TlcExtendFun True Passed
205551cd009f87dc8708931db44481b76d0db74c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance TlcExtendFun False Passed
c7087e5608abdd3aeec58ff8a520c1128ee1869a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance TlcPermuteFun True Passed
fa7e22888cab15be49df69452d2d6e7d0cf6e8c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance TlcPermuteFun False Passed
11cbffb6153fc9ff7af5d2ab3d081611da25326d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance TlcSortSeq True Passed
8983ca08dd7c2340f05ed1fd423af4a320dd3d95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance TlcSortSeq False Passed
8692a85fee52e90fb0432c1623da21b3a90136f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance TlcEval True Passed
dcd3353495019e3abc47a8368cc9603ca8782501 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance TlcEval False Passed
0961c5b2000eb7472501bf80acb3ac76b4e382f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagBagToSet True Passed
d6b71a3817baa06d7d423fe385691acecab6a077 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagBagToSet False Passed
ea47ecfdca5f75f141f6810d11b560b40c697ef4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagSetToBag True Passed
5af323241a5221526a1539de6729cd0ea0c26b28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagSetToBag False Passed
145452a9f0d4d85dbd6b195bac1be31429f2927e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagBagIn True Passed
6fd884295c026ef3dde0fe77a20bae5dcf5e7086 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagBagIn False Passed
a3a17ecd8930a9fb45393d2155177f586ecea0ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagEmptyBag True Passed
6d59de086800fbc6bb61e11fd9143804447a3ce6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagEmptyBag False Passed
2d97a6833c4faecffb9e0844a1c1f09b920b5c55 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagAddBag True Passed
d7064b98c07fe82cda89b247c9016753b35cad9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagAddBag False Passed
dd17dc0177ad0664f1e0c58ead4a5f750be8c9ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagBagSub True Passed
f995a130c87783522dafa0039e60a2b4af679caf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagBagSub False Passed
e0b6c1af8ce9d80eb39b984784a8cf1b08ca8958 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagCopiesIn True Passed
0393e3797ce7a40a978f986eb38fa40612b0cac8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagCopiesIn False Passed
c0c1d15c2184b56b8e788b71216a8ec8ee8f91bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagSubsetEqBag True Passed
1b15c29a3e6cbdfc7df7f3b7d5f1eb7711eb024b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagSubsetEqBag False Passed
740c4e6a69163c049b60c8053a750b019e1e6031 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagBagUnion True Passed
2854d5e542f3d0ac7d9e5e5ab821318037d3b04d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagBagUnion False Passed
dd9550c763994819bbbc23b2791bfc1e29eefd7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagBagCardinality True Passed
29c86afab0df14c2e9ca8505de7f34429eb76532 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagBagCardinality False Passed
7f69aee184fbcc4fe205768ddde054474afc44d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagBagOfAll True Passed
f997b177e1ecb2b23171fccbe6cd563404fb239c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagBagOfAll False Passed
fc49ab667ce3ad1cfdc17068e6e59bff411fb0d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagSubBag True Passed
83647aa5c830d565947352e774bbe8ac8b3db9a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance BagSubBag False Passed
6cb56d5b11366aa9006abc554eb49ff0d0499866 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance FiniteSetsIsFiniteSet True Passed
698e34fcc9f1054d93cf5ce29a4f9f44e3cec65a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance FiniteSetsIsFiniteSet False Passed
53ed0a70ad225a35c99f65721ee88b9c8e32fefd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance FiniteSetsCardinality True Passed
0d2b11bdd5a8fb58a9a1568269c27ea67e82c8c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance FiniteSetsCardinality False Passed
00fab6648201676d0d952bc07ba7588c3701d74a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SeqHead True Passed
a398a17d986254da74e55cf7afb7ee0f53972fbd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SeqHead False Passed
5a626e67ca68116befb7bbf6f21a5c188b54cd2a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SeqTail True Passed
1521da442da703bbe2d54be3437ba14f4f5f2c2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SeqTail False Passed
ae61e89155a1d3c3d36d4d467809d22c15354582 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SeqAppend True Passed
0a195b7795c3a858e46d001cd6999666508e8868 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance SeqAppend False Passed