Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
5813bcd333451b8ac94a5604e997db6b07c5ad93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive OneLineComment True Passed
a38158cd48453407f49659c92bb2c293c138c13b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive OneLineComment False Passed
2a76fbc4d735d7638ecff65375c621836d2b4cbb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive MultiLineComment True Passed
9d7979a1dcb22b40879d9ed307e365dc11d4f055 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive MultiLineComment False Passed
03aea8b5153d0a7a81cf11c5c872c401ca756923 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BoolTrue True Passed
9337227b1bfa18c3f43add909b1674654845981b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BoolTrue False Passed
440463c922ca5829315b1aca234f9cc3692863ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BoolFalse True Passed
58d5abe5ddb99e822746e39582ad81b92d53f23c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BoolFalse False Passed
66d7e644f809c73e5d8a852cb74b3cb2b288a3fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BoolSet True Passed
45322a9ac330f84f5c7f69b7189ec7225d67c4f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BoolSet False Passed
fac855cff219600e288875ef387eaef38903a07d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive And True Passed
1809e7752f8a94eaee9c13d97bf7767eece0cd3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive And False Passed
874cbccdd7a9cc9a2bac27fc892a1f1f2b5b9e28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive AndMultiLine True Passed
7e1ec42b2ee7912351164be246a64609155db1fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive AndMultiLine False Passed
e068c6220445176fb77276be938df02c9a373326 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Imply True Passed
3db03f4537104c18852c0b4bf8670340332f35cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Imply False Passed
b80ca66ba11e0ba67a33ae995678a12daf404bd4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Not True Passed
29e6ed44d4465fa0739ba814e1069cb9759fe2fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Not False Passed
2bdb24c4f44c3daf4936680fc8cfccfcbda9afe7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Or True Passed
40a3bbec033852fc91c86c9097b0d388f8a6b5a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Or False Passed
1a6eee22793cd7c88891db244a24a1026af78e04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive OrMultiLine True Passed
06c7d730c5d9b28f60774ad583b63214d402c13c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive OrMultiLine False Passed
47f60b738ab7f1e406944a5dc90c854e0478fe4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive AndProp True Passed
ef550528ce7d5e82a1a9cc025e58d8a0c787df1b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive AndProp False Passed
2f75f0a91212a92bb27ab05e07fea1f7e5d5d344 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Boxed True Passed
e044f94287367f4d337072d4487f38186d27e6a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Boxed False Passed
019cd145b43397b9e94c25ed9b1937d908214ed3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Eq True Passed
9808c7c51a3a7ba1088d74e9a85c3607a17873d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Eq False Passed
e3c04150f442581498d43dae43ab37ecd0796d69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Ne True Passed
90481f40ae180693c66d1bee1c9f5eff4fec069e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Ne False Passed
89f7ad1a6589a90a34713a55aee6e5b4f0db109a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Let True Passed
dae9d7f08f741ddd7154caa97f2a7f41a04bd5fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Let False Passed
7de45a6af2937f7e98855d37871da178d2443a78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SetEmpty True Passed
f74f843ab5ec0d0993d00a5be58f20e3ac67cf86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SetEmpty False Passed
d8e94cdd42ab5d2f7bdecf980464bf397b712beb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Set0 True Passed
0533f0a8bcb60d7072c9a67bf3265516a14d3eca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Set0 False Passed
5418e55561517b69314ea5939585c9bc8a9eacf0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Set1 True Passed
6f7542e598c9abf9576484e0a1d13d5b6aeaed9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Set1 False Passed
a2ff8dccd280beea8835aa0c2ea41d347aa82044 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Set2 True Passed
fa9a185e289b311972b9d0ac9e12a173d84297bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Set2 False Passed
f4cdffc249baf997db1d1b8d3911674847a2e841 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Fun True Passed
a301675bebe797c5a7da1b6e1cbd31ec31284903 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Fun False Passed
8a8d1740364479f31e12b368a9ff1f0511d36358 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive In True Passed
2cde658703292ca106924f94d93743bbcc8b1150 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive In False Passed
50d36217fd63e3715d2bc1aa03d888d86ce35786 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NotIn True Passed
1b97951cbb3205190e3bcdb7070ccd242e860900 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NotIn False Passed
f0efa2ce6f9235fda93a7d72f1b02ec33c49f467 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Exists True Passed
1421ff4c8caba1002298d65b035555966dd36e43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Exists False Passed
186eceee2e019b39b011bd80137fbbc3353576db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Forall True Passed
6ee9628536a156e7b3e08e816b381d2e611725c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Forall False Passed
114b66316e276dfb8616992f9968ccd8733cb076 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Choose True Passed
106db0b24562f5b3587db8404f9d0f49805a50f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Choose False Passed
0356a2a4483d1e5c6596ad246c9e94956625e217 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Record True Passed
2365044790cf0def3edd98d5790615021874702e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Record False Passed
6a0a3b128182f073d984dda1099557856dc34b96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Tuple True Passed
d29342ccfb63434ac46a24ad53516c7175a8eb0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Tuple False Passed
082e49a40d7cac5cb3d480ac6689c5df21248eb2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive TupleEmpty True Passed
a80e4f38c995d6a33e348f89f1fc1716f9a4579b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive TupleEmpty False Passed
8ddf186b4d3156aa748c5282901a10d1831454b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive FunApp True Passed
0aa3771d1e6b65f971575baad0e7a673c1fcd799 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive FunApp False Passed
abb03a0b5ff7978599206c8ad573cd78f97e4691 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Prime True Passed
72b8d9615d39c3534a9c6f7558b0587a3aa2e3a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Prime False Passed
ef611ed97ddeb1fe92ad97c2acd55351674a7da6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumZero True Passed
cc708ac2682bd5fe61bbb2e40f1ddc807a189aa9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumZero False Passed
8da10cbc09f4290087b2d2a07661971593aceb31 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumOne True Passed
38ab3b99b80cad5426d92d5e06c6bc80d0d573e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumOne False Passed
847bc25ca33f3ba2ff11592eaa364f52dd9dd712 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumMaxInt True Passed
5bbde35984719590717ca1246548269a84a86c48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumMaxInt False Passed
0be7fffcc547bc7fc1cdce999c2764440195019e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumUnaryMinus True Passed
1e6a050c96814fbeaa73b6635fec0751ab8863c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumUnaryMinus False Passed
c82cdf2ff3aec88dd90c5207613a627e83695128 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumPlus True Passed
4fde3983bf837c447b03d5344edbc95598f838fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumPlus False Passed
c71ea6c6277fe41fdc78ec8be7d60d880ef59c68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumMinus True Passed
11d3e9a1611a727430e82bae78ff9e086361b98a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumMinus False Passed
27d02f9468f3a6da18f1c638824591431b25b02f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumMul True Passed
45e9d9a8ed75b305c3717c5a1a04ef5ba952114d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumMul False Passed
09570be4c3546ceb192a486c85ac0ed9237e3fe2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumDiv True Passed
48332a5fb7f1dadc235e76fbbd835343fd499ff9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumDiv False Passed
8844008aceb53ac56c345a388466c4f762364710 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumMod True Passed
c3aaaa7fee45e333801bbe900bee20431e6bbd7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumMod False Passed
4fd3b9d2d808bbe0e4f0876d39195598a06943a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumPow True Passed
d2d78d3dbe56759a9e866bcd3770ccb3e4d4b524 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumPow False Passed
17bc5b6b2504f70773a49c69a745c292d5d79582 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumGt True Passed
f5a52b99be0938c459701eaea647b557178f3c20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumGt False Passed
02384e9b279112ed485de26592a5a2307294e675 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumGe True Passed
39eb43d8449e28283d812620fea9b9ae57c54e94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumGe False Passed
ed6085e53214281a74103b287e4892d9e68eae0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumLt True Passed
048ea215665d63183e15cd562879408f354c00d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumLt False Passed
2cc98212443de47950fe6ac838e7892920684934 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumLe True Passed
f1c87159bbf85ccb212e01313dd52886ef8855fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumLe False Passed
0586aa4abba3395959e2aec21e175e1d70caa1f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive DefFun True Passed
0413e7ade1b62ec2f0f21cbf505ab2650e93082f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive DefFun False Passed
1424375c6d758d1a09e0a27820516cb0cead4fa9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive LetDefFun True Passed
e518bec16641fc36f82c48b860b577012b4cceaf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive LetDefFun False Passed
cda7549e8730b53855c1d0f54afb332a66198aeb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive DefFunRecursive True Passed
a98076bcb2e207caade474b30d5fcc6325aa7068 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive DefFunRecursive False Passed
aff7e4103a0c99586de5fc582d5bb3ec7feae7e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive LetDefFunRecursive True Passed
efa86acb4ef5c9b5cd134a2c83077dc94ec2e1a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive LetDefFunRecursive False Passed
12c9cc936846084ce9c594bb51c00772798bcc78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Def0 True Passed
8e45bf480b98c4aa5833a8f4f106c5f24e37bd9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Def0 False Passed
e5a98e41e736828e8fa042e29d59137949dec7d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive LetDef0 True Passed
1247b86f9a3b74b9fdb51b02fa0287ae38604524 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive LetDef0 False Passed
517128170108ba8a8d2209be09f3983a9b0d3117 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Def1 True Passed
b6aeaadae3f355fb9c08d39cd880d91f89cfaadb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Def1 False Passed
f04ee3094653a4fd34d9347035cfae5324e15965 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive LetDef1 True Passed
db315579cc1f62b3d5205ee5cde52b5257f37064 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive LetDef1 False Passed
0fd71bca686314299e04680d0dda02ef3ba652ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Def2 True Passed
da8e7d92a9406c868337e434fc38831042e997ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Def2 False Passed
b55ce02f56a437f73fb994f8bd70dd999361f4e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive LetDef2 True Passed
2566ae09bfc86db9ac10bfbd42874a14de0e687e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive LetDef2 False Passed
7116407a6e355d311aee17b54aa4693863ccdc33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Def1Recursive True Passed
ed37db656bf72541a5dcec6ac61db858e7d51f0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Def1Recursive False Passed
caae640c2faabc7357efb0db0f46d1983178ffff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive LetDef1Recursive True Passed
8ca15d287412379ffb899c488489ec1bb32ca747 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive LetDef1Recursive False Passed
e3d1c7d9e21726e90bfcf0d3b880c04845486df5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Extends True Passed
f2ffb78b8d05f216e3f45fd33d0b4e60285907fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Extends False Passed
2f3e861b91a45b6620a0a24024d566e34a11d213 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive ExtendsInDifferentFolder True Passed
d6f6d84c4a47ceb047f447adf8fc8f19c32ac161 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive ExtendsInDifferentFolder False Passed
3c7b14df9749d0d6d9c6563cd06f0372c697a053 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Variable True Passed
7b616c4de99c7a533311302b48e0acf000b914f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Variable False Passed
886e381b9b502d099e7f26198d42508637634480 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Constant True Passed
6400b6ee8db8dfb429a8275aad253ae0194f30e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Constant False Passed
074953ea6ae7e1f04e479b1120111ae8dc8f22b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive ConstantModelValue True Passed
58ad7969825484e978f75422b0d70ed3b791e306 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive ConstantModelValue False Passed
d9f79f85ad4b0d97b06d4e210c6d18b3a89ac718 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive ConstantRank1 True Passed
89749369bfb8a62ab40e8400c2328c042c072956 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive ConstantRank1 False Passed
a52827d5d1adbc4ee4e43e2ccca30c0f7843ea69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Instance True Passed
4c51fb6f6083c8d221e17292b944bed8aa0d9112 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Instance False Passed
16bc3f4aab3e8a988d3ad602aaa455a9902e07b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive InstanceWith True Passed
066624e5ec244476263fccd9c08ffdddc55fb19b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive InstanceWith 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
1419899f7cc7cdc59acfb2f85986717582370560 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive InstanceNamedWith True Passed
e1c1309379dfe460a3b0cb89bf46561fabbc2c96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive InstanceNamedWith False Passed
1f8f1f63dea57f5f0c4a14be40b90c3bfe7f24d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive InstanceInFolder True Passed
e37f26a197696639337dab9435f59e2faa7b3b89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive InstanceInFolder False Passed
17e686d133509738f58ebdba4999cc46c55febc0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive InstanceWithInFolder True Passed
fa848ab12faa5580dfc353b7f9b5ae86ac25adfc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive InstanceWithInFolder False Passed
0f3a9c5b7fb3ff6d1ccf24ffc0795e7157e2ad67 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive InstanceNamedInFolder True Passed
f4b017296494f8a34f72c95d11f3381a12863753 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive InstanceNamedInFolder False Passed
04b80ae0c8132db589a295fd7334d5d3379734ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive InstanceNamedWithInFolder True Passed
4c168903e7cd59b92c5e77e26900ca988d402e4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive InstanceNamedWithInFolder False Passed
b75068443a7c730c55e54b155384e9225644e723 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Enabled True Passed
208ad99cbecffb5df06ce910894a0cb145bd676e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Enabled False Passed
f81da67c179c0dbbd96197fdb22cffdafc3d5ee5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Cross2 True Passed
83296bbb6b04124358a460a36e57486608b8a086 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Cross2 False Passed
83c2eadb784311fe208add49aa0e19abb48757df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Cross3 True Passed
6adc4913df9f55110806ff441c88761659f40ee7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Cross3 False Passed
6353b753e266dbec4d3444f67e859fe9f7f363dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive FunSet True Passed
b33a9dfd847a5c92d4e8aea35b9b6b7ef825617d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive FunSet False Passed
2b1cea17cdba02823ffd2eba2fe86c4aa0955fd5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive RecordSet True Passed
a710d5680c8296f7c6260907a6b159d4ee9e922c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive RecordSet False Passed
5398f66e47157602f57a59e9942cfdd3d4ad2a43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SetDiff True Passed
d99ef640538bf1e42e4afe768ccbe2e3bc0e3858 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SetDiff False Passed
f641dd2f7ddf9325d98a351b4a75d56bf3b74e8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SetUnion True Passed
a3dfbb21b8a2c02b00db73105e4c81a934e64118 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SetUnion False Passed
e3511a0a62814a92257e90cf0bdc4bd005ba98df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SetIntersect True Passed
9a1291b1a787e344cfc4215a2a07f66cc20cca61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SetIntersect False Passed
9aa63b235ec06c09d1f46ebe7f354d43a70f2f08 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SubsetEq True Passed
b6c07fedf2ff037b6f37577f2f0fdb45eb110ac9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SubsetEq False Passed
e8e6d12938b89ce73e7c2ef93341f1fa1ac40e53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive IfCond True Passed
37805d93e044b2724567f2c982f7f8a46dacad8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive IfCond False Passed
63f93f02812c29445369fdd55ed63ca15779ee1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive IfThen True Passed
521337814facb52e3492d10ff00e53f6109f6968 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive IfThen False Passed
e6eb95b57cb8c2a7faf03a40e12c31a9c8654228 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive IfElse True Passed
db988545c41e162cfe761fd07d4a6a1e4b59bdcf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive IfElse False Passed
11807db1db6fab2bc74fe28dd30464df713a9791 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Subset True Passed
494f4c7a448dfb465acf7703d9502a34ac587b26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Subset False Passed
3e7e951b76240c14d097e61ca0be619f640ed5c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Domain True Passed
e128190432767243a8bbbbcf63e9da7820703f12 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Domain False Passed
d23fe99ddc36e9716aeefd4dde803c99e0c9f124 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Union True Passed
bd18eb1837bab4f1274c04295e4aef5bd2efa3e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Union False Passed
b08847329f7bf4cbb644727e9774292a82e1e4c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Unchanged True Passed
5eed89d87658d9d536cec20bf13bdcc644c2fc4a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Unchanged False Passed
dd0f054f0cf8e90abb6860ec73314870e59d0c9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Equivalence True Passed
c4ad2af27d7055908b49deddb10d7e36edc07d68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Equivalence False Passed
9ceb7f3f540a6fe4865306efa3595ed89528a766 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive StringEmpty True Passed
c94b461c117ec9c09f99be00bc276f26064b7b78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive StringEmpty False Passed
a295375a0896f576e4c810c0769418ceebfa2efe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive String True Passed
1503a984bbc67fae3e696bda304581d42a6336d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive String False Passed
9fc02b6c067459702e170bf580ee2c5d12894a01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SeqLen True Passed
529c58f8949d04fafe6758855fd5e0e0b0c07061 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SeqLen False Passed
bef6617daf682d1e9bd952d54490ee83d9502ad4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SeqConcat True Passed
53475002cfdeac11c2d20efc60c43ef5b53134bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SeqConcat False Passed
4a441c9849a0c4cd33a25c32034e4b5c4650dbb4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SeqSelectSeq True Passed
f5c8f3d2a877485276a7917dae17b0b6f709028f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SeqSelectSeq False Passed
6aa426325ed9a5cb08e6fc7e379fee2c412b25ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SeqSubSeq True Passed
89dd1227123cab4bda241787f763f7b07be6b405 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SeqSubSeq False Passed
af72568aebcf2c6504ab3d86f803c5e61d58ddab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumRange True Passed
5c7c202b3e898fbca70d0c8fe287b9086c737531 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive NumRange False Passed
ef8ff38942778901beec45c985360b4a09ea0b73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive TlcSingletonFun True Passed
cedfb18da804f4038a0205c560ea340f2a5f7a78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive TlcSingletonFun False Passed
622715075a493457e150c8e79a7d5171f5a8fa23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive TlcExtendFun True Passed
92f3b745ca1bf86a39c12fd581463437efed1e83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive TlcExtendFun False Passed
58a27baa353494363ca2f05b8395da133175cf41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive TlcPermuteFun True Passed
f956f09f1ae2b73c09db1c866efe29f134eca033 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive TlcPermuteFun False Passed
fb00ef099028d76de6ccb4d8afb329dc5023bc70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive TlcSortSeq True Passed
46b3fc63d78a67d95262350f3e6ef03cf3a1f9e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive TlcSortSeq False Passed
bbb4dec00650944be72c357b1954dccbd345d309 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive TlcEval True Passed
b3994e1131a4308542996e2435e692ce8941437b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive TlcEval False Passed
539f9cb89a509cb34eb3daa09a79a52c647ed4ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagBagToSet True Passed
448c28405c9d76b3ccb949e581c4e6307580c9ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagBagToSet False Passed
baa835361e5dde2098700e38c620a06d80123ed3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagSetToBag True Passed
48a0054121178bd91dd70b950c424f51d6f92b60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagSetToBag False Passed
740e291553a8b31083dae99e089e32bd7357b711 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagBagIn True Passed
740c08b1e2a03aecb68d6fd02d9c8f10b8bd301e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagBagIn False Passed
473bd142155c415bc9d2b753e1b32abdc1e8ccf0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagEmptyBag True Passed
81ff3ecbc7ed9740281d330bb8bc23f0f1dc1184 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagEmptyBag False Passed
860bc397df856763944f440aa855c2152aa61109 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagAddBag True Passed
238a23db0e210bb7325c8000e6c20bca25e67b83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagAddBag False Passed
a723947ae63cc3bbb0c870346e8ec8c3716075fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagBagSub True Passed
84a466a00304198ea70ffdcef5dc98b0fedff9fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagBagSub False Passed
6889e5cc398333d2a193591a4fd4d27c27db5950 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagCopiesIn True Passed
bf877a1c9605429b6a1454429ced7b57fb856bc0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagCopiesIn False Passed
a4c786ec8a39eb6f3b48edd1bad35a76b568856f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagSubsetEqBag True Passed
f16bc422a18acaabf793a7c9dcb79a541731ec20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagSubsetEqBag False Passed
335cc2ce349970b3306fa300d71e89807af8ac9a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagBagUnion True Passed
ff6446a5c8985b5cedf8dbb0ffaf65cc98ecdcb6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagBagUnion False Passed
279d7c2e2e25207df7f778423892225f97ff1052 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagBagCardinality True Passed
3a0ec55e4586959224d394ca8145b2fd02e07a6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagBagCardinality False Passed
02a14fb62325db76d426c5385200699cec1490e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagBagOfAll True Passed
8023a83deb3d18036ba430ca631f52de5cf573b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagBagOfAll False Passed
30f2054000cd27e0c3d05f72a69b43ce641f126b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagSubBag True Passed
b6b4fe57e4f901a0a5e3e409e4624083731c6a4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive BagSubBag False Passed
ab26e41bfa69a12e4c322390db8fe2f3a00c1124 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive FiniteSetsIsFiniteSet True Passed
013e32b0bb017266302459a0dc19fb4bff320aec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive FiniteSetsIsFiniteSet False Passed
bb7e4d125412ec335fbd9595f825e91682523542 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive FiniteSetsCardinality True Passed
2718285c902a0a4a92056189a33e7d4a617e8ca1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive FiniteSetsCardinality False Passed
f0f5d5fd40930d6d1d35f2ee4a5650f427dee3bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SeqHead True Passed
bc4d9ae0a0f4537f8d3f73851fd9136a3a3ae008 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SeqHead False Passed
352796e2146ae0548a0fa66caa2eaf88db10ee6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SeqTail True Passed
07292917cb46668632b5eb3efc14fedb073c3ba5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SeqTail False Passed
b2c085aa5d18994bbc33f8832dce4b304ad3992e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SeqAppend True Passed
5f86d884dcae610497fcb5ce1d64c2cc397ad5f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SeqAppend False Passed