Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
39512d11b506bfd319cddb083aae13e8998be9aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Instance True Passed
cf93bacb7abe11ea20b97bb55a324edf3c6d7a09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Instance False Passed
25ff25e8a27c6e418d566464d7820084d0d63ed5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Instance True Passed
e6237060b89d0b7b437e6dd9d5c46285018ba3b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Instance False Passed
5f0c6d00f214ecad4693f6fd44e695ed6fae84eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Instance True Passed
d871b60ff24e09d09d121537cc87f91203433265 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Instance False Passed
df576df8da75cd197c2a1ba33b81ab7f79019d0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Instance True Passed
a0c241a9fc335cfa038eeed7cd62c2efbcb9e1db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Instance False Passed
6770b924521aee7b921cc85d996cfbc697839045 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Instance True Passed
d22128f674b21976727b939b5143c211cdd855a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Instance False Passed
ca7d1bd84bfb813513bedbf7d17cfef5dc4db157 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Instance True Passed
e65fb35487bf8b0b04481f8b441797a8b88c676d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Instance False Passed
fb80d0a8737fd2b09083cbb69e0781ed53c2064a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Instance True Passed
ae7c92dcbc3aaa5d64910fdd293404f92f912669 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Instance False Passed
c34c55c98b27499b4c1aaf9e28139a8c29245946 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed Instance True Passed
baef04e07747ab4aa9379da788be2b0fdf40d746 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed Instance False Passed
f0d6b9fa46a5a09c6eab9b12b4e123a5ae03923e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Instance True Passed
b3769d3eedefe4995e58809d3478646b4c0fb252 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Instance False Passed
e754ebadef744d2ab4fc69e761db406174ee34bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Instance True Passed
81181d41035a55b86ffe7a8832ca094faf4594df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Instance False Passed
8d1cfc558df67678dba8707380a568cd93613b97 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Instance True Passed
93e2dadaae17c1d9ccb4862d52bf02ecf9b4ab8b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Instance False Passed
1deb3f786dd8acdfda7a2210b0dedacf594426e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Instance True Passed
0aade38b970878d79a79855bf186eb9414ea30f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Instance False Passed
7b2b31d18da02f439458d81cdf22f5915b242dcd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Instance True Passed
4c95a13d348d60cb1726b9b53886a6328c5eec26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Instance False Passed
2af72b8bfd00b903ec693d3984c90f8cd2fd13cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Instance True Passed
c866412634f85efbe86a4ac8ac50b4a78ad439d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Instance False Passed
ba2bbb9b502aef5f7f990b7a5258f9b482e5b00d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Instance True Passed
add659bb3a6a0b5b266f77509ab165d239f4f311 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Instance False Passed
9f046b903826890d64160a95803455e5bd219a49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Instance True Passed
b897bc53d37ebab9dc8ca90e692e7c6d7b841997 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Instance False Passed
2a13f0ed0b59c430ccd9549c23396103a79f563d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Instance True Passed
195196970f9c1901cbdf7e13ec978370fdbd0abe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Instance False Passed
5c8af40da92dcc69e6825d97d0e52cfbac3b61bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists Instance True Passed
8f3532c68045a2069e7fb457cb015ac42ea3c18b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists Instance False Passed
5cb2e8a121fd7c8502c6e3104dd3c080e30ae912 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall Instance True Passed
59f260c3a9fe61c4a24d109934aaa8760837b8b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall Instance False Passed
b52337b323ada43550fb89182f73131d181ec571 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Instance True Passed
e819486039a86373b6343e89a9c0d1730c70a673 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Instance False Passed
fa8a6d827f91195d7b92dc4919bc2e60d76a1a4a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Instance True Passed
5f465fee2b5abafd69f0940611c5fed5cad58936 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Instance False Passed
64c9a2e894fc30637ffdd08e47ca7a5ce79323db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Instance True Passed
1cde9e5ad69932d50cc15c80d7da29ad4cdfc5a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Instance False Passed
db0ddb7fa9156691e6b8ed802b970572be67c13d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Instance True Passed
6723e28126d4c00c78a3a39574fe73a408e06df2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Instance False Passed
dc4c34510daec032b3dfb70ae25dd50ba061f662 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Instance True Passed
95e7e37308bb28af55bf259e04b75c67a76cb0b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Instance False Passed
aa11a6456928b5d12872dd49fe76a2c63fa8637d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Instance True Passed
d1004e50c2e27530f0b7ff90abda27d82e204493 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Instance False Passed
0c1c21044fd78df0de10b3e878aef8743a316a4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Instance True Passed
0ffb85442cc2645f60520829a3119b11b7e63c21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Instance False Passed
afa5aba8853664aa992c08daf5b689a41b1a12ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Instance True Passed
b7ae18938673702bea1f39b9d03f2e0468a72351 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Instance False Passed
8937ecbaf18abf514489da632366a83bdfdffc44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Instance True Passed
f921e18843ffb33c163cb7baab622a1eedbcd669 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Instance False Passed
cd8c1a553655937b96fb5b8f6b0ec4075471e761 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Instance True Passed
9843857eb46da0294257e53930b9ca17601bf055 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Instance False Passed
24163da372329dcec44fba380c50547ae2daa47b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple Instance True Passed
ec6dcc8f9a5efc6c38e1dbf40a0a18c7970225b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple Instance False Passed
805a8ebe5b9dbde92b4c5101850c68134f3ee089 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Instance True Passed
6c98a5d2d967869a996aee3563a8e1f7ef3ce28e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Instance False Passed
bfa1f3bdb70475cefb914decf5cfbdf9d6daa849 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus Instance True Passed
449c853d902b1e1380dfa9f3ccb47c0eeb81f374 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus Instance False Passed
550db06bebef409027190ce3fb997572bf566648 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus Instance True Passed
dd4bf83cbf4441f447638cb0489dabb86403f1ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus Instance False Passed
cdd5fdb5d4384a8a276beab5c588275c60607ecd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus Instance True Passed
cf21d13e5dab98aa625e7e281e30165275278adc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus Instance False Passed
34b567e1449a9284f1d44984ca72ac6c95276401 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul Instance True Passed
a4a7d1aa9e8d8560eaf38a97e84d30245aa1011a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul Instance False Passed
0c1f6b5da3b0ad0370d844856a66b5dadf704d45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv Instance True Passed
fc1c035a260cf868b6c50d756ef230952f0a25ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv Instance False Passed
591b27096751af80e30d1e4abe3bab884afecb9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod Instance True Passed
114b8cc7d5c57653cb8c13901ac045595b2d403e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod Instance False Passed
44ef1d819a7bb09650e52f2325d447bb7b49460f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow Instance True Passed
056b363986972945b1b3583192172e46c3e8c50d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow Instance False Passed
73a5d3566fac2c02ff1db07fdc47971723926e1b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt Instance True Passed
b989ec1054e30654367f869a4b8d9737566eec1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt Instance False Passed
f10073c01164ca4672000ed08492331ee22e5fbe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe Instance True Passed
c08005c2c751bc9b43b9bf69069d6a8dace617de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe Instance False Passed
1b874f00bbda99124291f4f2a1a9810d4a7bdd11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt Instance True Passed
eb971a3d842751269f35b272fcca8469fd38026f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt Instance False Passed
708e4888eb29ac51fc158479d344ded2ac325fb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe Instance True Passed
22bb61ba161779e78d0b4eefe4961217646432ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe Instance False Passed
b8853de3054f1713f7fd8f81875104319eefef2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Instance True Passed
63d4a424eef672337a1cfc6bcd88ca05c3d3d0dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Instance False Passed
10c447e89a6d0a33e230f4360a1d43da171c5f01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Instance True Passed
17b60459c5674ca1eb944340c49bd8cd560ead81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Instance False Passed
a9f0c3288d37621c9fa4adbd7f5f23677838ff17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Instance True Passed
9505e4a36570aec4cc3ab92cbf406ee1bbc3bb6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Instance False Passed
4c025072f13b8ae281da22aa5fbe4c12174a79aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Instance True Passed
218370c43089f46519073ce357871c7356fac0ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Instance False Passed
48c14f405f38cb72e01175aca845bd00c29eaeed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Instance True Passed
f32e2d9211973db875f0266e553b6bf3a2cf3cff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Instance False Passed
e8cc82fdcc5d9f427ce5e13e17e0b1ce21cafa87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Instance True Passed
4a9512cb66b73c419c5a3a247b8992d3d33e3785 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Instance False Passed
f65cdf7c5077a0c386efbd91cdbad60869d0fd62 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Instance True Passed
74760a3bd43f7b71bcab78f03480507ba49b4409 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Instance False Passed
b0179236a9f8a4f30fd77e8b3551c746081694a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Instance True Passed
b123d3e800566ff7a8ebb13f735b3832c6330711 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Instance False Passed
1159e2e001607b35f8ab7e4eb2c3f34cca7df41a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Instance True Passed
1c1d6c860774b603bfc396b45f597b837eb7de7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Instance False Passed
e47412cc67cc2238abe9c1d4fcc4f9e321f00a68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Instance True Passed
4ac7b462ae87a24242d00d4935c36fb175c45b05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Instance 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
094f5c8deb9584bb88c23b31bee3be1ee6e20709 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Instance True Passed
cd3b523d92277e3cb1ad7a9d415ff320531885e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Instance False Passed
a8c1c1c598c0a5bf3e53137e087c00505a6c89d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Instance True Passed
1bda6532916e4d510a4125d3b093938fbefb6848 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Instance False Passed
50efa4eafb2a24232f89702c0fe08ff201f96514 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Instance True Passed
a4d35afd5b2ae1e06dc82af510b1cb5dfe5d4ee0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Instance False Passed
1596214e958fee759fb53d7880670458046a5bf9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Instance True Passed
f62291c1513f010bb200e7baaa063ebdf67d24db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Instance False Passed
7819c1ed42f42bd54ed20b550430aabaa00f8e22 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Instance True Passed
e46f735b19fd6e6cf937f43446a6b77bcbb76566 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Instance False Passed
f7d89477d56cb5b096e326f01df7f47a2e6e6370 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant Instance True Passed
9310b8823c21b5c7051b984ae753f6f401fc6b92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant Instance False Passed
3b899f6ffabbd3fc7d47a1c2c8dc1035d6f1f7fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Instance True Passed
4ebcbc4d882c170f98876595c717c9fe3b6181ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Instance False Passed
7cba0eb8321f5355ff02a26fd52485468dc94519 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Instance True Passed
1b0ee283fce9b92d759eb2516d5b6b54e6989589 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Instance False Passed
8f5456ec783dd8035b2aa54206c21c557ba3ba00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Instance True Passed
30652681a2cf4dabefb53370a43fd37b29c50f22 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Instance False Passed
408a4ca9f6945f5cdb9d8bb091eb8acbe90c32e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Instance True Passed
de0a5fdc34bb7f0f168204805de29578ee30705c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Instance False Passed
e0d5685e9b751fcbaf3b7edf9c4b7a66604676fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Instance True Passed
3523e178b189ad31f47612171f975acebd8b91b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Instance False Passed
1371459b2db8d63e17978d57563e926166036312 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Instance True Passed
5ef5b45bf15960730f671146f8ee4b6e11e5b92f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Instance False Passed
17f5bb19022c8cc8823e20c87740d05b3ec0cabd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Instance True Passed
7ed5d88a24b0251a429350f77985c82077f09de3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Instance False Passed
0c562831fdb8064f267ff2138327849625896b3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Instance True Passed
6c3cb98750b4f87097dfe0eafd35e282f54c48a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Instance False Passed
3be0aa0c78abbb85aa0fce21424b46736fbc0373 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Instance True Passed
f9a710f584c8e75682705ebb7ee39adfd9dd8e4c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Instance False Passed
464d6d2191e96734cb08ec4f25cb8e6464993c1d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled Instance True Passed
5fceb13657e79be646f46c20ae4faef3de93ee90 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled Instance False Passed
4af4f2e219eb8d3a7d578f9842c5c2aa152143c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Instance True Passed
c82737127cca493482e0a2476bc5e0a01a437f11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Instance False Passed
f49a2a697e68d8a531ad5f7c1be055664e264b73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Instance True Passed
9e8806c742c0200df50145124a7b54c9ed2af62e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Instance False Passed
0a384c9f1bd2811b049a9c9138ef01663a9c4376 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Instance True Passed
cff759eaa8ed4db6a782d4bebb11200733f8fae8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Instance False Passed
5e73cb0e2a275c4d3169717166a650c3a66cc9fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Instance True Passed
38b81d08ade757d2d803da92f5eb9e8a34bcd710 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Instance False Passed
8ceb9f0ebf1cdd544929b20e3ab4ba35bf33f51d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Instance True Passed
64630dba3f22b8a080106bc4e369d583ce713274 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Instance False Passed
ead9feca62c1576660c232561f24520b1ec0af11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Instance True Passed
c8436fd39313b50a122fd8d21f3df0f1638aaf02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Instance False Passed
77ec70b7481e02afef0f13d0d028289f9fd21987 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Instance True Passed
21577b74a2b24ac2cfd2b7ce88fc2344d9556cb5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Instance False Passed
c2cb98ad3201256b172dcbc61224c4710a6bf8b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Instance True Passed
14e7e58253528eae242d1b04386e2ae929a886cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Instance False Passed
9d40d1a5c325aace6e05544d6e369e29a8d94a3d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Instance True Passed
506b3234ca51f652280fab690b6b309f15811622 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Instance False Passed
894f290c7686c6e16620464e25a7505c6befe84a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Instance True Passed
3251f8c8fe861d87aaa2a5e638720d78fa6a95e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Instance False Passed
a9ed377678524c03b39f5b21b732b420a3cefa49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Instance True Passed
2b83df5fa5fe6c8f250074b8cf1082a87049b733 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Instance False Passed
8befcd89f1fc335fa5c4da8fd0c8059f6946c5b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Instance True Passed
22af985fd6ffd7d8922a384090b9632de123559a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Instance False Passed
d39d6ec51324eae3577ea0d59b0abd3b97d4ba37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Instance True Passed
174d304feee5b19ac58e1bf6c90681ad95f3f005 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Instance False Passed
15a8f0f9048a5cdde9bb95c2029ea70d610da64f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Instance True Passed
9f07f23c854d772414505fd1b932615f4926e850 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Instance False Passed
dcfa49608bee01e4e5fd5c261bec526efa626abf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Instance True Passed
8031001530b7e4137ac8ab41c42d336bb19331f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Instance False Passed
82326b7b5213a2cba029d666f8129b5723dfa8f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Instance True Passed
54bed3452742987a5673773997214e414fa356d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Instance False Passed
4811fdce59a6338e0176a03e0974b12e3977bb3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union Instance True Passed
acedfc2aece0e5df21f520c5ed00a63275686b29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union Instance False Passed
8697911a1407124eb53f0ada3eb93e0d563815aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Instance True Passed
a599e489e9a2c87102f70bf1c60d8135990fc958 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Instance False Passed
3ca4cc158a080e1ec2cb0a4cf94653ce4b9110d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Instance True Passed
4283d79db91b3c56dcf35a07d5ca086b4543f27b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Instance False Passed
ff325eefcf11e923167c3e60b5f4cb18ed88adf6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Instance True Passed
24f84771ebb9dab3a4e84ba822b3047ecb29e6b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Instance False Passed
a150cfd3179bec16ac7fd4857d4f2aac6591a3e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Instance True Passed
a91c509a3aca711b87456a0e1a1793a5f8073924 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Instance False Passed
a87650d66b02159825eb11c01b29ec0928d2276e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Instance True Passed
613a08d743f578aa4408058b831b9eae437a5a39 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Instance False Passed
64a065eebfd6fb81ba653d657f282c8cdcbd282f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Instance True Passed
d46c37bf10b7a115884f94fb84bcf0fcdae91982 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Instance False Passed
86acc7d3e465d1a6a62904dab6a408aefe4b4e42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Instance True Passed
2ffdba7f5276cdbbd6dbdc6de17539878614575f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Instance False Passed
c5298ecef9b6e35c1af7485fe325981c668e6b76 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange Instance True Passed
c311003e55510291401c95a2245330638a17888b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange Instance False Passed
1cd45a86a3cd38ad6b653e73a9fecc23a8171116 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Instance True Passed
c124dab92c7651393deadef23fd84d8abcee201f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Instance False Passed
e4c85740d35595d27b6fa5cef82a42419683d8d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Instance True Passed
eca84e7b5480a57484d8f0bb12bd95cbbd906ff3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Instance False Passed
ed306deff6131e52de7656027e9c38fe4590ec6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Instance True Passed
d256018284411103b64c6b33f38cf27e31191559 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Instance False Passed
63c0b5177874b021d2aa9193c03d0e7ccfffc765 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Instance True Passed
b5fcdfc69ba261da8912fd1d80e396abda83a644 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Instance False Passed
7465a17321907ab7080bd67f58e3d83b66be77e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Instance True Passed
5c47f5f2bcd5971d97fd76caa2bfcb42a722936c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Instance False Passed
b94a82e4268682ccb558d232853990e39b7d0409 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet Instance True Passed
41f76faccca18432be2e822753490c3494256982 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet Instance False Passed
befdf65a4140b17dab3305928ca35041f718f0c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Instance True Passed
cd7bbf4ddef23a9428d9264414cf67741122e343 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Instance False Passed
3993a05b00bd4948001a3107575b2d0fc3ade3e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Instance True Passed
068143a9cf1e58fa61061c3b711642a64c2e578d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Instance False Passed
96b547b0c40536e2ee7c5190666675f55b4b5270 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag Instance True Passed
4a8acc3997734c8c7dfdd4320d117c35110309f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag Instance False Passed
5ea39389aacd9f9312ad07470a4d46f726ece31f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub Instance True Passed
0869691bd9389554f3dc360542b16cea5965b680 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub Instance False Passed
f09071896d83f626362917048fbc6bbd92d04ce8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Instance True Passed
c9aa390fd601c4983528b053968bbdc7b9086711 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Instance False Passed
045088803d6b13b274afd754ed05fd83fa5fc836 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag Instance True Passed
8abd8e5365275029e646f57bf81d124848448763 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag Instance False Passed
ab8f01aa3e0bee2106e39eb72cacb7cf8152b4a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Instance True Passed
8f348ce961d4363996882a1736b833eae4e3de16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Instance False Passed
ad380387f26f617b60c31e817787324b97dd7486 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality Instance True Passed
371b73d3a5042c7d55d587c87b5d470a630ad9bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality Instance False Passed
b81a1aa39a761ac0ecc92ef7cb69fdbd2e60bb5a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll Instance True Passed
54876a743c10eb34fbe3395e64cca18eb7f042e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll Instance False Passed
3d2b4c3b59b3a99395ac8ffbc655a8350a5b7d84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag Instance True Passed
2a7c26d5e2808bacbc9012211718aef81ea4f920 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag Instance False Passed
035e6a797ca56f611cc43a872f46331d5ed4b347 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Instance True Passed
19ab154a5a2a9cfa394372343fd42277bbfe117a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Instance False Passed
079332bcb60f706c44c49c09a404f4b78763385b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Instance True Passed
e01bf99baa4ebaa06f51435b9b660c79a84a4fbf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Instance False Passed
cb35b596de0661b0bfd7b237e9d7540cb001bf2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Instance True Passed
ce715e4cb56a07419c6fb2ab715ad38ef60c52e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Instance False Passed
e31bc569c26b033f5d1808eade3d1adfca2c8ef7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Instance True Passed
2af35c9d5f4d65c7cac9ee574e5d81f63959a884 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Instance False Passed
0af10d94758e202fce72ba92bc1c99838423c80a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Instance True Passed
d5d011af3a8ab13e356e71115aed85ad3d4839e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Instance False Passed