Index

Tests by plug feature InstanceNamed; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
b1f9f84f3d09aca0bcb8f8d4eab25aef51440a43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And InstanceNamed True Passed
dc738d429b66af585cc0e749cbb818a812f1f95d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And InstanceNamed False Passed
1b0ad742fa482d2dd779d2d4d51a3c7667295c95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine InstanceNamed True Passed
85eb9fbc438121cab289bda71690c9746a6b33ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine InstanceNamed False Passed
15b88372d35ef02bff91e6d588a0b02e87629df2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply InstanceNamed True Passed
3e99cf3d08bd115d79a99e806eb216348d5e330e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply InstanceNamed False Passed
fa16099d425a682280b363004354b3d702fdea68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not InstanceNamed True Passed
8ba986a27c852b93ff0c566ff2f5c543f159a48a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not InstanceNamed False Passed
40e44ec29c80e696849d1d59f08441d803dd24d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or InstanceNamed True Passed
7c37836d6986f9f866697c887bf8e41adf43ad19 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or InstanceNamed False Passed
2491933fcbec5a9888f374fbd3b1f893880e8906 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine InstanceNamed True Passed
8e196170b0530b4a370119d7be91bcd6458ddfd9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine InstanceNamed False Passed
5d8e9ebba3be9826f0a191e01e7e29279b9a0ffc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp InstanceNamed True Passed
26612a6cf898dfb63d5c7beb11ec60dc10dfa6f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp InstanceNamed False Passed
3845b3d32fcc77e2b395fe2fafbf81e7b9ea4dd6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed InstanceNamed True Passed
0f1a567a64072bd7ff904fc1db052d0a8952ea2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed InstanceNamed False Passed
42c974ea5af0a032e8bff1b97cef4c2a0bd48803 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq InstanceNamed True Passed
29d0e72c5b81393dacf18296f19bc3b7e13339d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq InstanceNamed False Passed
8c0810b1ee5764b3b773142db394d8cfb2e77fe4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne InstanceNamed True Passed
f755d324143f7e28b593dc08a5625c1e8000a2d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne InstanceNamed False Passed
491cb4bbd8c14feebcb66b9c04b5b4697c1b2238 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let InstanceNamed True Passed
60baa36875e0be1d94d8a76bd6ec8d7cc6eb9a43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let InstanceNamed False Passed
b47028c80cd0ae9781012f97c3ab330b2108b980 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 InstanceNamed True Passed
25b5bc30d242ca43f492d0fd47aa014cac2ae19b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 InstanceNamed False Passed
335881ffc962af993448ee41053c601348f69c8f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 InstanceNamed True Passed
7d23077927ee53fb625ce3cd22ee2ce732313308 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 InstanceNamed False Passed
a749d291dd7eb6e176237e9f063101f934fe2930 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 InstanceNamed True Passed
cd3b396a65261f6ed118d7ca1dae800bbb344068 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 InstanceNamed False Passed
76d5494cc33e86ac913eebe4b2722611c983ea0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun InstanceNamed True Passed
d1aedd7c6d061baf1f29deeebedd99de6ebf971d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun InstanceNamed False Passed
ce8bb8f6fe95ad713177843f572dfd0b45d05544 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In InstanceNamed True Passed
4dbfc344f231f5e8b89d05f0d3b946533d45da10 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In InstanceNamed False Passed
a475f3c5502631a14bf3ad87f690cf33ad91f029 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn InstanceNamed True Passed
6b58dc9c5afe0d69406eba37f3b077f24203dec9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn InstanceNamed False Passed
1985c3f4b0f02500e102f17d25c22cb705f37fbf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists InstanceNamed True Passed
a090588658c6906575123f181fa39b7812cd5887 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists InstanceNamed False Passed
fd9b9d7e168d55f7232315936294ff8d3b17ceb0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall InstanceNamed True Passed
b62c5aa7fcc261bdd6c97562a4f76655e3787340 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall InstanceNamed False Passed
73fafcf6d894f6bd3273887b046a78017f58fb17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose InstanceNamed True Passed
b3e9d8d279c4289378c1f2b7a4b4747d009b5517 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose InstanceNamed False Passed
13f3e41374ec88d259e442f894fc53c75d3ee22b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record InstanceNamed True Passed
ebc835ab4b6d17ee4b701b49c60c8d0a7f67c67e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record InstanceNamed False Passed
d6064453035859056797c02cafb9c642c0413a19 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple InstanceNamed True Passed
81c46b5bd6f377e0812c6a6267b0f482bdaf1a73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple InstanceNamed False Passed
2f664c7b2f4348569b4ae7993be9b4fe9bf93d93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp InstanceNamed True Passed
ea4903eda8ee7abaf896bf8ce2ad782e8aee3b2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp InstanceNamed False Passed
d32069ca6224f9d3011d93c588616a28dd710eae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 InstanceNamed True Passed
bb8d6ce6f5426b66b786b0f30678b9e7b365c1db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 InstanceNamed False Passed
f11465ed17c34f5a5eab58a2a38998786c5ae265 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun InstanceNamed True Passed
bcb8669e6025a59fb6a0c925ae72ea966f2c7fc2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun InstanceNamed False Passed
6b5d0343a5f3ec4fbde40b3043a3d0ae082451b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt InstanceNamed True Passed
aa16aa8191e00a6978dba05bfb013499cdfe973e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt InstanceNamed False Passed
edbc4a642285697e9224017c8a19d0bcfa8efd4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec InstanceNamed True Passed
38ebd7666ad19079f97986e68ed2b9ab057684ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec InstanceNamed False Passed
c7c29526ac5862f65e7ec5f1e0ffe659536f3cf4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt InstanceNamed True Passed
d57067a005e980e16f2a041c23cdbeb8960ec739 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt InstanceNamed 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
9a8c09bfb10e6e162a6ce44f92719ea1ca77fbf6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple InstanceNamed True Passed
73e01586836822f027076293fdf52e349de78bfe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple InstanceNamed False Passed
5bf3f37fb07fd1dd606b9c7fac024680a98cebb8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime InstanceNamed True Passed
19dc9b5528692068e406d3eea1cff5caee4dce09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime InstanceNamed False Passed
3a246068595d4e189d962995ac246518a891fd19 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus InstanceNamed True Passed
28d4b4c2b1b8f7fafc17873d6cacc74719ccc584 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus InstanceNamed False Passed
42b4551562e644e6698aab211b659c94ce4c7144 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus InstanceNamed True Passed
28ebe479bdbdd0c9b54fe014cd2157ba07fd183d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus InstanceNamed False Passed
a51af663dda26156f28365c9ec777f500163fb4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus InstanceNamed True Passed
f22813404c421dea1852928efc2602ceb653714e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus InstanceNamed False Passed
a6e258700c20bdc33fa8a83e8350f77ce8e9a532 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul InstanceNamed True Passed
feb3a27094105fffbec18957dc80e65bce320f79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul InstanceNamed False Passed
038c45560059444a80f493404b64fb11101b9879 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv InstanceNamed True Passed
a31fed77ca6cd7bba1c989c80b960854916507fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv InstanceNamed False Passed
aaa70354c24887bbf6f8dbb5b596da5f018e424e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod InstanceNamed True Passed
2b4affd09d758e20d89cd3fdafb6beb3212bbefa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod InstanceNamed False Passed
3287f73189ba0b302cd78aa17f5e7afc78836bb3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow InstanceNamed True Passed
e25460025e70e1c26fb82ee31cd1d84ed2d4c8ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow InstanceNamed False Passed
a0f88e8fc9fcd297ef68ea0e17d1c810b95b7b36 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt InstanceNamed True Passed
3437adb04e1eb32e4ee7c1cac44f2f01864771b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt InstanceNamed False Passed
06d010c424dc6350c384074a573de5705f890b44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe InstanceNamed True Passed
f3122fa0e4ad914f8041aa723716d0b9e08055cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe InstanceNamed False Passed
b90fcc52a86890deca182833a7c8bd1caefed236 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt InstanceNamed True Passed
1e3afe4f385a84ebd86ce657e5d545af54cc5576 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt InstanceNamed False Passed
5ee2c9c62911b2177a620b135db68ae13aef8eda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe InstanceNamed True Passed
4694cdd6ced43fb30911ed7f9bc58ff983ba2a7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe InstanceNamed False Passed
4a3334d60e3f6cb674b565b1b4d75b1d5573fc55 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun InstanceNamed True Passed
7c8f49b123edadc0830fc873c1682da8ae1a3a6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun InstanceNamed False Passed
a74e48da3f7ed2d698e7ab01ac7f978284a5d80a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun InstanceNamed True Passed
74c9527dcd34f7b7c275786c329835d2a8bea163 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun InstanceNamed False Passed
295f2397195ce60fd44a408d2ffffa81ab45a381 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive InstanceNamed True Passed
12c3ae487a35f39fdb06ebe4b5c292bb988c7f7f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive InstanceNamed False Passed
436ea1aecffacacf02e2d775f1c4e205ee51f0ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive InstanceNamed True Passed
5c180ac8f78e30b34e549497ccdcb3ee7b5e81ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive InstanceNamed False Passed
1bc9113f4f5a3d7e2cda7856b251fb9844f4cfc1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 InstanceNamed True Passed
6d5c057d2b63d921513b134d1292a00292bf98b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 InstanceNamed False Passed
5998e204d1f184f88216e08937b266ac75590a66 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 InstanceNamed True Passed
65cd768610412ac1df7de68d445c6d94ce91e91d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 InstanceNamed False Passed
3f8e10fdb461255d655a7fd8edebc2bf5d413e88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 InstanceNamed True Passed
3b954bc7dbcb890bd2e22b40127aa992481c4630 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 InstanceNamed False Passed
d0efc1558bae3d65d74852f0df5da1c7ca316cfd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 InstanceNamed True Passed
ac91e69298c2d1845a979984240f5251a5673f31 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 InstanceNamed False Passed
51f082078e4e8daa4cf546be81d2b4d1cfd418e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 InstanceNamed True Passed
a4163c420e895d5ac200bda813100f58f6c7449f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 InstanceNamed False Passed
7b4336fa32e322d3be09e7cda389524431bca4ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 InstanceNamed True Passed
4039eca14e7b2ee218e17b3a34c73b906405c936 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 InstanceNamed False Passed
92a5eda53a77a469143674140201fd9b4937cbe8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive InstanceNamed True Passed
34fa2a017e19e6f126a45b9afdf2b251b3e73bc9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive InstanceNamed False Passed
af4c0b4c2fd5e032538c5bea2a90432c9e6d459c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive InstanceNamed True Passed
05246197367a70239352f0f3eb0f4ea77b6e1130 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive InstanceNamed False Passed
a3cd7b42f700ce37319fff328cb43f3cbfb1bfab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends InstanceNamed True Passed
dd813c84d4a1b47f7faf06c4fafa5017cfeb7420 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends InstanceNamed False Passed
4c7c3526adf01f2641a88913bc7d13bdd7bddf50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder InstanceNamed True Passed
fc06095cc023266f7dc2b8fd1276a6626932aa35 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder InstanceNamed False Passed
e4ff8386342a45420747fe0223082b1561155b9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable InstanceNamed True Passed
38e46c9162a731d64417a53c5b0068e3bf9c40b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable InstanceNamed False Passed
1a4ee8fcba4206f3ef12eb77908d4a03ad45cf01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude InstanceNamed True Passed
4bfc7a0a0693578687ab890dc55e10393631d042 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude InstanceNamed False Passed
84cf4200e52f6d73d184a30dbc172b8626e5cb2a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant InstanceNamed True Passed
18e7413256babdec8acd0b8ff9f5851910675e8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant InstanceNamed False Passed
41fd2b5a5ce7573085de3fcfac2d368b229010ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 InstanceNamed True Passed
b555f96417e23721efa82e11264890370f174d9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 InstanceNamed False Passed
e838cd3c27586b48dab77ccd727c12ff4c610656 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance InstanceNamed True Passed
4da06863571dc3bad6ece253c833db14f5e0e6f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance InstanceNamed False Passed
6b2f915b798b3232e386e821db266624321ca1e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith InstanceNamed True Passed
a2a174bd7515c79519ab1a19dadb7a6eee742fc9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith InstanceNamed False Passed
e3b11cb481a6580b7f3e2ab9c1ddef369c0d9854 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed InstanceNamed True Passed
5eabf0794e3b8db6247665123ff8925e7faabf7a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed InstanceNamed False Passed
a39405d9968c3475b3b66b42c8d339819fd5c553 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith InstanceNamed True Passed
704f93601e60a503d528665df4c84c6b37a7b621 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith InstanceNamed False Passed
5692c32a3a565f251de9d22e1d1c64159586850f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder InstanceNamed True Passed
922b290ac14184f2ea6cd8368617baa821ad279e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder InstanceNamed False Passed
c92b9ae3aa97ef40ad481f7c6236d877e6c2fe42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder InstanceNamed True Passed
902d82f15591d759917b1aebb1168ba02a625277 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder InstanceNamed False Passed
1dc33008ec2fda5fc3673af5448cef14c581a4cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder InstanceNamed True Passed
d837222f2035777189442785f95a4f5f69003447 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder InstanceNamed False Passed
3547d81a66b5e69b2de837a9bd4a669c61f094e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder InstanceNamed True Passed
3273b81c1cfb83b4db65c0797f78de2349d260d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder InstanceNamed False Passed
665d5c32ec9287d3ddc3f3f9e74627327b244a4a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled InstanceNamed True Passed
d7bc71ec4f14ba327d18bad1d78da3f180448e7d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled InstanceNamed False Passed
1c4e88995fc2f54ea19a644cc568a038e1722c32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume InstanceNamed True Passed
d83a48abd9bd2d8a76d81245a761762fab488658 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume InstanceNamed False Passed
c48d7695b8c97907840540232a08b00ca0975b60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed InstanceNamed True Passed
4a5ed6088313ac414963ed596014e01110d49b73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed InstanceNamed False Passed
2b971247f214b31639892e2d9e3e5421a96b53b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda InstanceNamed True Passed
b1446c4bee63a65fbe997197d7fe693049e67e99 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda InstanceNamed False Passed
3e3379a60c6d44f0fee94667e906000f98701536 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 InstanceNamed True Passed
b7b3bf3b054a43b999242ebda6f933b6095afc7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 InstanceNamed False Passed
e54d879d13f329ce013eb823f54c85d038608e30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 InstanceNamed True Passed
c921d262738bee36097428a5608d1b4badac390c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 InstanceNamed False Passed
a0e6cffa9bf05b413602997486404d9ed3f5756d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet InstanceNamed True Passed
96d26afd5528b01bf19d32bcbf26d9054851a654 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet InstanceNamed False Passed
b882d9ee6cda1971cb06d537b3e7ee5cc8ba5113 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet InstanceNamed True Passed
6d86315fd42bac5dbd60ce76b20d895b7920cf59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet InstanceNamed False Passed
59dc3b1678ac0e9809f152a2df8cac608918b44b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff InstanceNamed True Passed
b1ce6aeea023e9871ac77e8254db8d5995b74276 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff InstanceNamed False Passed
52df57e6cab03d9e4e883ad969e4bf1eebac0ec0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion InstanceNamed True Passed
4fbafb90b55ffa0911208077dd7993ad4ccc7fee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion InstanceNamed False Passed
37fcd027b6125f0b774c172466b284b7949dcfaf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect InstanceNamed True Passed
d3bfb08f73c90e7d751f2130b5793e2bed208589 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect InstanceNamed False Passed
416eb2183ff3bc22ddf1bbbcbee1733cc3153a73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq InstanceNamed True Passed
4568fcd0677d5b72f785c3fde3e4a242c1ee0c58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq InstanceNamed False Passed
eaade68d029f843e26cbba07438b84933563940a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond InstanceNamed True Passed
14a19c9874ae6d35a5dda406439050b545432229 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond InstanceNamed False Passed
9ec46deb5565de1566f5dbce485bea624e62f3f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen InstanceNamed True Passed
eadb4b76890734534dd9ea899e2276f8b1d6e966 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen InstanceNamed False Passed
edb13b07a84fb5019118b7145a21e3263bc0828a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse InstanceNamed True Passed
522bc5c5c7bda25b581de6f8cb654d694beea415 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse InstanceNamed False Passed
21ea040451eb9f4f757190313bf7a98b8429a699 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset InstanceNamed True Passed
d35fa73ffb68a8e8a48504f9442239a4578be632 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset InstanceNamed False Passed
42ed3ed3e39e86feaf46744d416366cc4e890b98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain InstanceNamed True Passed
223b6e78543098e93700b78e6683d834e88a7301 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain InstanceNamed False Passed
39c0db6493e5a4b337a28235c99ffce47745737e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union InstanceNamed True Passed
38e5267c5b3a324291f976d44ef86f0ed4514ac8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union InstanceNamed False Passed
619214f3b6a46bcd53fd8028c478e0911614c7d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged InstanceNamed True Passed
f3e788c95a3202095e6f6b6dbc01cc1ba615c0a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged InstanceNamed False Passed
4ba233c69cfa4d8f963e31dbc7c7c7cc97cd964a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence InstanceNamed True Passed
b7cf8a9b086b42db9f11637ac0e1458a9364a492 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence InstanceNamed False Passed
27dd6df397f3ae3fa4e295d1729176775e466036 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen InstanceNamed True Passed
222a829be9b4cf29870e66a4e6738693f0c5cad7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen InstanceNamed False Passed
88cd925d1793cadb4cd1344e297580d189847ac7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat InstanceNamed True Passed
ad499c093bbddf751a2fe13b3e128f44cdf0593a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat InstanceNamed False Passed
036129f1406c859f6bd80a20b96172b8c89afb3c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq InstanceNamed True Passed
849ff9a4abba73ac2224fb7d80e4998a6ec9bd58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq InstanceNamed False Passed
caebd84260dfc45c552095d7ad8ac498af7d549f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq InstanceNamed True Passed
cf33eadf98c5d52185cd404fcfcec00207c24474 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq InstanceNamed False Passed
6a59c013ecb2519b24cefcb317d04f9a666f70e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq InstanceNamed True Passed
c4db549c533ff743391fd363462ec4a850f766bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq InstanceNamed False Passed
c3f91350bd8cc8eed46f8d1cdabbe9c2ebe9f5e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange InstanceNamed True Passed
e3293073f29d86a5750fd60ac63017545325173c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange InstanceNamed False Passed
f143fcaf25292cb690f6f968d3f4afbc4c035002 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun InstanceNamed True Passed
cb9b317ca3614b07896fc27d174656a7538574c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun InstanceNamed False Passed
e9f016bf3ab6c35f06dcb1c86a3b2db0f474fd90 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun InstanceNamed True Passed
1e29f4a804c4be88393f243082503ef24d2161a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun InstanceNamed False Passed
114889fa3d2903651693da87ce6a595964858280 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun InstanceNamed True Passed
3f7d255046ecb9659d1ac3b332b468cd76b89100 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun InstanceNamed False Passed
b7cac1ef37606a79c1f20d3ea0170909ab4d0020 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq InstanceNamed True Passed
8001d68baa8242b4b1d60b237beb6e6998371d5d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq InstanceNamed False Passed
d1acadc33db52e8e44767b5e990d3ab54725126c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval InstanceNamed True Passed
4c463019af34ba9bc91835be97134e4a514faa1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval InstanceNamed False Passed
c52b64b8d6bd589546803bf74ccee5d4d0c6b5c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet InstanceNamed True Passed
070f504d3498c85921c6f0689ec429ace520883a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet InstanceNamed False Passed
42867441af57508750e2393ca684d466842d7ce7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag InstanceNamed True Passed
bd9582fb000e0d5a1e7ca9186f2d058454303840 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag InstanceNamed False Passed
82bb2488f721d26719a6e1c00bb10b6a03f055c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn InstanceNamed True Passed
ce65a56d625e22b6a0e2388d99ad96fbb19745ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn InstanceNamed False Passed
596ef985788d39c4ac0130ace780288b99729e95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag InstanceNamed True Passed
680763e333c2786bf6fc0ca41893e8c66c998e55 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag InstanceNamed False Passed
b9872f131bbb6fcdbde961f099a7fd9da3dc8a59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub InstanceNamed True Passed
6c13eee0640d06021bcb573466616ca8d10cafcb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub InstanceNamed False Passed
4a4ba811751236b82c5667bffb9ea0f026a14431 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn InstanceNamed True Passed
aab738c52528a1dbac6abe69206d296327ae5179 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn InstanceNamed False Passed
c994a22d9a05227ebb2aacfc51542c52d009767c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag InstanceNamed True Passed
967d3490178b8869038c47c430f6efdd9ad3d1e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag InstanceNamed False Passed
d7db56de83dd840abb0abb61aef8d4a21cc5f305 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion InstanceNamed True Passed
831a38158c81e34beba6041e28d30a4ec3508ba9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion InstanceNamed False Passed
055789afe2032bc17755f938c16aa620ec2b1787 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality InstanceNamed True Passed
3793067c84e4885175df4e1d0f3ad9a55c1c9a29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality InstanceNamed False Passed
22f74e81553505123d9b6bfcd607b9b9adcad5fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll InstanceNamed True Passed
f65b0bedd4dc67bca24f07256403ee241f8fc986 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll InstanceNamed False Passed
f9c710ad2bd678b187fd1634a431a30d07e2f7fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag InstanceNamed True Passed
c147d58904f1941ecd65c2766bb0e1555a848b56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag InstanceNamed False Passed
2160b71ca62867f8e74c0b1362d3096192b7e0b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceNamed True Passed
d4aa134c53f5ca37089de9e26216cc0cfd5dddda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceNamed False Passed
ded978793bf93f61fd1529836028e12f4dbf777c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality InstanceNamed True Passed
c5cedc525d351c38c52dbd1b9857e1f5a487bcb3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality InstanceNamed False Passed
5a982ab1b9d2424620923bad13d7678719ff4e5d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead InstanceNamed True Passed
60782c70b7acaf57270408ff34e69b6c94ecf445 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead InstanceNamed False Passed
978159157f0c05b350df2ca79533fda8cdf27f46 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail InstanceNamed True Passed
7a35be7828cb7b4bf454a8d55ed4dbdbceb9be1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail InstanceNamed False Passed
306f4e489be5a0caa18733943b8f5e357fd66e92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend InstanceNamed True Passed
b29c6aa1b115a5b247d9fa803ba399d41285119a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend InstanceNamed False Passed