Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
e185416093149676372de8f8a8c7fef7e0a2b7db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun OneLineComment True Passed
39156cb15a461db037ac5c7ff17b2b22f252ac64 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun OneLineComment False Passed
2463f666f65c31986ff34aabea469f86a4548d56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun MultiLineComment True Passed
237a756e6bf5a69c0b0fec7d7685e6d49d844d98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun MultiLineComment False Passed
350fd2ab851b7e502a907dcef4c5a493141dbac7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BoolTrue True Passed
4e2f2dea77a8e1dcc54d48c5418f44df043e13b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BoolTrue False Passed
aa47e46c97a74336131de7ddff3de1a5bb9cb487 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BoolFalse True Passed
db8e60b590980f1d820741f1a5a978f3ecb01883 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BoolFalse False Passed
b577276458ddfec25111919edde8dccb0cdff0a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BoolSet True Passed
0f1257383cc75b02482469c59f83cde781def962 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BoolSet False Passed
925e87d91986b8dc1519392b6ab236ee43bceafb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun And True Passed
ddd813e70ce07fb720d3a41cfd81b0b61d5fac45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun And False Passed
b7f1a91e657b2df387dc5acc50a59b294ec89d90 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun AndMultiLine True Passed
7d4ead930403b3bce291901521fe3dcbb690ce45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun AndMultiLine False Passed
647859469f7aa2f10d99a2ab220f07920207c8bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Imply True Passed
44fc8c37eb7b61b8acdac98746d91ccb7db25738 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Imply False Passed
d4c136701bae40ea5234acbb522dbcc781378235 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Not True Passed
67dbf6eb5b60af4c66ddedbfdea38ac8112e6e5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Not False Passed
6e44a44409d0330f0377ec943504ab1aa47918c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Or True Passed
6f9971264ec7bd44ced31569ec41494dd3970474 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Or False Passed
a131e5db92637cfa569c4f4b10d5f1ca0de1634b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun OrMultiLine True Passed
7d721ef0017d478f94d41d225530b2b61d5542d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun OrMultiLine False Passed
a524c360668b41132ffc5e68f516ee4ddba97c0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Eq True Passed
4d93922745eb1d47480faee0fad887e2eda21938 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Eq False Passed
eea87884cc3b16b983dfa39439478ecd90e70a04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Ne True Passed
f7f0a6ca6de7459dbe2edce8c5f7595d61663201 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Ne False Passed
fe0ebdf437567276b7c97859af38ad7b62b88fce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Let True Passed
967319e312d97fde099498be9f4778afaf584c4a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Let False Passed
b30d78dbe1d12442a38907e7c4ecd4d1c5fd7196 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SetEmpty True Passed
c259b44513bd492ff92fd3475e6d7e0dd19b6a24 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SetEmpty False Passed
3b2236b57334594b66a5bdb8b0cb52e34db8c24d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Set0 True Passed
1dee6045a85eaa2cd88946c44765740b474c1073 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Set0 False Passed
08a19458ee57d0e42c656d3eb27d7f71f2a92483 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Set1 True Passed
e7a20aced321f31dd1f61298d2f5fc9dfc059106 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Set1 False Passed
f555d93d70ecc9a2c68fc674ef22be841e64c69d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Set2 True Passed
3c3044f09c0d0f4d5e9c6db9e51af9d0d85fd45a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Set2 False Passed
bda96a4f7a45239db798b7d7171b9f3cb2607104 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Fun True Passed
0545db4e82543268c9b35d8c65f991a43139f76d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Fun False Passed
5433376ec28d3a2f935b04621fb6f72c742e5835 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun In True Passed
ee2b09a2bf5e4d4adb2304ae567458fb20419dec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun In False Passed
5ce167929d386dd4d6962e915e47de4de3b05ead TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NotIn True Passed
005355ad3a871e5e1b3a7f57a4d40d816ccdbf06 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NotIn False Passed
af0818ab6c2f727c129eee27ce41813c5a65802c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Exists True Passed
847d0ea16c69a72108ef0ced0bb2c42f9660ef34 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Exists False Passed
f8948ebf394e9cf0616f1d93b2a3425621aef876 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Forall True Passed
2e0341dd87198c6d2f0db107c19d9bcdc9c58b61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Forall False Passed
b215d7231e8e95a90d32d59ec681b5c5604e96c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Choose True Passed
6bfa38a7aff7485157154f15008fe929e4d171ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Choose False Passed
93ede19947ff11c36f08d347ceb2dc5fd9b38d97 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Record True Passed
348fe260f04e289a043d29042b4795e7d3e69279 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Record False Passed
3382d7ad3a2568846f540601089292d26311dbf6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Tuple True Passed
f075e4e592da0b70b68a8b8739a15769114e31c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Tuple False Passed
e3ff7b9197a0312e001f6d88f2a831812f1e1553 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun TupleEmpty True Passed
a2c7932e2e513eed2911d66d4207e594fa8ea49b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun TupleEmpty False Passed
b3c1464dcf936910b0208b930c2c49d63fb5127e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun FunApp True Passed
dc15fbcd8e360b60dd3ca4da03e1090d9e1b7eea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun FunApp False Passed
1c6c919806411aaefb86f630cdd6fcccab6fb060 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Prime True Passed
7c31a73206583eea2b420c41629189aeb1c7f770 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Prime False Passed
61cbb941c80f2331dd65d82b597f0c5fcc66fd77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumZero True Passed
a303037c76f3c59f913c06f2c20c6e561dec0eb1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumZero False Passed
4acaddbea783adc620152ec3152d6db954aa9cd4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumOne True Passed
0beea65b2555ed43375685c5e8022a5fd5084327 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumOne False Passed
0b3d43eb6bcff02eca9b83e43ff0ace38ce6e23e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumMaxInt True Passed
15c84b50a970dad449c786cc81dd40ab787a0e14 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumMaxInt False Passed
b997564d014c9497b30f6d66be74649a0f1e14f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumUnaryMinus True Passed
dc04f012d4df1926451ae34557eedb34f7011760 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumUnaryMinus False Passed
59e709b4b96f41f9b4b6cca5d3bca8801feadb26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumPlus True Passed
9d02e4fed068d09155d8786bcf55d76afbe58e78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumPlus False Passed
d2030263fe107e79ee1a220ba8580b90c636ccda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumMinus True Passed
38e0b51d5c6ed9f37995ca7a3f6c413643496cb1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumMinus False Passed
0b65e8428bc6337f080d96d07e772ae1e6380910 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumMul True Passed
1e6815439fb479cc08fd0190b84b35aec218e2a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumMul False Passed
0f55b4a558a1cb831cefab5b5699366041ea1357 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumDiv True Passed
50defc761c12ad1b7206cd66cb4471bdb9d7821a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumDiv False Passed
9c430b9b6af8fb28694604fb21f621567d52c2c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumMod True Passed
92781dc64fe2d0ec5f94d5e689c1c085072f3ffd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumMod False Passed
acb26be47834a8428d4e613019a387a651fd1eeb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumPow True Passed
d6231a024459b9d7d710380f9681b06b486dd01b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumPow False Passed
c8da25e9507dd119a525f8eb7ee0e86abfc3c103 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumGt True Passed
f615081d6b62fe87e4bc8d69d236d47ca9dfd65b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumGt False Passed
a2385cdeab49bb3c4d15b9356e96af54d39688f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumGe True Passed
4e0c582fc23cde122e14a7850f38dc86a844533d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumGe False Passed
3c1071864927242e195deccc7ea68b9d3d57ed7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumLt True Passed
963a9b3320d3045f3ed2a2c89ad83b8d20b3c616 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumLt False Passed
44ee733e9f8a148adf570b3023371ff223d30eae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumLe True Passed
e771c01af9ee0fae611298748a7863894c8889f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumLe False Passed
dd4e269bdcf31cd7aa30ebdba27a7f9aef85b228 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun DefFun True Passed
566177b32abf13def9c94a9f9c67b462c5948958 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun DefFun False Passed
37a6d38cd67cebbe28bda768e42e24814072b1cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun LetDefFun True Passed
e4c252646d0bdb9f88446ff3509c7487d05d2977 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun LetDefFun False Passed
20bf021cd99731202bbd8e0d34d41d8ee2a7a901 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun DefFunRecursive True Passed
26ae59dce1fa66b0415ece563ed0cf608dd63eb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun DefFunRecursive False Passed
71efb5493a845a6280dfe33439d6ee3adc22f9c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun LetDefFunRecursive True Passed
f4a93aaf2195ebcac0e8cf7687fb9f40d1aaf002 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun LetDefFunRecursive False Passed
49e8858849390f1aedab1f8ad8596fff4eef4aed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Def0 True Passed
300898e640de0c4b3c34bfb4bc9ce5267b13968a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Def0 False Passed
f9f66386e415e97c6ab6c19a4204c08046185448 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun LetDef0 True Passed
94919632e2af792e9b4790079d2bd48f93a5aa4a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun LetDef0 False Passed
4dda7598ef194e2dde6e712c9e6fe66392b3b85b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Def1 True Passed
a013263a7876cac707f0b7b9cfd4b850b66cafbd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Def1 False Passed
a56dc7a3ba2e2ee17314ed81442c6945fe60a073 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun LetDef1 True Passed
7e8149c9d281c820229939ebe6196c1dda7e11e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun LetDef1 False Passed
5edaf463dc44b1fc60236487465ba404acc8fd05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Def2 True Passed
e1f520995e3f35f11d64b742176d350703f95914 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Def2 False Passed
713f434847e9d0afacde2662401a018a9150ff87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun LetDef2 True Passed
203c846e28cef7b57d3ae4e6d75e9f2f200a2c4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun LetDef2 False Passed
6d876cb9b4f4f4a90e19023a0bfdee66c1d26c71 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Def1Recursive True Passed
082d2254a34121116700937d96c6cc29743dac74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Def1Recursive False Passed
2e99ef0e56ac4766b4e6fe5c372442d81b92a984 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun LetDef1Recursive True Passed
0ab7025a1382080704d2e79dfa74e4a29d9568ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun LetDef1Recursive False Passed
19fae3bd1ee0def3cce506651644da32468737fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Extends True Passed
b2356cfba4c968bf758a0d08d8103f9a9a58a2bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Extends False Passed
a9cc8d98b1398110b23b7fd7f4565ec9b3b9d06c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun ExtendsInDifferentFolder True Passed
e46529aace2b0a051aba197a4ba86a3f6e60b7f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun ExtendsInDifferentFolder False Passed
a4f20004e6ff9f66982093f35094e9be655178bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Variable True Passed
a37e41240da71d80411c9c7321ae4cb2dd6e2934 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Variable False Passed
767f89e7dd241591c17e3c0665af5b767c2263d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Constant True Passed
5c2c07189eca36cdf104fa22093201aef17fd6dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Constant False Passed
eff233ecc6f6570b823bcdcad61921087f1a79ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun ConstantRank1 True Passed
b991c3287283ce7c85809a708ca43b55feacc8f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun ConstantRank1 False Passed
cd8c1a553655937b96fb5b8f6b0ec4075471e761 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Instance True Passed
9843857eb46da0294257e53930b9ca17601bf055 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Instance False Passed
b1bf98b088b94e6d9ee41a64a24ea24c546dc5a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun InstanceWith True Passed
ef1d81ff97e0339716e3eca8f1dc41c356c9c744 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun InstanceWith False Passed
c93732cf7bffee72a1a2b80cc7f9d1d17ef07b1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun InstanceNamed True Passed
61b38298488a25ba3ebc5cd2b8c97fb3ed8f46fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun InstanceNamed False Passed
4590ce6f654c65d6b0e4b102b855da78dcdd732a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun InstanceNamedWith True Passed
8af3bb250e5c0a82afb8ac76d0e40dd5f2958168 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun InstanceNamedWith False Passed
8314cc25de7d1ead220cd2f83387e43cb05a1559 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun InstanceInFolder True Passed
bc546e3fb31c8ce12b3123c7c26c76afa947f59a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun InstanceInFolder False Passed
355e5b860181c4c646cce47cac3261567cf6471c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun InstanceWithInFolder True Passed
fc7401876352e16e255171e169cff067aefc5ec5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun InstanceWithInFolder False Passed
32fa228a9c84433e684d151a9224b561b5599f54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun InstanceNamedInFolder True Passed
3872ddc198300aabd63237772d0e4e0a926e0faa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun InstanceNamedInFolder False Passed
641f55c8ef39b94a61b67a6dbe303a972c30b1ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun InstanceNamedWithInFolder True Passed
a6cbe40fa75e24de177d7febc5397208ed3ab16c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun InstanceNamedWithInFolder False Passed
1684680593f5f9420c0066ecb3136a04589204c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Enabled True Passed
4de9959e929485041753701d2a193c019a73a579 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Enabled False Passed
13dfaa0adf41e8e772702e4ebc26b072dd85c0af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Cross2 True Passed
2dfad2d397a3bbbfc223e1bd4d95e6143e53e091 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Cross2 False Passed
dd1071e49a4a7ae19d3c229ff94ae5db61aa6e87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Cross3 True Passed
85cd06918daa33c960dbae447c9789274fc28560 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Cross3 False Passed
013a18186eb93a1514aa3afbc32ed8c080a16837 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun FunSet True Passed
0808547380568588edf9820b7e6ad9f86135faa0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun FunSet False Passed
e003f6f15d7943adc26b6f20a638cac9051ce002 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun RecordSet True Passed
1ba874b5004cbd371dda16a759f71f3eec67f0c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun RecordSet False Passed
989ef9066d5b0b4d0427edf1e939496a34989d32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SetDiff True Passed
3dd822eb22c22eb0a6273799f17533d2efabae3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SetDiff False Passed
4cbc4b06f554557204885b619ea52177a50f8794 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SetUnion True Passed
c93625cba6a8e2476e38dee321cd31142cb5c56c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SetUnion False Passed
c7c2028eafb21d9b6cbcc17f2ee6b83a0b8e5635 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SetIntersect True Passed
2feddb7fbabf31355012f1c9fe780be0f86f73be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SetIntersect False Passed
01092b9a8ce167ae72481432915dd1a576df4b63 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SubsetEq True Passed
e3e82a7838f5fcce3ab74668c2dc4f84526b3c92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SubsetEq False Passed
0b556108b25d7e15fc9a46bea8f39f07d35844f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun IfCond True Passed
d8758cad13f0ab862aaca162be284fe997c9fa49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun IfCond False Passed
9f2fe9a2f368b043c0d786a6e11a71ac67a55108 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun IfThen True Passed
83cd512768dfcef04e40278c2726a8827abc42f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun IfThen False Passed
f26356c029dab51a60d131cd8d4f6585c158d5fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun IfElse True Passed
86c9b30c5e047baa1d02752c9c5e2a606d55d5b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun IfElse False Passed
3aaa3bd153185f5a921e4258707ad03f00484edf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Subset True Passed
07d003e0c868ed988a93d5309922b7f20b72338d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Subset False Passed
c5099ca03e719723c3ca7769fc953508c8fef210 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Domain True Passed
273a921ef94febd2e87a94a05c3dbf3f442d8666 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Domain False Passed
2de75f3cff35461062530b1e1397dc50b17faaff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Union True Passed
de53f1b607a28d9ce6171962b69a4efe4f10ceb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Union False Passed
804de8fd0f2f96bf908682d5a86f845897dd8b44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Unchanged True Passed
8a24b385c7d4b3270b2ed540d78afda6cc17b7ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Unchanged False Passed
15169f44c18fd64653a436f2a435714a2723f6e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Equivalence True Passed
ef04a0c012b5995f7082e06744a8e2377afaa158 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Equivalence False Passed
fdc84f404df9d2c19bd99ee97268d5e83d767b20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun StringEmpty True Passed
01e56928e20ef77c1300961e3609eeb5c9cb9d5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun StringEmpty False Passed
953a0e042a09504c6276232350c2dc112aa85a7d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun String True Passed
02ca45df178171031f2b9cf7c76f0d7ef29f730e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun String False Passed
acd4428a3c362522bfe67abea14b585cd3f32d9a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SeqLen True Passed
a546e945392dcde72ff7bbeda6be473f8a86c126 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SeqLen False Passed
17a58989bf14ee57170fa98bc27866c24d237cf9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SeqConcat True Passed
eb8092ae9610b66e9c287cd3dc89c9bd48f4d451 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SeqConcat False Passed
64bd75b1c8d6af2f0176cc6179944178c2dafcdf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SeqSelectSeq True Passed
f130d34454e07277c300f16e3283a5548c128843 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SeqSelectSeq False Passed
e7d69a03074b7c73105c5e6a1790c9136f43b7a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SeqSubSeq True Passed
2148efed64103f4bbda5a9765bde34def12bfdb4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SeqSubSeq False Passed
ddde51aa6f4496ab8f2ee5b70cc460b4e216e888 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumRange True Passed
b8ec798085d93af0bb108110cb4bbe328e500025 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun NumRange False Passed
c6dc3d63d9102fbcab87d500999c365925f3ff92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun TlcSingletonFun True Passed
f3f1fcd9a5811da2c110766fdba9109dd64f616e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun TlcSingletonFun False Passed
73244607764d07c79df7394bf49d20e4c23a034f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun TlcExtendFun True Passed
593f7951666a691b856c9f31027b8ac8c22bd1fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun TlcExtendFun False Passed
9d1e19219ad766c6a1d44bef06bf38e8aacb71b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun TlcPermuteFun True Passed
a483982b651e611cb3dd759b8553ff1afa381221 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun TlcPermuteFun False Passed
575030d70b0d9deeaca5bef9df40f3e005c23cee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun TlcSortSeq True Passed
e025d29eabbd1b04606b354eb88bb85f0cdbf533 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun TlcSortSeq False Passed
5fb6f3ca5dc357cad2b2e087fb72588ddef98bda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun TlcEval True Passed
03ae4a0d1fda5d74ee66c6e6b37dc3919e5efeec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun TlcEval False Passed
ddb8397bf7f90c02f096580d0c9ce4a056841588 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagBagToSet True Passed
27ea2a980b96977d9cd7aa6349b427adcb48e577 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagBagToSet False Passed
b73e02f8a4d29a9130758a63f4f292937db57f19 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagSetToBag True Passed
b0b2ca6c1429dae084a02d4e76309429009e2235 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagSetToBag False Passed
72ffbcfe6b3f41a40fb621742efdae3eb019aae4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagBagIn True Passed
60f4bb40b5b23d358f83d70f8492489459c24655 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagBagIn False Passed
25c4be2d98fce1e981a95b6489a99ddba588d2fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagEmptyBag True Passed
f66c4aa2ebb66c9c019a5beb5ac199fa5b3c0905 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagEmptyBag False Passed
3b36b910333922657ff06baf1d3d21850bc64a6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagAddBag True Passed
a63cc840de46a983acff815940bfb99dda09dc3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagAddBag False Passed
e54b9a089bd01e2fa74b1b1f4b8372ef497cfde1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagBagSub True Passed
56bf2ea8088586468ea48c157f7db55c55dd10ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagBagSub False Passed
e9e30653980443c3fba7721e1e74764f2837ad38 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagCopiesIn True Passed
77f51d0ac7ca73b40ad3ce7bb624b50b9e6b7050 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagCopiesIn False Passed
d4855c015beb0e00f842aeb2922a4764f7ac1af1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagSubsetEqBag True Passed
b9a5a00654ceb614abf1372a1b4ff44c12eae66f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagSubsetEqBag False Passed
a109de0e0c9808855065be11a6034aedca12d5c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagBagUnion True Passed
61cd8ac506243ba3baf90a96f69e451c8adab851 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagBagUnion False Passed
bb6a315a2604dbfdd830a2bbcccda93f57c1bd6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagBagCardinality True Passed
b5331259083741cdb215897cf0eb275d8c5a1581 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagBagCardinality False Passed
272c718d706b02153825c01807738be72a62a988 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagBagOfAll True Passed
0735386da54072153797dcde572dd9aa2f564327 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagBagOfAll False Passed
5b30be819da17d98df81656349612ca429692359 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagSubBag True Passed
dfaa4f160ae7e70316bc5589e79023fda811d938 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun BagSubBag False Passed
249537732b6c4b08e4f0e575b14c669084efc631 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun FiniteSetsIsFiniteSet True Passed
32d84901e8c46f93572bbbf7ab9e5a3d12173d42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun FiniteSetsIsFiniteSet False Passed
1a0ea0edd685a12f9f1a34c0daaa3ad72c50f935 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun FiniteSetsCardinality True Passed
56e9c5fd1a774726b89a93ab7310ac7353c5520f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun FiniteSetsCardinality False Passed
3cc230b90d187214e7877be697629bef762a4f75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SeqHead True Passed
70dd0709b3b6d5c036bfe2d4e02de758cc24df35 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SeqHead False Passed
f4fa241937ada4a395be1643662ba5e3d379f7a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SeqTail True Passed
e15ea81fd5bab32dd06970f16c9153437b2462f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SeqTail False Passed
bfb7f5fe25070d4e47c49a50acd1dbbd289bdb74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SeqAppend True Passed
a9b55f8a9992fe12c1fe1558cbd6d35b56294f8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SeqAppend False Passed