Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
7876120b934d05bdf3836678b571bf8fc35f94bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Def2 True Passed
af80d625cea70e597f07ccde7e608b0fb9273545 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Def2 False Passed
c972812d1fc5f2c9bc9899d62a0d0542b2350bbf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Def2 True Passed
2ff95da77290702d7c8f8f79eddf5806270dca6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Def2 False Passed
e7de41c976a6bcf0eeb02411985addc79bbfd4b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Def2 True Passed
bf9b30f432ea454b762ab28cead8e7ea0fe810d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Def2 False Passed
108103daa6782e24849aefc1bdeffa0c7cf4cc35 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Def2 True Passed
d794cb0ad85a1abce9b6413d3ee238e9ab87b012 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Def2 False Passed
77f589ccfd668c91183e7f3b6e40a171ecc2ba81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Def2 True Passed
ba95ec1ef6c10bac1e75efe94a40878fa55831a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Def2 False Passed
f4ddad7a443db6c3f2375329d9b66a2e40108148 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Def2 True Passed
e4ab295745150541404e8554c89556365f0b9ab9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Def2 False Passed
be85bb1cbf1ce5590c78c608a6026a607861202d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Def2 True Passed
2b28de5dab41bc480e46c572ed59f8f582c43edc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Def2 False Passed
4ab14511eb80e9c64c16e2bafdf2cfcf4c7cb34d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed Def2 True Passed
05b929b03d32e5e4d6844b7e9082455880174d07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed Def2 False Passed
4264933da4c351b229ba5c7757073bcb2a508ca1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Def2 True Passed
c85a5a3e1801385d6ae87d1d87f45e24c8f7347c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Def2 False Passed
ed2e373b133a88b1587ee505723301d0157d46b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Def2 True Passed
b57ad396a31d8671ef187ccb6a419f70824bd0cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Def2 False Passed
fc5b1e63e69f0bf01581f39d43f90e52c5a67f86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Def2 True Passed
d0cdca6df3f11064fd43a80492a3ff5bfaa4e91a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Def2 False Passed
566add341e19ceabb6b441ff2a6bc0bc66103118 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Def2 True Passed
c82c416810580d73a4f6eef7a802cb2839c93a2e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Def2 False Passed
a60e49305c654a170aec31264d49b1efc2205d15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Def2 True Passed
10d5cfff6069f948b2d973d5b1de33e09ed0c56d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Def2 False Passed
a1fc52d9bac27f6553365be27c04968b24a582fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Def2 True Passed
d7149df749939f4e34d75d92c1d57a11d8a4e76c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Def2 False Passed
030483ed30ba4a52d54bec7e711e42372c69222b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Def2 True Passed
6736fc048c5b327b796e6534e65aac96a42c00a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Def2 False Passed
5c8e97756b83dbcf45d8d58f8ab8635c92e8cedb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Def2 True Passed
1aa9bee729434c529ffab10073c33f1a6c995370 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Def2 False Passed
2606bf1cf27462c1c4185e509db8d59d41fd3c6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Def2 True Passed
22f027db26f995138e03d71e1caaf149e94ad2d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Def2 False Passed
886ea5c51fd472c9ae828939fbbf0994abc69851 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists Def2 True Passed
389f300fe9598508a405d0e37c7220dce685fbf6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists Def2 False Passed
7646e89474c84b2805cc21b205448c9f2e3f0ac2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall Def2 True Passed
79bcf547cc9454701f1c944ed72524563c17f994 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall Def2 False Passed
1c45dc08ea4280ca9c65e75dd478db641ebd2242 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Def2 True Passed
ea334e070eacc5c2a0f29a38ecee5b190ff62d3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Def2 False Passed
dff8cd254cdacc660869d7428b12445c2c977ab1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Def2 True Passed
6e504d603ccacddae350e782e8e8f49187774b8e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Def2 False Passed
a061ca336f0ee5d3a10a1374935ee162698bd2d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Def2 True Passed
0004747b908704e3a55d598de572931412a9a011 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Def2 False Passed
cc3648d81c9d929c80a87daa71b44e992fd77e61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Def2 True Passed
1b27562a08885b7b5ad3299ebcbb0a883ae3dc7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Def2 False Passed
f8c727033a3c5d1db97fa20cb7ba57c624fce48b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Def2 True Passed
14d513ad2893c2d3792f39dd3a71623cb308ce3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Def2 False Passed
60ce4eaaaba41001688b03bf152098f9404b8d23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Def2 True Passed
7599def06760f799084edebc48a56c549ee0831a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Def2 False Passed
79f8e95b11e85ee41d4b4c72d9192422578b3f01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Def2 True Passed
89221c1f614574012d0cdf42f1abfd140a901389 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Def2 False Passed
4c425906b79948b04d4d1fc41ce6d25f36879018 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Def2 True Passed
9ec6c9ffd0a6a429ecb6c32ec8df878e804fddd2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Def2 False Passed
b65e8006a81eb7e7c9df90385aa6804631df4d10 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Def2 True Passed
493a560cb396270fe9e607d78e1fb73e555b1ef7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Def2 False Passed
5edaf463dc44b1fc60236487465ba404acc8fd05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Def2 True Passed
e1f520995e3f35f11d64b742176d350703f95914 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Def2 False Passed
e8f29ecb05fb43fb2df25ed2e07633aeff79c110 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple Def2 True Passed
f003732f36146d3afaf0f00c13f71bfb81fdd9f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple Def2 False Passed
57bb97a16ca84303480b0c869e4353cb6f2c5775 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Def2 True Passed
3fc9fc800d8790e27b3d38620755657cdf669cac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Def2 False Passed
b0d9d7a8fdb78d8284af292fc45008f302921e7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus Def2 True Passed
7271ecf7d5f86f08a78cc5e39c5233ec00139756 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus Def2 False Passed
f34fc0015fe7d50cf867f782bf68474363ae7c9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus Def2 True Passed
84ccc43b2f80d61757d405c45cdad3e87dba0dfc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus Def2 False Passed
5435c5de197a2a3416cca5133b695f3b05156304 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus Def2 True Passed
84496afaeda82bab9b89982cd43858ac8cee251a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus Def2 False Passed
1286280700047cba32272f1bdd6ddf7762545270 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul Def2 True Passed
9769ea8e3504d309a800ab18cba8dfbb289d40e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul Def2 False Passed
5cd2a89c9caa33ebeba3349bd65d51e43018e529 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv Def2 True Passed
a046df7d5152e63c7fd6be59756f95fbb7f6ccd2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv Def2 False Passed
6bd370b5a336022d8a33922ac96b87925492b45e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod Def2 True Passed
f5e83fcbf7b5e5e03e7d53bde2547a90ee4a454c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod Def2 False Passed
678a69b6c1f73d5d893e115a8e863e3250a08dbc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow Def2 True Passed
4c8eee7c441bc6e8ee4115d8f4c13e90a89ee641 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow Def2 False Passed
17e0c920424cc181bc4fa7d88e1c2a4be0c7a90e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt Def2 True Passed
286ee4c0cf97c877860add7f4c60b4446b3287c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt Def2 False Passed
7836b0405c386b7c03a2b20c73b520ec2d22cabd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe Def2 True Passed
58001055d483133f0b145725b6d07d6a43a5664c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe Def2 False Passed
25134640f43ccaf379d2fdcc462de96b4eeb045c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt Def2 True Passed
9f7037be3973cac29170ab2f9f87b0839e28665e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt Def2 False Passed
dbf044169e6057750947e6289413d926dcdab1db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe Def2 True Passed
7e191ee49c264cdc6f65267a120271597323ebe8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe Def2 False Passed
f40a91100b31425ffac1f5b85c015b74874d9b1c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Def2 True Passed
8e0995b55d64f848c61dee24b47d8d0bcb8bfef5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Def2 False Passed
bed1a14badc4b4d610f2eeaa1c87602e63099f7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Def2 True Passed
2501076784cf2ac9ac3008349ff936fb325a0553 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Def2 False Passed
0db10acfe85a16b8028562632b7d90561ea7e33b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Def2 True Passed
4cd8b4f05e01e31ba22a2ffe164e3ac16c6a1249 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Def2 False Passed
cca27b2f4f74a125ec161dad360723146973c305 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Def2 True Passed
d68aceabd28bd088682db1013d1bb3155e3b942d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Def2 False Passed
5fc2ffd95454537d931e6e8978caadc4fca6fab9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Def2 True Passed
e218fcf4325a5ab5fe8ab2d94163c8a35c61ff0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Def2 False Passed
526be39b1608177082151157199527d7c7ca2c6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Def2 True Passed
e2d7d5a5e2d16003c4037c9c9bb1c9353d764a7f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Def2 False Passed
ac318b7cefa5b7b47dcc0a668ed384cf08e21635 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Def2 True Passed
0fc3eaf820ebe1f41399749314243258b3452358 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Def2 False Passed
7f835fa6a0769369d22492aa86a331b1b3b387e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Def2 True Passed
e54739e911548f6b6e05a379742514f7f2ae1431 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Def2 False Passed
f2c1205c29d195f5a38f02676753fda49869209b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Def2 True Passed
9e5c545bc29a4628a2c15a4ef3034a8199087500 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Def2 False Passed
9feb4d186934accca49baa44583f0026cbd946af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Def2 True Passed
e38e19e9553fdd61c5001367f03038852a5be44d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Def2 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
3993153d40f28e52f6ecc73d173f38bbfcd76ac4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Def2 True Passed
d516a01276c9eea574764fdc0efb955812246c86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Def2 False Passed
0fbab55a51198ccede0dc909cf00d3073e9e3d02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Def2 True Passed
d25de97674da5394dc5f9b0437347f27a7bc5074 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Def2 False Passed
3328b4011db9169ee2b44d2f7e172e1a8330ad55 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Def2 True Passed
1b703b455fde0e8cafc2cd54099d2ae9662cab27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Def2 False Passed
27ba994927af6f8bf070d7c1814c21c9ac702835 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Def2 True Passed
049c7325142c897117d3593629707137d232b6e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Def2 False Passed
dbf0ab201deed9e4ba78eba54fd8978963980b1d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Def2 True Passed
ff4237d20149d6ca4f49756b5ac246b5ddc3ddc2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Def2 False Passed
b97b9785eecd2433adb79970cc621229c43c07d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant Def2 True Passed
5b49ba09a59d55361b1f2bbad9dbda719a703bfe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant Def2 False Passed
f6319ec837110a018a9ee47af3cdf5f6da752e27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Def2 True Passed
4b109f9dee9bbb95608dcf737f2bfe8ebea146aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Def2 False Passed
896273e5ce9ce7028d020570eeee3e56e7d42563 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Def2 True Passed
c426c2cbe433e9e0b1499a791483a4ee725b80ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Def2 False Passed
485c34787a2e6283b9e9d460af62fad3929bc042 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Def2 True Passed
b1ca2a41f3410af302292b9fb1eaff40f9257c83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Def2 False Passed
88473367968c3051ca8d2363a7fead3028154eb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Def2 True Passed
fbb39b6b50b9ed8a3c4a128d4b13d19c484aa6d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Def2 False Passed
b4796ed1e9c3b00032ff74956cca9d416800be3c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Def2 True Passed
d2c223b8c0d18bb04a0567569bac2ee42803d347 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Def2 False Passed
abeed160eda3cee3f876d09d8417ee8580232923 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Def2 True Passed
88a2ca093f0afe427acaceb0610416f2452fdb83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Def2 False Passed
562938c805baaf03790e68d08492a5e313b98ad7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Def2 True Passed
594739b1f2dee033e4e9736b888bd51b097d9994 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Def2 False Passed
2c78319e6f3d27f2ec5228779f6c2c0cdd3d2b94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Def2 True Passed
8a691f15573f67deefa8851fe283f4adc97947e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Def2 False Passed
b7eb54e930084dfe6f47f10dea66e5c2ac0e3896 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Def2 True Passed
4824c15968e76c333a439ea718016cb81a998886 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Def2 False Passed
fbbc7ae5bf80bd7f0ac1c1e3c97e580baf48fc08 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled Def2 True Passed
d0f5ee31352ed1d6b41db116a652a104726e97d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled Def2 False Passed
41c5708924d66a09a0e9509986db7cfe13ae1a8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Def2 True Passed
92674403d034d1879ba832d5635dfeadf8ae409d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Def2 False Passed
baa095446c78f120d11f37323e67b35a63d162f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Def2 True Passed
c2c0bef77106141180b60b21fae0bd5313cc2c93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Def2 False Passed
c15ea963546a341822726f562d7d56aeecc44ab2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Def2 True Passed
b519f33003e8ac4b71502e32b78c359c5b3782f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Def2 False Passed
2597eebc5837800b121c6424b8ac09ee41bc0a70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Def2 True Passed
59c11d6b73216ebbbaae39bee587701b76985abb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Def2 False Passed
d36de6cbcb87575b89309628ab372acbbb0b8d9c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Def2 True Passed
c431277457970045e5a719154ea5dbf7fd80c48c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Def2 False Passed
09fdfa4313b3534a9b6d963d55b35bd8e514c316 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Def2 True Passed
ccc5ad1129a023b4f8f343c798436f1f2757c002 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Def2 False Passed
4d6cc3fa68c1fb2536e61a38a019e0907d2aa787 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Def2 True Passed
506ffef4c173433ffe5c8aff426f7d544cd8ba43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Def2 False Passed
518230e982ce453f846dbbe6c7f77e384605359d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Def2 True Passed
50a21aac9574f190c16848e9a480ecd85df7c74d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Def2 False Passed
3eeecec60c5b0e8464299fe77b5691b267e9a611 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Def2 True Passed
f68e2f9ce5b7bcb3fa7c708040c2db4e0a960d2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Def2 False Passed
76e691aa8403fed89de6211be0015eb4d633c5aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Def2 True Passed
78158a78531fc60a4bc1205a16192f7aff3733ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Def2 False Passed
02de81ec4cb3dae66ad1e1591a6735aa624af058 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Def2 True Passed
5bfd4c0076f5d585819485339809143f82c827a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Def2 False Passed
9b3c06472d4d0616203282025f310b636215bee6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Def2 True Passed
df350e2ef0e338eb12a4aad687959c3a16e9c037 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Def2 False Passed
fab000238c205e399bc453c90d2e031c42d5eda2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Def2 True Passed
f587228ef37b7b0e444b15f4cfd14493a157515e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Def2 False Passed
1ac89e2cc92bc0dd8e7b4dc56c90f1e393aff75e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Def2 True Passed
b327c60cd860ad3c6b62f49d1c0ceedd97a50302 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Def2 False Passed
72b266147bd5996358165a0a590c0f015555ba2a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Def2 True Passed
eb6053f40b3695f613ba1515750701dcfb843764 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Def2 False Passed
b4672c6f0a4949e58626abb4799bc7537d10175b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Def2 True Passed
b6f1c7a967f18d20a84eedbea7f4c55ee54bd32c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Def2 False Passed
e088623a5fa8f1547c296955337631ec7d455648 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union Def2 True Passed
8b8cfd32666be275e76b20e9daadd078a2c2da75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union Def2 False Passed
2ead4e76527fbe793dd24ae9563827c893c95499 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Def2 True Passed
360df7ab281b35999af20399e8a5886c42676139 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Def2 False Passed
b5f5f5ef46ed284439525a4310fc9e88c3f54ff6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Def2 True Passed
9f8510e3ca4c36a0b4203b4a28c96088a0e8e59b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Def2 False Passed
6dd72c84c96c149f9470e0bc35151845adeff419 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Def2 True Passed
5687f70311fb0e8dd7dc3dd9d1539ecb0af527d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Def2 False Passed
815ded791deced91e64cb8716518634692d2326f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Def2 True Passed
42539edcfe9e44a278bf0d54980b6ab01f7cd6f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Def2 False Passed
dd915fac7a6996f6569de77da47761417d7c14c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Def2 True Passed
ef6554105f47b9fcd6133a8c95e1465afdf040b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Def2 False Passed
f4b007776498946df609a28cb3879de7867adebe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Def2 True Passed
5b6c401949f23b4787b54a96525207fc0794dbc4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Def2 False Passed
08f9e7505c5fe15047738dc444dfb540bce060ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Def2 True Passed
c89c85857a64bdee94e0e802b8e705e20f34b73a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Def2 False Passed
c99aa86961b8bcd0f6d7e778cae7690858b3db2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange Def2 True Passed
b9577c090b435f3af8af94ba75252fbda925a585 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange Def2 False Passed
3ec74609c5fc733cd89020a1c72d5d353723de01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Def2 True Passed
ae800e13149e618fb0e10d24da6a3af496674e27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Def2 False Passed
6871a45bc382eaa19e9e53edbedd2aa0ff2a8ab8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Def2 True Passed
75d4dd2dc30191a4b1c9d2bb5c37666e4c2dae8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Def2 False Passed
e1c6b4a07923fcabf59839e979e84ab8f3881797 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Def2 True Passed
56947a6b899070a6fb883946e3e9335b8eeb8bb3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Def2 False Passed
bd98931fce3e673ce20e6d28b731f1d38adcd858 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Def2 True Passed
fe0cd4703e4e72aad8b0b6a782a1cd293c1adcf7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Def2 False Passed
4a50126924f5ab079a367b9ccf00c36364aa28f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Def2 True Passed
76abdcfa6089b77954cc88c9643495af3e27fa83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Def2 False Passed
d567b89ba5bf9966f14604411ef0263139cdb437 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet Def2 True Passed
6765d804cf30f33d51b6f57c18feb574fed2deb0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet Def2 False Passed
7ebf8fa2b510cc1161981c0800708ab8707db3bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Def2 True Passed
4f52e0e505666c57fcbab953644830b53916257c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Def2 False Passed
5fea53eaeff3077a1d9b279638586b5e76a4436b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Def2 True Passed
458da1721d6ee2a3eaec7c2609cb0f7753154822 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Def2 False Passed
f283ba932ebafa6aa239c71f8eedbe119ae5db95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag Def2 True Passed
491d2f50f1ab4ae7bc7095eb0dcf0d3e201058bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag Def2 False Passed
d9fc897c53fdd14fefc6d308e0430bf3b5c13f84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub Def2 True Passed
aed15b0d255aebe0f6a978b7593677ca44a316a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub Def2 False Passed
38929feeda17554c481acc5efe5d94f1b259b101 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Def2 True Passed
2d1cb914748abc4f72d3dd9c4fea8845a8c524b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Def2 False Passed
6c5946b5d022a534a03faf2cd9a4ca921a275054 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag Def2 True Passed
f0b3df3043bd3b658c1da4e58f06b3fcc873e218 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag Def2 False Passed
a8e0b1e864dd1964fb042b0c534d2d58b612d3a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Def2 True Passed
ef04600154e7e770f757eb3f57ffaaeeea89e60b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Def2 False Passed
5d33a20dac5385c74df0f1f3a36c175fcf175ea6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality Def2 True Passed
55d26ae46ee0e49209da40d0648884ed8652b525 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality Def2 False Passed
6528c44985707bdb7d74bcfcceec69f83025be03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll Def2 True Passed
8b99da25b835d345d1aa2b29f215d1718c5532b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll Def2 False Passed
8213d387cd1ba51a54daa25ad824030e9607a616 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag Def2 True Passed
5cfc482d8e966aa597917c6dcd6cf05d33049463 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag Def2 False Passed
1219376050b9dc0f73de46d3e647184d2c2c282d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Def2 True Passed
e31160f2a673d76bc969f5c5755b96f9a9cb2f9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Def2 False Passed
0282444e8d9c13d98860fe62280d6bac755501f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Def2 True Passed
40d30bb98639222292be06f4f70906b0e9b8abe1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Def2 False Passed
6c0a4558cdb27a900b2b2137fe1de353fda8beb2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Def2 True Passed
c2bccee51ea5914b89f76ab7162cf1d2265aa384 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Def2 False Passed
54faece9359f1fe1b16de54b09df12feff6592b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Def2 True Passed
05849149b90ccec6690eccd23668b4657893f59f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Def2 False Passed
6884806d4cf58ecb60c3fdd7769a9093c7741a66 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Def2 True Passed
3014aad91076a2f14e3b5234913f295be731d15b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Def2 False Passed