Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
6a6f29e0ba088fbba2978923c95692893fb59cd4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec OneLineComment True Passed
43eb2312df8b0763c28da7240980a0723af37683 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec OneLineComment False Passed
0774de6d3058c94417ab81a9bffdfc0ce2e5c368 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec MultiLineComment True Passed
84791f1f5d5f30a92a9f9132452eaa6bcb2495b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec MultiLineComment False Passed
d7e421d11b843c1e1ada2f690041541e200397fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BoolTrue True Passed
4a44704d2b62727384ed01bbd974d6e75aa6dfcd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BoolTrue False Passed
9deda32aa71769d67e6a5736217941efdb19f17d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BoolFalse True Passed
9d995433100a1f5729bba1957a75a5e107aa1315 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BoolFalse False Passed
b0b8530a78386ffe852832036664faae49b34cd6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BoolSet True Passed
aab22fd565be32dff840f5da1bfa2925d3f1f6a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BoolSet False Passed
fdf77ee795db8379012340e8e90c9b524d24574b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec And True Passed
a28d4c5db38a26d81eeef042cc9211dd4886ad3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec And False Passed
e68303f4ba6bf330246b9e3044f39f028d3a9453 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec AndMultiLine True Passed
5ed10d5a7af9c7bab78a4eaf1617255b804b5062 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec AndMultiLine False Passed
14b5d740eb75e7200a33eedc891eee960190ff73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Imply True Passed
22869f5693c96045e3def784fcd4d333761ef2be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Imply False Passed
9749bc7b6c7e11598e7079896b72b7505b734313 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Not True Passed
3b54047cee2eb6fc39e6b63f6e1f2616c2e37948 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Not False Passed
d4594bfdfc21c9c9463b9799d197ec7303f14683 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Or True Passed
7375512883f38f81ee9f308f10ae792f3e278d30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Or False Passed
191d2a69528d3b4e8634f294db678d86a4ee2115 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec OrMultiLine True Passed
92f36f45aab617e9a117567fb85ffac488a9a8b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec OrMultiLine False Passed
5984641c3dd36bcd0ad5c10f2002330a2337b159 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Eq True Passed
3831e38946ca633f28e12cf10ac96f4bedd84b09 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Eq False Passed
78ef696a7a55c8fbf118cffdbbc719611bfcc140 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Ne True Passed
ac8382e23ba84377658c6a8664a20915115c347a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Ne False Passed
b255cf56b7511fba42a47594283c7215fb84274c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Let True Passed
d916faa2aba9c609004aa2f4ae250c3b50afef3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Let False Passed
4679f3bc4f117771741598a62784f96a22413553 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SetEmpty True Passed
b9bf086cf891c95816c6c69dc0109f59910a87fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SetEmpty False Passed
fbf52832e76ae4c5bc3aa469314a722ea9beff07 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Set0 True Passed
0ac54760e22a89280e30d7ec0ed39ffbf0452522 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Set0 False Passed
115b1d4f65c141069eb2a44e4456edb2d9f31cc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Set1 True Passed
7433eba86ec1ad8109b111de8080ba26c0f4c902 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Set1 False Passed
43f70ac97b3ecc4964347b69c5c4f930a302515d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Set2 True Passed
4a09a3e71b910bf57885ed67025939f4e1d08143 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Set2 False Passed
083b530ea2238e21ac8731fa90c91222a7e5f270 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Fun True Passed
fd05938987cd221c59ef18289f537461150c8412 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Fun False Passed
ddcfd6ed7237e47fbdcbd55ab364ea9b9a39396b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec In True Passed
48d41c1699ea8659dc01b928e900793f3539809b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec In False Passed
31bdf27f9dcecd5f7d29c96498d3d02a5bf754b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NotIn True Passed
6c131c4a3cae03a8375a45cbd67db96ce57d29d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NotIn False Passed
2ad1ac9fec0f347d032414688d28e96393a73d9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Exists True Passed
ec97d0980bb784b9d49407bf4c078f487f25aef0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Exists False Passed
95a09483e4e1e73febdb2c6305a17bf424bd57a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Forall True Passed
04b5f4cf85762010efcc8fd3df3449584764f2be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Forall False Passed
ac4f705c8bd5399eadfe979c6b2e0d95f1916952 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Choose True Passed
49570db75cfdb934792eb538067aef5fccc9c57d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Choose False Passed
9f7ea0c3151fa9bf3712093c4c1e66dca4f718ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Record True Passed
e5d0ebd53b91e11c371c723faa54348c1c77a7f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Record False Passed
8e0006aca39aa3dcb7e32fd6bbc4e3e2b858269d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Tuple True Passed
cd9a54be56d55e36d18ebdf732e1b87c0a661516 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Tuple False Passed
25010e467bfb470c064b2447bf1a9c2249d95199 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec TupleEmpty True Passed
83db30a92daedfdc8810a5cfab50ff20e2a911dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec TupleEmpty False Passed
719408394082d48602693b2e00427bd4cf9ab608 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec FunApp True Passed
7088b7ee329a6ad9df2be135d5c03b768f6f885a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec FunApp False Passed
e16e6c9e6276a245bd3f97dd274497d31d264e6c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Prime True Passed
5ce5c389a0186093a73410b7a2e07e96124668d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Prime False Passed
10f1bfa183a74d2c09dbe70bba19ec5204c1a83a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumZero True Passed
13aa09d41fa0a85233ee990b8978c4d30264413a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumZero False Passed
f3ed5317034c8e98b01e006b10784509517eb828 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumOne True Passed
e07bcb5e8023ed94e8f501a3663b9a5b6b4b6dd9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumOne False Passed
902c0db1064a48e49118fe28ba1900e0592fa51b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumMaxInt True Passed
1ea64664d98af9ba6089031a65a17d7578292014 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumMaxInt False Passed
e52a11f7ee5e48ac82b1fe46a84323534b557418 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumUnaryMinus True Passed
8d0ed6fa8987e378be5003089bbef47c08758026 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumUnaryMinus False Passed
a286e7f1284069370213f0ecf84e5db78f96940a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumPlus True Passed
cfce4639dadb7be2ebdf713a554ce75ca058eb2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumPlus False Passed
5a958c1acbc5dc83ad12ecd5990ebb646d1b5598 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumMinus True Passed
9fc3ab4f9ad853fc9f8fee5a8f0ee0eb1d311110 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumMinus False Passed
b67645df13dea13c9430e709aba9f6437f1b43db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumMul True Passed
ad6448a41c8d8d65f5b0fda7a410503126e5e3ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumMul False Passed
d2e0dd4543f124d83af7b3d7412a088196c8bd7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumDiv True Passed
114d3b9093bafb03912664bac710bdabc2f6c98b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumDiv False Passed
2dba28e2b3bf90321e677f7cef0c56d514814499 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumMod True Passed
1d8d18baa9fb75d5e8a7c4562ee93bc573b797ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumMod False Passed
0d112d911814ccb74f879d268bccb64689717da3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumPow True Passed
dc274f655384fdef5a7df697e7567d6a2ddda449 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumPow False Passed
4e77c500d542cedcc2c0fc725bbdf73f05cc5f5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumGt True Passed
edea0d58c97693569acc807823bfb8d58f45ec98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumGt False Passed
a49764eb86d8238b5df63e891bce6a0d9b1108e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumGe True Passed
6f72d7f7a4391d4e4cf09ad2cc3992c63cd9b85c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumGe False Passed
6db918e38f407708f7069450bfd00a2215a1d293 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumLt True Passed
b01316d33831bc9039f24dfdcf41aa2f773e2a39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumLt False Passed
00e7c6d9eb407cae8a30b4c1d5f0d200b86d22bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumLe True Passed
d9f02eb62f626345c529cb3931e7918148799dd7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumLe False Passed
b4591759a20f891186ab7496dc67aca136c37fa1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec DefFun True Passed
69931297ec6a1b766c31a6a2018cac1eff34ccae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec DefFun False Passed
fb35e43220252353d940e3dd386b776841c0390a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec LetDefFun True Passed
fa3220a940583cabb8580ea8826d566c01d66cd4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec LetDefFun False Passed
8c394db6d1c75bdc2205fae1dfc3ab7d28d11240 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec DefFunRecursive True Passed
4f046dd9f86f9c64026d8892d4feb644be59450e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec DefFunRecursive False Passed
3adab94c5fe8f24c4f933fafadd65807016cd3b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec LetDefFunRecursive True Passed
5af626c5e942b2d380747a67c705ff2ec01dfb8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec LetDefFunRecursive False Passed
900d0e342ef1940580226e9a06bf811f08f07098 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Def0 True Passed
532ed0eb2807d8e7b2e084c1dcd3f9f79328a6f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Def0 False Passed
74c91a1d5455a2d935614c8fd78f6453a1526f0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec LetDef0 True Passed
c3e72693aa03afbf3e20ee54a42e4df731f79118 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec LetDef0 False Passed
4d616893beae9006cab5d1d994def84e76f2eb50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Def1 True Passed
7c9630a58b223b3e52272753ab09077cdcd7e38b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Def1 False Passed
db620191cc16a7f9fe783d328282746a065da364 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec LetDef1 True Passed
402890d12ca9f2adbad09b6bcc0606c40f6f7f75 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec LetDef1 False Passed
d1f7b4013af1ed585599f3fd622b84fdbb504fe4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Def2 True Passed
f787da29c75236d5f2a5e26f29ea73d26ddf35c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Def2 False Passed
a50d421108bbf7f4d7bb33dbcee067978d14a0b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec LetDef2 True Passed
80a53c9058aa6928564c83ed2df61bdba8c6cda7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec LetDef2 False Passed
6f9aab33657fb93e530d2c376a646fc49b50fe55 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Def1Recursive True Passed
c9453f7f97c83505272e86e7f3d94d9a4fc5fedd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Def1Recursive False Passed
74dbeb34aa8b2359414c6c381125680bb1f95a0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec LetDef1Recursive True Passed
575ebf84aaee635bd7b2b4d0a4406de296d5cd62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec LetDef1Recursive False Passed
8c72eb2015dcd5a2cba1098819c18f7fad4c81cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Extends True Passed
65408ae0e66eaebe9450d2fb4e9d9da8126ddb92 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Extends False Passed
dfa6d0960795e50c60077a6333002b4533b705a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec ExtendsInDifferentFolder True Passed
70dab9ac9e2b025c2678218f5b475cb74d482879 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec ExtendsInDifferentFolder False Passed
4c8d45d6e170282ae5f2eea59ad42aa300f0b97a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Variable True Passed
dbec3c19bfedf61faf1802c5f09417a2bd6f7aa7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Variable False Passed
eb9f53813b07d935cdba308ed78534845b78d605 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Constant True Passed
08efb9864f70b24f4637eb03795436d956cae3ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Constant False Passed
9ee34771d1fa3a8f17c50827f3c182b932180a2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec ConstantRank1 True Passed
1493b8b936b7f74bf616ba5f360561b26bedc2c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec ConstantRank1 False Passed
86d4ee245809ac8ba17c128934c9f3e7eedadc78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Instance True Passed
05c7fe4a8d504ee9ee30750ef243e112c806588b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Instance False Passed
9099c693c0b9763a881a66145aa7b17f2dd7a743 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec InstanceWith True Passed
b428f172704f34f25fb1259778576c8ccfc1aee2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec InstanceWith False Passed
5952bf150eb33edc2dba3cdb33df7264e49f4507 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec InstanceNamed True Passed
c97765a1d5b10bad80994aeeceb41e72107ccf05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec InstanceNamed False Passed
0560321a9b23aedfd07ab5ea355e2fceebbaabcb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec InstanceNamedWith True Passed
fae7cbd039af368bdde0d6013ac56bd30b6e4b6c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec InstanceNamedWith False Passed
3f0509268e44690e9c97098d39e3d3c2c9efe7dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec InstanceInFolder True Passed
222ac53c417efaede0dd7298d1be3579cc0716f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec InstanceInFolder False Passed
eab8f2277590ece36648de21a4a76c6ee84521bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec InstanceWithInFolder True Passed
925372e045155415be144bd9b444f282f5b84112 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec InstanceWithInFolder False Passed
e58add721dfb6d194a7f668d9e62ecfe1e724d2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec InstanceNamedInFolder True Passed
c168fd5550f9a8ee886756d23242c670c15a2e3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec InstanceNamedInFolder False Passed
11b2fd7973235133e4e4816d7465a968ba4d702d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec InstanceNamedWithInFolder True Passed
fe765e5500f514fc3501431b49cc6ff08520e660 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec InstanceNamedWithInFolder False Passed
cf4081fef0bcf6c3c29f66260b9160ffd52c94b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Enabled True Passed
47fee547d03cc8ea4674aa96dab5bfd8028da2c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Enabled False Passed
52c785fa48f402eb02895a18033ae50d85c67968 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Cross2 True Passed
44172db3ae1dfce4f7ace94197a702265c7090c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Cross2 False Passed
cd25e9e8c653c23779dc34d9dd51aa91f554f19b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Cross3 True Passed
3da5129d484ddf3eed92c238c53bef2f64fe469a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Cross3 False Passed
8ced61d972aef15da720c389d6f2557490a2e240 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec FunSet True Passed
fc192594405d79fcc8af40022aa3ced1aa9a443a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec FunSet False Passed
56885b6f8b53a528097cc33aa256a6e65d2186e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec RecordSet True Passed
2e8248df8f077f35b97ccb5fc7e12b8c1e073c05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec RecordSet False Passed
fbd72e359293920a6b025503212c4751822666fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SetDiff True Passed
1f8479876bbfc1b41af996839323426c9010f711 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SetDiff False Passed
de5eb80c8d045d07da5eb320855f4ec76bdb3da7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SetUnion True Passed
e205c028353594e994a890dd32a0f51c3b52f4f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SetUnion False Passed
d5fc03fd2942abe9014169fcfb35db145ab45cea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SetIntersect True Passed
e71d6053e077e2fe8ab9ac1e1f7377ba4bf9cc7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SetIntersect False Passed
6b5fccde08591466a54b7b53f937aeadc3cc3087 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SubsetEq True Passed
8da331b8c429d2d4e9326dd56530e1b8f312f849 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SubsetEq False Passed
5f8b84038fe823eb7f58b720c4e5027334006106 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec IfCond True Passed
593b1638ebb9919e21e2cec29f4b847da2c24fbc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec IfCond False Passed
950e27467e10fdaf3fe76b97909993ee00e95273 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec IfThen True Passed
b101b5d84c9af310efbc96bdc090a143b34bde0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec IfThen False Passed
b44d00c858ae7923203a6c83f9d41ad2c3f59f9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec IfElse True Passed
a4c926d001d3823e905b2b08599fd64f1933955d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec IfElse False Passed
2a916fa45ef1b4720c6923c23d6bb30053891d97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Subset True Passed
09fb1f3726700e1605e3b06036137c0da422a93a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Subset False Passed
96dcacf602a99fa6a697ba0f8c579e6474da8773 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Domain True Passed
52cb362279d0f6bee0b70b409f3f12498988d468 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Domain False Passed
a64128c4845382565b522600be54c478665bb1ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Union True Passed
63b85ac809ac75915928e5d595ec855ef238525f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Union False Passed
3a4e9fe5df81c92d615e79f5e0727ad34b7c95c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Unchanged True Passed
2928462be9a5a775a46e5811fa26016cf10bf06c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Unchanged False Passed
614d25132966d8c67daf0d815e96ed527096fd7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Equivalence True Passed
49a2c8b962a098dbb8b36846cf37b04468dc4c3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Equivalence False Passed
6eeb6c554c4c539f2e1afc5b6e9043f6e40dad80 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec StringEmpty True Passed
86f86382c59f2974a1832e9b436a607f318ecc1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec StringEmpty False Passed
82dc41edeb02a7637e44027af30538b782ead2b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec String True Passed
79d0e1bfdf5ee5c5f70c2d6543539ee15bef8e3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec String False Passed
d10d91c51c863e62d6c2a77023429d1e3a57ed63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SeqLen True Passed
3c9cb6e645e97cd928081642901ec6c3dfe71a01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SeqLen False Passed
42ad10c907cdef7fb0caec6dcde39f6c9367cc21 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SeqConcat True Passed
da881d2bab0ccbeeb3c72c6810d864bc2d47a3e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SeqConcat False Passed
9c45e68925dc894b1683d5f6d94c6a110b2649a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SeqSelectSeq True Passed
3d62293cbba4fc98a9aee20acdadc29b914a6e50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SeqSelectSeq False Passed
308eb5ba34c250533a509d94f395c287ed3da868 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SeqSubSeq True Passed
3829c360444a230ac38a5db8ec905d7f7d4301d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SeqSubSeq False Passed
b33e4f7ff8cef9fd2dd0ac02d906c3ebc9579909 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumRange True Passed
512b69ea7954f51d1ab4fdd7d0aca5190f01799a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumRange False Passed
89c8afef08a09d4ff92696b23dbb3285febf7c1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec TlcSingletonFun True Passed
c13b961aac308d26fc22f9c629f7351f4aff1786 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec TlcSingletonFun False Passed
b03ee8c440365b4b62226dce23b56ac2ef5011da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec TlcExtendFun True Passed
b87e5daf17e07d824405dcf55e859ee10c98f2b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec TlcExtendFun False Passed
98d2558ddbda606f98be24cfd80913677a471095 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec TlcPermuteFun True Passed
fa4ebdccf3ced0d48b6538338e58ea244d9cb249 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec TlcPermuteFun False Passed
81f137db075cc4a0e990ba02a7215a279a9289e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec TlcSortSeq True Passed
8c14aac2606878ec2fc6e525ccc3078ae73fa001 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec TlcSortSeq False Passed
ae9ea5b201c4d774dc389a9d3d92797fe1633448 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec TlcEval True Passed
4ffc8e52909d397778361d66d8fd7b74810a30b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec TlcEval False Passed
d3be163e61250eea84390cb3a7261e3e00007e07 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagBagToSet True Passed
710f6b9f345d72347ae7bb27695035202bd2acc7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagBagToSet False Passed
45de8e84f9cc2cdb325384d85e1f87e34afdfbfa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagSetToBag True Passed
a5a7b9a565f7fdf921cced18c2541bba4af8c91c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagSetToBag False Passed
6c1ac248a304a8bc1a5e34836591250183d12dc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagBagIn True Passed
019f679166447156b79796466b6c0d99e2a68d67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagBagIn False Passed
b468e5c35530eaf5efef5c0ae56b99c00ddbe050 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagEmptyBag True Passed
a4bbde5fbaf9baa162fb7e0d91ae54012b12b6c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagEmptyBag False Passed
612dd640c76f9ffc9935b9a93e0965f2ebfb5100 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagAddBag True Passed
e493cd87b2bd45a623cbbd3a06e7486395870efb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagAddBag False Passed
6f83ac4c663457e439d806556e7a624d46629d94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagBagSub True Passed
ec4414b2aa38b560c02bd8e7e2c6b0b753ca1ad3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagBagSub False Passed
74cb1431431b29a0711f03a67161ea039b6a8083 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagCopiesIn True Passed
0fbb202040766f895554059463fbc1ab65b9397f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagCopiesIn False Passed
f6246eb43e49df67d56bb26d180e228e68014a4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagSubsetEqBag True Passed
2133b8c546a09af05c368807c17d899186541adf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagSubsetEqBag False Passed
14c08d6b8cfa3c78b18a095d89c7dd0f6e9f008f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagBagUnion True Passed
48ca2c3f91859f0be7353fd7635abbb0982f4c8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagBagUnion False Passed
9ac66e6f65b1dfc77f8b743e365d67cc5bd5e3b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagBagCardinality True Passed
5d2a4ed02fa14b6b50df0fcec0e4f1dd3857d0a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagBagCardinality False Passed
ecda255f56a678e45c4c5e53c91d229d9390cb58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagBagOfAll True Passed
5d7d70d98927b5763bfafb08d65b0492c2c8baa3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagBagOfAll False Passed
ad479fec41f680224d5474b00a42dfe9df11916f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagSubBag True Passed
2ffcb04c84639298a19e216a2c176e899b567fec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec BagSubBag False Passed
4b27891e42600f55546792016c3f7b76522f5e88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec FiniteSetsIsFiniteSet True Passed
818ffa3c078c24814fdb5341a69609747e6c2375 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec FiniteSetsIsFiniteSet False Passed
7173ba490af5c9f0bb33dfa310eed430dbc3f380 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec FiniteSetsCardinality True Passed
c47977180618673539dcf007043ba650d7cb9bca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec FiniteSetsCardinality False Passed
f8f3c8a1362c2040a1a0be83a7f0262e989b3ee2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SeqHead True Passed
0914e89e075d22cdfb2b7c736530a8c6b8e284ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SeqHead False Passed
c3db1457680e4b611ea61e7caf18b9a079c6d491 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SeqTail True Passed
d1357e47b4290d5ba6c42396ddf931d8b1d9f783 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SeqTail False Passed
28dd06c80135c6addc2310fc273bb87d4d7b528e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SeqAppend True Passed
701cfa40ac154ae5ee7ccbb1a50abcc84c7e5e6f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec SeqAppend False Passed