Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
db2e022df6e716c647e656d49eaf3b8b137fc4b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And InstanceNamedWith True Passed
c31f980367bb2fd9cb1dd0acc1186456ecef5089 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And InstanceNamedWith False Passed
480396e62f50cbefe9afdc64301dd81a58003d31 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine InstanceNamedWith True Passed
a5643733f464f643bde0afa0d4b43593c9cbf0d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine InstanceNamedWith False Passed
5acd364775bde3acedefa92ca65030afd6c41491 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply InstanceNamedWith True Passed
b8c4e386c9a0826feb9e6bdd025736b2991af1d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply InstanceNamedWith False Passed
083040819e6fd4c1c623045bdd6724ae9664cbff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not InstanceNamedWith True Passed
29df6f19df3347d7787eebc818870035a535e656 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not InstanceNamedWith False Passed
ece95e4ac05ec7ffae2a32c814339c9058ee07de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or InstanceNamedWith True Passed
4ad6395cf65444725160f57c0be2e872e97bc1e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or InstanceNamedWith False Passed
5a043d749d088d57a6585070f0d0bf104cee0c0d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine InstanceNamedWith True Passed
9e159053071e1408e78af85a20a9e142410ddcc7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine InstanceNamedWith False Passed
edb1381ad043901cef75eba248efb3f507b570a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp InstanceNamedWith True Passed
cc9715222e6805868613a4b03fc9b5a33b3b2db8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp InstanceNamedWith False Passed
727e9d96bdaba21a1df207741cb2cf449e44898c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed InstanceNamedWith True Passed
73b0627d2cba5ad9b01052f63fe051b5bf73abc8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed InstanceNamedWith False Passed
3752ad34f2633973226a75882e0f709cf6c9f9f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq InstanceNamedWith True Passed
152a209fcdac4327331a450ff8b162e2577b0f48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq InstanceNamedWith False Passed
7a000eb76b739397160e544eb9b9fb54e401540d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne InstanceNamedWith True Passed
569210f1ab55b594864485f197e2f552598f13c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne InstanceNamedWith False Passed
7e7e2033494e880a3d661a7a0c69df47285f7852 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let InstanceNamedWith True Passed
ba6e8369d636b327b07b1c5bb43adf5971b49922 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let InstanceNamedWith False Passed
49e5aa14934abb72af0d5e39266597b8a4f82d13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 InstanceNamedWith True Passed
481a2b803d3e1ed9f06099d15c7de6a5ea02d34f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 InstanceNamedWith False Passed
22c6887baf89488b5fb6743b053091ea956aae3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 InstanceNamedWith True Passed
377ad1072e6451d28fae260314f14ca07a1a3ddc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 InstanceNamedWith False Passed
f462e1f7080bb95e0c67bd07ac54eec11cc62bc0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 InstanceNamedWith True Passed
aec10d96497c3c5812c5c633321efbaae605e06c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 InstanceNamedWith False Passed
940dc36366a8059a00935ffacb6cdd5085cc331b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun InstanceNamedWith True Passed
2610cda13c84558033e60137f525a5abd2c127e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun InstanceNamedWith False Passed
20576cf35daddaf2ae06ede80bfab048566618e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In InstanceNamedWith True Passed
7833ecd9b2f0ad014bd024e2863adcf78a0f05e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In InstanceNamedWith False Passed
69665c4c9e7c29c3568652262f144a57284b675f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn InstanceNamedWith True Passed
c7fbd60edbea24bfa6ca6f67abe45edc914e8459 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn InstanceNamedWith False Passed
41e3262e31f306dc311b8c984a34af76c47dd125 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists InstanceNamedWith True Passed
081d6f215688723fcf4ec8c05cd3d4cff2fc8bab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists InstanceNamedWith False Passed
0349c803251fdb6e73e11a12ee40188173887e33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall InstanceNamedWith True Passed
8b30477e52f8ef51bf6c107a38af26cd1ef0522f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall InstanceNamedWith False Passed
d02bff500a94cbf42696fa7b02ddb5cde574aad6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose InstanceNamedWith True Passed
00349e7e800c5c5cd4b0e5bc952b37dcb67bd361 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose InstanceNamedWith False Passed
6edfcf06e657ee601e723b93584c1f9f19a9fe68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record InstanceNamedWith True Passed
5cb859546174db3a733bcbfe615500cb58290f84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record InstanceNamedWith False Passed
ea14bd8d7966ebdb26e1e4fd9aedd6ee1acdec02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple InstanceNamedWith True Passed
3440d73f25bc641112bdb5d55f610612aa79f584 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple InstanceNamedWith False Passed
51057e23e4e2868571a62b25031e23ca3c5dea02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp InstanceNamedWith True Passed
94fcc4789b1e40ee0ab856236cbd185784508a28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp InstanceNamedWith False Passed
0dad74326cbd6083f781983c0f99b2be0ed6aff2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 InstanceNamedWith True Passed
a54da99977355abe812fb09f03f9ffa84c020fea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 InstanceNamedWith False Passed
b47e497f1e8908227d600dfbbd844feca5356278 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun InstanceNamedWith True Passed
663cc812217041e075ce57409112abbae90c7b43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun InstanceNamedWith False Passed
46fb523a10fdd28fa7095d2c0fc6e1e8da7d296e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt InstanceNamedWith True Passed
01df92913dce7c0414c3628ede62ed8f30cbd970 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt InstanceNamedWith False Passed
990d92cf403fdf60870b27289fbdd3c037c86bda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec InstanceNamedWith True Passed
af8dd38d944a2e87fbaa969f9ae32571f6d9f4f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec InstanceNamedWith False Passed
43b1c56d02cb83a0174ecca93fe8d083dffa4753 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt InstanceNamedWith True Passed
1197fab74b7771bff7e5c472164901bf76758fc6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt InstanceNamedWith 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
bc42653516f37ea62fa15a57eefdcf666623fbd1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple InstanceNamedWith True Passed
43ac16028ed1e4d5cc80e8ce601facfe159c17e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple InstanceNamedWith False Passed
f3b144361dd3f5f24cecb29fd75748cb7fc9dcb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime InstanceNamedWith True Passed
367cafd30b23b342868a3d67100fc6dc0f1e2793 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime InstanceNamedWith False Passed
27e4ad36f4aca9f0532b3531254e3c424c9bd541 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus InstanceNamedWith True Passed
266f0192585c9e8ada0328afe0679b0beb35b0f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus InstanceNamedWith False Passed
c2539d65257038c85522eeff6d8b9bfc2fff2135 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus InstanceNamedWith True Passed
7f712277fbc672cfc7dab559c57f097d494059e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus InstanceNamedWith False Passed
1c28927286bd95d60323450cbafbee1cdfa3ff8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus InstanceNamedWith True Passed
e718737edb3aaad2fe85c0088e8908b6ea3ec7b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus InstanceNamedWith False Passed
aa9b28a10f18678e0c46cb07be28e94446940d91 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul InstanceNamedWith True Passed
8d9c532b6d161fab4667bc89375ac4ff4ad2389f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul InstanceNamedWith False Passed
23654dbdbdb83e393caf7ac07402401eea7fab88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv InstanceNamedWith True Passed
1b24bc52e0179f8eb58bc0fab05a7703189258b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv InstanceNamedWith False Passed
b955acf39f9ce6b3612b91d70823a5d3a3af42a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod InstanceNamedWith True Passed
28d8e1cb26530b4f740c24dcd035196d7a13057c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod InstanceNamedWith False Passed
5f105e4bee923b26f7b03b7c2c9c1ff79b3718f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow InstanceNamedWith True Passed
5cf9c973b3f35204d82807940fc3c7b4bb13c366 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow InstanceNamedWith False Passed
f3d8e180a4089c9448c432ac3324482168930068 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt InstanceNamedWith True Passed
72ce64b03f937512de65dff4f69297cdc01a1fb4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt InstanceNamedWith False Passed
8d0123ad5c20cc997a439e04eca426ce8d706561 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe InstanceNamedWith True Passed
f14470791781af59d236fc1b1990fad701cebdbb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe InstanceNamedWith False Passed
c4bb094d0314843191082be464e6aae6d770c8bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt InstanceNamedWith True Passed
3d0f7608ccf9dbc68d77020c6d9605b2b369722c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt InstanceNamedWith False Passed
dde936b087403a6cab107ea3ae93d48786adeb75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe InstanceNamedWith True Passed
227877065edc75a5e55761cab8041dbf1c5c3b98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe InstanceNamedWith False Passed
3f1b280fdacae83a0804d729efba782aa93e5251 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun InstanceNamedWith True Passed
5197a79e504e1a4378d3a392f9e04f5097d35a41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun InstanceNamedWith False Passed
5589474da3cd3e8e6f82b33b732ff19a7b2fff97 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun InstanceNamedWith True Passed
6455778027c49404846391fbd58d89f9db9d1d77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun InstanceNamedWith False Passed
bd9029653240a694a7ee1a5a2d49d6f2ced53868 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive InstanceNamedWith True Passed
cc1d40d8b6eb736851a67bc240177c514baf326c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive InstanceNamedWith False Passed
04e55968926ba0bae3c9610b2b9518b358790941 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive InstanceNamedWith True Passed
d63997a3ed8e5c1fd3d193364407f8ee59b80a92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive InstanceNamedWith False Passed
2fee3a1263d743ed54741dfe315a1a9448677c39 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 InstanceNamedWith True Passed
ef2f647e894bfd83dafabb5111a381deee7f9feb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 InstanceNamedWith False Passed
86dc7b7f8ae99f5467a0597d8e87cf1e51a5e68e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 InstanceNamedWith True Passed
9e63bbd86f001b7ae995e5fe8d693e3e8ea1ebb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 InstanceNamedWith False Passed
4045a1def9e397accc9a5b48883574821bd8c04f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 InstanceNamedWith True Passed
09a6dd4609484c4e7beaf9acc19aabce6fe1d1d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 InstanceNamedWith False Passed
40cdbddd54978e28fb133dad928d69a424d497f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 InstanceNamedWith True Passed
b9d06652754d3fa04d5dc61c0e40d9f0defb2ea1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 InstanceNamedWith False Passed
b75f77a84ed647130c29d6272e613743fe7475ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 InstanceNamedWith True Passed
d906a1642efaca45cb47085199abeb11a6e3a772 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 InstanceNamedWith False Passed
97719899b70cea674a0ddde31bfd824fc9284a07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 InstanceNamedWith True Passed
7489ae2321b2ac2acbbce65af32b766cadf5a138 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 InstanceNamedWith 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
db9a0dfb2ec91d25659729e8af0ff262986c499c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive InstanceNamedWith True Passed
0ef70b3ae10ddc7e385ae0e7ed92cd0c987cc483 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive InstanceNamedWith False Passed
832b0ec7ceac74e947bcff16db8d518b6f580ae5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends InstanceNamedWith True Passed
c89198be8c7fffb3364ef1ce902d3cdf57aa02ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends InstanceNamedWith False Passed
3b741423800be88762338a42a2588cd2f30cfd4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder InstanceNamedWith True Passed
2479692088a05d576f0edc540b052840d6d91000 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder InstanceNamedWith False Passed
642eb7e306544666fb560f02f2f8723c4cb91c03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable InstanceNamedWith True Passed
e967bb6a09d0302a67ae437e777e385bffc8e656 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable InstanceNamedWith False Passed
c7bce633e50c17c7d2c21875e7389e538d3f9a10 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude InstanceNamedWith True Passed
72e87c174837c4a712713e966ea0ef971772e78b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude InstanceNamedWith False Passed
00d2e560d0fc20a5d7959e179a8123cd1ad5bcc8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant InstanceNamedWith True Passed
f5a3d0a1ee25de8602651e58959f205c7c55ff4b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant InstanceNamedWith False Passed
d380a064633366f9123bdeb83482ad124c338530 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 InstanceNamedWith True Passed
6c0d56572ce3ffa3ffc72909d5180b264e27f058 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 InstanceNamedWith False Passed
277e7ca5a7b75c131f1f2e71b6db883db45cd7f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance InstanceNamedWith True Passed
496eb933601fb5b33d8a3f51109c3671e79d24ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance InstanceNamedWith False Passed
e8414a808e8b99a6eec4ff344311daa84216d763 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith InstanceNamedWith True Passed
550e2c5c51ef29d0fe9d2f7a43b6173b9af42f0c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith InstanceNamedWith False Passed
9c49d392a6f96888688133b9a2cf4026d9b351aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed InstanceNamedWith True Passed
e254ec82ab1f19d9003690f511601c4457ff3b77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed InstanceNamedWith False Passed
7c595e8459cd37c0f21a10aaa7f538d3be4c23d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith InstanceNamedWith True Passed
925472dfdf4665ae5760b55079468fabe15941ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith InstanceNamedWith False Passed
8d70d00a1fb0e90e768301bd72452ce7d57dcdc8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder InstanceNamedWith True Passed
9cb713e247ffbce842bcacf1ca9ae8dd412894ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder InstanceNamedWith False Passed
58c65f3e9d43bacaa264704bc368f131757b3c32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder InstanceNamedWith True Passed
634c80c4b70e6ccb92361a1e17afb5c7bdbe3e41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder InstanceNamedWith False Passed
4952a437823091eb44c570c5dfff0c05d3c08fce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder InstanceNamedWith True Passed
b7e0d6065c431234fcf1f0c332ca60c3a30ff95b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder InstanceNamedWith False Passed
13713191c75f6b4904b6f7fb4844cb990b53676e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder InstanceNamedWith True Passed
e3db58dcb13d0faeb7be2737c53812c76982984f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder InstanceNamedWith False Passed
1b1e6d1189c73c9b1b8169655f1506fc3cd9cb48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled InstanceNamedWith True Passed
85cb87d6bff72791ecececf0a4c34ea2907d400c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled InstanceNamedWith False Passed
1d0329f70569f25fc8d71009865064faca610a41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume InstanceNamedWith True Passed
62f037b44c41a1f7c76e3bfb13293c69fc434fa0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume InstanceNamedWith False Passed
0ed8e008143c602d87f444b50778cd3219293cb4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed InstanceNamedWith True Passed
f79de0709e0934de53f47d531f1e000996731243 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed InstanceNamedWith False Passed
724cacea171e859757ff3d12a59b87e4e702fccb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda InstanceNamedWith True Passed
068593708d264936ea096dcdf3ed68f9d982c2ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda InstanceNamedWith False Passed
680f2b080903b80b4a5c424322d0a642aaf58e84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 InstanceNamedWith True Passed
e5f17c91d358b0487af74160ae33d35c915050fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 InstanceNamedWith False Passed
7542dc82b059000c87b727b8a87957955f219415 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 InstanceNamedWith True Passed
a486a90a00bef8ea1026a3e569f9c4af1ea6d0f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 InstanceNamedWith False Passed
87c142216b5c8920d25cbd8b2166b9d7936a9008 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet InstanceNamedWith True Passed
a5c66a5a2f89ef6ee396dedbc6e9a8f9c2c27b35 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet InstanceNamedWith False Passed
389696e189589b2e9791d07a84441ece27ceec73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet InstanceNamedWith True Passed
521abcf650c74368ebdc5aaa87a15c2796809248 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet InstanceNamedWith False Passed
30da995a90d0e3d57bcb82820c5878b7fe7c0849 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff InstanceNamedWith True Passed
663f31c98cae85f187d6ffaf0f9881954d932994 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff InstanceNamedWith False Passed
c0d7d009b665ce195ea8c9a70d48e1d3cc68a433 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion InstanceNamedWith True Passed
fbdef8607e0554d692bc0d2eeea7539a696217a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion InstanceNamedWith False Passed
151ddc02e0e3ce9feadceb7233e3f52b6ccd6202 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect InstanceNamedWith True Passed
a2b5e667689ebaee0d2e80d47210980ad15ac582 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect InstanceNamedWith False Passed
7395ccc231278c77108b6ae61c5706c0be32abc0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq InstanceNamedWith True Passed
865bae1c1710d9e1c5d33229235ab71fb4ee256f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq InstanceNamedWith False Passed
42098872c5242fac76eb0d8b09423c909db84016 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond InstanceNamedWith True Passed
b79832ecc753835d506cfb13536508254807c961 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond InstanceNamedWith False Passed
b9aed8a16e553aa837c0c73290246d9b203d6942 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen InstanceNamedWith True Passed
fedb2ed6b79607e87f88585a3f365197115c9404 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen InstanceNamedWith False Passed
f9630a2762ec23c016a6648c195144a4fcbdbd0b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse InstanceNamedWith True Passed
f66dd74ad78c9977c829e5fe1679e7e3d8de835f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse InstanceNamedWith False Passed
6ab734143aa931017787ee6ec650bb45ac20b6a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset InstanceNamedWith True Passed
c63946b2c2a573a68209719aafdb70fcbe359702 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset InstanceNamedWith False Passed
4f1af56b76f2aaafe5682bbc65c0d58d42852a9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain InstanceNamedWith True Passed
a9fdbc450e5f65adf0ae6bc108251269830cb3dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain InstanceNamedWith False Passed
7bda605f0e233346b64a1e48fd00080e930fa2f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union InstanceNamedWith True Passed
98221b11e20057c111e5993855437ed237034bc9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union InstanceNamedWith False Passed
54002eb8ca72845782b64a510cbc191873110c70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged InstanceNamedWith True Passed
3875904a45b0fb5c4eed402c0a168db3a19f851e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged InstanceNamedWith False Passed
bf79d06990a683904ccaf1d836028de6aae560d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence InstanceNamedWith True Passed
5d7d8ffcbdfd8d9236d1bd02f96ebd16c41ba26f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence InstanceNamedWith False Passed
b92fdc461f038f6dcce58d562b6e9ee7b26d3106 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen InstanceNamedWith True Passed
e320d7eb179e1931c5dc247d9ca6a5bd5d27c0ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen InstanceNamedWith False Passed
e906264c00a1da969b6a2c40d893af09a8d0749d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat InstanceNamedWith True Passed
5fd923e73fd82063028a810bc290ee899a89d821 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat InstanceNamedWith False Passed
5b30ef46e6e76d4bc8447a4f82c8579ecfdca9d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq InstanceNamedWith True Passed
22a899721bab0327495c5ec969eb2a4ba1c136d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq InstanceNamedWith False Passed
0bcf27ef3a63175223e5ff3d85779787983e17d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq InstanceNamedWith True Passed
e8e91d68eec3e7ab0517dafd1ee57dde7a6719b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq InstanceNamedWith False Passed
7db38d383d827f69b6b327288bd2288295e86278 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq InstanceNamedWith True Passed
09ee544e522b8354073d47d7b8bff63eccf0549c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq InstanceNamedWith False Passed
e725088c1fec330ab543a70e4c7d7518aa90f2e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange InstanceNamedWith True Passed
d82f4381e669a0deb5a8995a863b616aa202aec4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange InstanceNamedWith False Passed
d581bcabf8026651f155bf9af4420e343b988446 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun InstanceNamedWith True Passed
da1f7e9e3ef8d66c33eea48db44273bd5b1e0963 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun InstanceNamedWith False Passed
7f975c4d786f4c93e494ddfacc21a67cb227b20f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun InstanceNamedWith True Passed
e96c9f68e75977736a971a6767f652052c6b98d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun InstanceNamedWith False Passed
dc351279a723167c5d9312edab3f4a588cc13693 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun InstanceNamedWith True Passed
d4b966b848e5a1a55f71bd846211b465a3bb51f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun InstanceNamedWith False Passed
bd032a2b6d79f9b694cf8d1aa28c604454683ce4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq InstanceNamedWith True Passed
25dbb0646701ef84c2ce5b13fe9af409e3c78fe0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq InstanceNamedWith False Passed
6d8faf033f690b063974333e925bb6ff97250073 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval InstanceNamedWith True Passed
cf5bc181bd8393efa98361c32603b7696f771ef9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval InstanceNamedWith False Passed
3c5df20fb348079cc2d70d565ce81bcd574578d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet InstanceNamedWith True Passed
1161e347464d34a3eca34e5d85a2dbf1c94da955 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet InstanceNamedWith False Passed
fa5fcf84e4545c336e7d015fc4260d41191dd8b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag InstanceNamedWith True Passed
8c5755613f8d744eafa69ffe10ff7193c572fb6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag InstanceNamedWith False Passed
dcadba4f1a18fe702645239d30b6bed006fa5910 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn InstanceNamedWith True Passed
849a7a748e43463e2486d1abfc36343b57919a39 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn InstanceNamedWith False Passed
d089def80f985b520b4fd48ca726481fdad284d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag InstanceNamedWith True Passed
fd87461c97199b25b7a400e91563cea3cc716895 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag InstanceNamedWith False Passed
93b7689cdfc96e22a8c340159ea451ba81812a23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub InstanceNamedWith True Passed
179b84c974f2577d9839caf9b74bb6b3a43b03e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub InstanceNamedWith False Passed
af6d29b814680da1a5b642bda2efa894571d5eae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn InstanceNamedWith True Passed
8e6a9703d3aae2bf34a6f90d2809ed388aecb236 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn InstanceNamedWith False Passed
1bc527a9dfb5b5e0c8c5bc0401c316bb563b4d21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag InstanceNamedWith True Passed
c9a69184e4a02fd92c08a4c11532f01da5353e41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag InstanceNamedWith False Passed
e9618c17f7814d9350afb2166477f5d8587fd907 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion InstanceNamedWith True Passed
932e139cbde6113a77c1a0bef71ec551cf3045af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion InstanceNamedWith False Passed
90ed8a809788e1bb09fd5460da2f88b35bee8fb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality InstanceNamedWith True Passed
e50bd99efd09589a95cb657ff7cee2faf2024a04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality InstanceNamedWith False Passed
dca1a89dc94e84594874ff648aeebd3d7412b5e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll InstanceNamedWith True Passed
99d5b5ea59d6514264c2a6dfd179159bca91cce4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll InstanceNamedWith False Passed
1b65dda6cc1575d14e47b77eee47e45ba27016d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag InstanceNamedWith True Passed
7a8435618be77f4bab833c71bceeab743c2dc295 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag InstanceNamedWith False Passed
37ffa08a0250f525b222cfee23ce2236b8475f21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceNamedWith True Passed
286459e961d7364a86739503c17ec38c4cfd0974 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceNamedWith False Passed
f1e70e926f4794523d8d46632b2f94a3860c86d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality InstanceNamedWith True Passed
a6b8c0da4449f8d64bf99144a303b3bd5e433c95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality InstanceNamedWith False Passed
a9e309d6df628403162b36d8c8fd3110deeef81e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead InstanceNamedWith True Passed
97b7f489075a462bef82da60bf7bbe29f694a67d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead InstanceNamedWith False Passed
dd7890909c84bc8188721e96a36cbcba2cab6de8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail InstanceNamedWith True Passed
cb7911db22a6ea45b429a84b3e0967835f6c95f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail InstanceNamedWith False Passed
fc07cb04381e45917b35c7a2be21d9fe2d319500 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend InstanceNamedWith True Passed
7b10b016f3caa7e26c0923a440fd6b276c573fbc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend InstanceNamedWith False Passed