Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
6e78ecab95baf9a7e7584043794d24832d91a880 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And InstanceWith True Passed
1441f4842e952e47dec01a6600b4b64422d6bf4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And InstanceWith False Passed
646faca8c50ab0afe4c2ee0dc6e2c47b35980387 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine InstanceWith True Passed
901bc274d415434fb3302e4b10e4617a728852a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine InstanceWith False Passed
58d6d7c044ac535a1116298a41b6e0cd99d46447 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply InstanceWith True Passed
3489bc07da5090a9efff794656b16df1f279750c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply InstanceWith False Passed
8bea71d4a3d5fca8c4fbd45e1b4de3f269379a82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not InstanceWith True Passed
1822fd994cf5d01d8567f9268ba1b2862742a16d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not InstanceWith False Passed
a081b6779bea60896263d3268c7eb7aa40c1fd28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or InstanceWith True Passed
77d18408ba5a9b27a0db7d9e2ac809fcd1263eb5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or InstanceWith False Passed
83716dc9986ab4e34962057947111efcacd466b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine InstanceWith True Passed
b585752a9575b8090852c3ed783523512d7dbd2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine InstanceWith False Passed
96e418ccb33a8dc5428420c1945529e1e4bbb9df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp InstanceWith True Passed
58ce49e850858b8d50185ac867bfc2d7eaf715da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp InstanceWith False Passed
5a091a1fd10223c3cd1ad71f55196b40d823cfd5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed InstanceWith True Passed
4e6d4c42c6408ce661b5ec9345020b4d98b6cfdb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed InstanceWith False Passed
a9f9c7e2be68554cb4e263aaca9aa76b2591eced TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq InstanceWith True Passed
6f0a04ba53fd10abeb64f845f5eaa9306613fa6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq InstanceWith False Passed
6a7568d63d24764480e628839acebc28b8700e3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne InstanceWith True Passed
147793121a0b09434adab76624a2680f6bfea1c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne InstanceWith False Passed
b0c57c08c341f7a4e1ef6f32084221bdf38e243f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let InstanceWith True Passed
69f0b7f8b00f39e4d6a76a87fd300e9556488380 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let InstanceWith False Passed
901b9e41c65b5e0fa920b712aa2da4ba40bbd2da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 InstanceWith True Passed
46e9fac2e8ddc89c887ba6221bfdfce9360589f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 InstanceWith False Passed
a3343009b399e49cc870f80897783de8f2c76de0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 InstanceWith True Passed
1b5d0b6abc3d518d0ab3927198beaeb9557575b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 InstanceWith False Passed
b18c3d0413eb7d2090493b6cee45612fe5664699 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 InstanceWith True Passed
9eac4cfcee1c87620b2eef5cd2cd50096d422977 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 InstanceWith False Passed
c8511feec5220926d17433c6b6c377d7586e2a32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun InstanceWith True Passed
108b668fc03587f91b78bdd57227c937e03de43b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun InstanceWith False Passed
f6789afe1930010582a29f58ce18209bf08efdd5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In InstanceWith True Passed
7ed3e6d6b5f015289255785915bdb6d4767cce25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In InstanceWith False Passed
697ec1dc42e9264b90449a15f687f09bf37068ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn InstanceWith True Passed
036e075b8d0b47cc0d908de8282684a31326a747 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn InstanceWith False Passed
61d290b8bd2305aa49734bea57304db84b726432 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists InstanceWith True Passed
d923138078f59e9ade7bf2f9a7d7235888708116 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists InstanceWith False Passed
a01d5b89528f0fb9616cdcf98a8c5b8dbc538bc0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall InstanceWith True Passed
4bc1f75ba25d5933fbbf812f3d06facfd62d55c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall InstanceWith False Passed
f14e6c7f1bc3f9e6231eae631e1b7385f3d850b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose InstanceWith True Passed
2bc1ffaaa318c60a7f9f7a5ec662a8f65603b391 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose InstanceWith False Passed
f50b0db72f5ed213814922199799d04503acf00d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record InstanceWith True Passed
e7346dcdc96ad4e093e05a7e2734e6d793fba05b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record InstanceWith False Passed
319df58e689cfa8b96719a140cc487c4abe0e974 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple InstanceWith True Passed
421bfe644285a9058cf5cc4e3e0faeaf7121097a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple InstanceWith False Passed
992b99f0e703996fc04ac1a18d2e8779a03d55bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp InstanceWith True Passed
67f9f085a2dc7e203ca31373bc196ae9ae18a186 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp InstanceWith False Passed
c40f6c357e409a629a78aefdecb5e98d9aab3ad6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 InstanceWith True Passed
3a6c840ec5551fe89498d18e645c06e1737d4a82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 InstanceWith False Passed
d85ac12d2217e2643ce88b405b8b843178b69704 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun InstanceWith True Passed
cf0320eb8ae421005a9b4d363602adf1e7f5add3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun InstanceWith False Passed
a98be70f769a5c7e06dcb20dc3080f6002c6f3ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt InstanceWith True Passed
c4e55ebae4ac4aa9b2ec02cce12e9f0250f9dae1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt InstanceWith False Passed
91bb39e9cb2d54b26183ec10d87257bcc9498ad8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec InstanceWith True Passed
086bb885f8679a693482329fffa014927fa5f178 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec InstanceWith False Passed
75d0c02fd7e9ea2e134631d798c9b522eb7af6f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt InstanceWith True Passed
f312c985737f3b59a605d5a7f90d5fe32ed5d720 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt InstanceWith False Passed
b1bf98b088b94e6d9ee41a64a24ea24c546dc5a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun InstanceWith True Passed
ef1d81ff97e0339716e3eca8f1dc41c356c9c744 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun InstanceWith False Passed
eeba3e06a6be1f1b3d56f3906d2dfda2d40b7e8b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple InstanceWith True Passed
6a80ae12a0132b549c310ae3ad1c796fe0900a0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple InstanceWith False Passed
a29e5b7937b40594cfaf0f752fdbe82526177783 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime InstanceWith True Passed
463176997b0582483a3ef30025c261426b8c797b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime InstanceWith False Passed
1012a797e3a0ce427991e6bbaecf60e327bbcb13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus InstanceWith True Passed
e4cad48bd0a953a29c979e1ee8a549b00aa6adc1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus InstanceWith False Passed
a0b7e1027780d032ff7531da97b8da54441fbcca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus InstanceWith True Passed
ad2b2d6c24473d9e17af473dc42e9e29f8347a49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus InstanceWith False Passed
af253c89e139a45b8433299b396aac7db70ee63e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus InstanceWith True Passed
69da690d0f8d5b99c46d853ba46fe481c0390bf5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus InstanceWith False Passed
ca15652441fe3d5451293fd926051a42271322b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul InstanceWith True Passed
196e8b9c7ce4dc3907879dd557264f5425f15470 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul InstanceWith False Passed
5d0ccb26054933b7b41144b099a8984a89c122cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv InstanceWith True Passed
1f8df33ecf936de2177b0713890e8ecf0061f970 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv InstanceWith False Passed
ef2843869760bac163ec2155c173f30a9158878b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod InstanceWith True Passed
9c42e548cdbf783a600117e49be0ad9a7f9efb49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod InstanceWith False Passed
fd2eb1089f48fefc8559ee184dfc4a800c7c0e4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow InstanceWith True Passed
b40a2bed0cd7d5db87a09f3b0c81d2a3ea9a3ac1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow InstanceWith False Passed
8d26e17d25b44748420507fe53e2f30b9060df74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt InstanceWith True Passed
39f78f2de3e89a60e732eec0d6d3b88c4ae88bb6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt InstanceWith False Passed
80ffaac79fd04d5d6db0d0d276a16a4480009cb1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe InstanceWith True Passed
4e9a228abc6ee58f58da934f343fee88fcb0b8e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe InstanceWith False Passed
717618b7df07f44f29daa35281ddea1f2310ff6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt InstanceWith True Passed
3b40c7f437dfe6b56c6ac19816f397ec745d9884 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt InstanceWith False Passed
aa71e0b575df8b245d81613c449364f51731d491 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe InstanceWith True Passed
6b464295d186a7555b8e4ca83cfdd75fa5ce1aac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe InstanceWith False Passed
3989471820abf10a0c6546393caba35e8c59ae73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun InstanceWith True Passed
7e97cb6f25afb39c2b91aecdda93e9e51dfb8375 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun InstanceWith False Passed
a532b8bbf93feaac906864b1afdb90641e7e5d86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun InstanceWith True Passed
c4513dad70ecd0ee0e4888cc7279202b77af3fad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun InstanceWith False Passed
576478739d33ed21207fd68ffb0c45ba7bb7be7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive InstanceWith True Passed
f6f0b59478b12799e4a143984a7db961092c8e5e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive InstanceWith False Passed
fda55173e5aa6a8bc689f055a68b7d5f22404369 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive InstanceWith True Passed
59ec61665eff6a521fa66969b3c0d1f5f8ae2418 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive InstanceWith False Passed
7cff5b25345cca94fbf7820ef04fe9e2dd3a2a6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 InstanceWith True Passed
7c0e0aedb32aa95279cb978c64c721beac78a8df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 InstanceWith False Passed
2a20a5941e3b2ae4c9bb8c8885c4b1125cfc28b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 InstanceWith True Passed
e3f451277264948beb2a7dfeb96c707200a8036b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 InstanceWith False Passed
b35384356a7818b6d63dcf26ec51f653b5511a1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 InstanceWith True Passed
d0be9f20b2f9a353ccdfef92ad602fe4f4205b86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 InstanceWith False Passed
627ebe94c021a247e89918bb819233f7cb9e49ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 InstanceWith True Passed
6884e8cd81aefd3ba54c04ef2b2aab276e25d1d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 InstanceWith False Passed
caec0816d8e7c8d19d30211bd3dbce5a96cbb190 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 InstanceWith True Passed
de4bf7331a73c3a5c5ac75cd3f668e03b28fd47e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 InstanceWith False Passed
b5b3018bdb6d8fe01e8bf4e176cc8dd6d2cdc63d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 InstanceWith True Passed
b24a43836ca42301075515b91d317f22d3ee416f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 InstanceWith False Passed
16bc3f4aab3e8a988d3ad602aaa455a9902e07b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive InstanceWith True Passed
066624e5ec244476263fccd9c08ffdddc55fb19b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive InstanceWith False Passed
1a4bb71eef5934504572dbdb1b141983da956d79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive InstanceWith True Passed
0e65819b8c1c98d35c76b230ee04c6c7b57145d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive InstanceWith False Passed
8364238f5b39167f16e4cc57a3c3f85290b8b03d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends InstanceWith True Passed
03f4a59f01949fda1603994b362cacde5c080dfa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends InstanceWith False Passed
4cd4e183aca404f5b094865470bb1a1179ea55bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder InstanceWith True Passed
eabb0e7464fa9e15e32bba17401b84d0b3e7fc9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder InstanceWith False Passed
0d4717a86af779ea8cf884272a9e17ef6a35be8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable InstanceWith True Passed
60d6dd3230c4722e8ac72b0a3fafe4d501a2dff4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable InstanceWith False Passed
70e43ff2954c9adcc77ba30c83a9f82ab4877f72 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude InstanceWith True Passed
93e1c16ffb7dd1aa39143955eeac935fefc6565f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude InstanceWith False Passed
d8304fa862edede536cdbbf9763f8125518b0886 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant InstanceWith True Passed
e1fac9a1bc71dc54016e64ca377e0efc8078ed1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant InstanceWith False Passed
1d72cd87f450ef323b96d06d7ca128ec90d27b86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 InstanceWith True Passed
3a92929f21fc8216f7e1b6c312334df0dbab9121 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 InstanceWith False Passed
477af6748ef28989a1b712b3e829bf62b8d47124 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance InstanceWith True Passed
dc660f01f47a8abee0d949d4cc1ee1b7f9639325 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance InstanceWith False Passed
2d347c102b641cc08f8298101e13bd2ddb61ab1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith InstanceWith True Passed
d00a896bef057d27196a80f7f468f7dfc2a881bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith InstanceWith False Passed
4f1bff94e2359c182e58f9ad6f945c2f43befb25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed InstanceWith True Passed
238ec208c6fb9e8927680b61f5b980c2d42b31ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed InstanceWith False Passed
4103a48eaf50aaeb192613216a06bd0a2e81b6a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith InstanceWith True Passed
f9a04c707fc3df76a35be8fa6b0947973c24c27b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith InstanceWith False Passed
25a4a9d4bc74ef7861db185d10e54a33ef7e5cf9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder InstanceWith True Passed
a2e6dd757a5ebed33d039e687d5d43f613cfe687 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder InstanceWith False Passed
1ec3699b863900541dcfb7d1540a0a65e7d5e5ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder InstanceWith True Passed
16dc6e812a83c01ad3f915d27379d4b99f67a31d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder InstanceWith False Passed
417cfd8ba2828330bcba6e8aba70584c6f33e428 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder InstanceWith True Passed
8b40daf6b87798a37cf9cd6ea58cc1ed1ba1dced TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder InstanceWith False Passed
7bb8cd6fb46b3a39dffa4fb9e3614e87e32abdcb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder InstanceWith True Passed
5673d6a4a78aa166a28f909fd4ed11526736b867 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder InstanceWith False Passed
5aa17a09712e5aa2f72e041d0588629575bf45c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled InstanceWith True Passed
1f6aacc1a18d012601e93c78a51c651bea8ed98f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled InstanceWith False Passed
dde9058b761fececd0a56c2dd047f58867d0efd5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume InstanceWith True Passed
49264e92b4ffa2faec8fcef97be2084905685d78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume InstanceWith False Passed
1c19579cccdac2b01b5b8fdb5ba445732dae82b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed InstanceWith True Passed
86dba83524ae7000471770bdb5fc84615a4d2cb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed InstanceWith False Passed
da99b6ddcaa3f132c987b8f13af098cb2964a424 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda InstanceWith True Passed
e61979331c4d3669048045c00725c5f0603cb68c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda InstanceWith False Passed
71114e45a7edee1b9e55c2cc2cef68e9ef620647 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 InstanceWith True Passed
2629d946f50c8f4c9683a599b38c0d6638540339 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 InstanceWith False Passed
6ea60fcda592315b20bba918c47f07037bee3e31 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 InstanceWith True Passed
391fe205ebcb9ea45172cfd26ceefabb5faae567 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 InstanceWith False Passed
fa281082340d5540430879509124fee9417ffbd3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet InstanceWith True Passed
a790fa708431247cb188d6a0b4ac3c032dcc1e4a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet InstanceWith False Passed
981a06f4eb90736d4b257bb8d385e771513b9884 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet InstanceWith True Passed
c7e08b9728895aca1b74dc2198ac3fc8e40948a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet InstanceWith False Passed
12268b09e1e04e745ad59644e1b1e26be877fd70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff InstanceWith True Passed
14ed474b0125e20e3f99c588fa838e5e2a8eaabd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff InstanceWith False Passed
6d0249574d15502386cd28dc8952d64aef0a3c47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion InstanceWith True Passed
c2fb703153520faa2847b76754fbe5dd375ad689 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion InstanceWith False Passed
70a6824b339d08a0d2ff54d944597ccb79932cc4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect InstanceWith True Passed
2e5b9a740a6657e70a015291381686d7ef86a96e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect InstanceWith False Passed
31958e16c61f9e64fc185e88d0f3ecdee455cc96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq InstanceWith True Passed
1c621f42041e159d30958414c11e55e46ab7d92c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq InstanceWith False Passed
5e08a9d19b7db673b1a59146fbba66ebac1d6dd8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond InstanceWith True Passed
4f0013ebc9af3a57d12e9a66006def687177e5fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond InstanceWith False Passed
88df4a7bc9ae4f6baff9efae692dbccc772ab587 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen InstanceWith True Passed
d8a14710ffe34a9410c06e4ca15f1b7b32fb7c61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen InstanceWith False Passed
e4384862ed2a0e4031564f18b833e4d65f9f5533 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse InstanceWith True Passed
aba5da9c496ccb30357f6c7818147a5f776895b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse InstanceWith False Passed
631438626249fee89f882bdfb1a7938116e43325 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset InstanceWith True Passed
5b788d73f4214c4a698f1dad9503e6f0c140c36a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset InstanceWith False Passed
8d69dd0e831c68be592063e827250dc749c3e8f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain InstanceWith True Passed
ad2d5e0d2651b5d145b256f5db00b5ef638d63ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain InstanceWith False Passed
f220ce067cea76fde236ab71757c2deb3a39db9a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union InstanceWith True Passed
3a039e87f9e968d9486f9f042fc172612249f37f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union InstanceWith False Passed
01406981ea573a4e0534d9031ce23dbcf2b61354 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged InstanceWith True Passed
8506cc7e5ab3ae3b009c091afc518dfecd79de85 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged InstanceWith False Passed
4c1ba51299319b4492e9a0e2b140314155457fd2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence InstanceWith True Passed
50c57891024c0e6c42c043dbbab9dbe0a772711d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence InstanceWith False Passed
61c3a9fc38da92603696cedfa696c4a652867d5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen InstanceWith True Passed
72ec6018493b06fc86a134b88004d8d128cb7518 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen InstanceWith False Passed
9e540017bcf74682819bc35afa50afbb3bb91ae2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat InstanceWith True Passed
274aaf1b58948eadc7e4f46743f7785b7d4d7e70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat InstanceWith False Passed
75ff600c3065acc9ceb4dc4ced2c2f741c31bb3d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq InstanceWith True Passed
f624e7f2ca29fe13294435fc5d77001efca14f16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq InstanceWith False Passed
68bdaedf05fcdb2d120683d733efb40213e0227e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq InstanceWith True Passed
ef6ccd4e781ac5dffbbbd7be2107cb62dd134926 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq InstanceWith False Passed
4d20ad348a35c49aef16860a03f675ef384cf805 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq InstanceWith True Passed
934c8b80bed455e9083f086b98e751dd43d2ee75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq InstanceWith False Passed
87996a1b44d211197abe998fa6f6f3eacf905e06 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange InstanceWith True Passed
5d5e0dbe5d1b3c18670b2193f250dd9c312d0490 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange InstanceWith False Passed
fd44e51d30b6377fbf0d3caeaf01deb66aa9fd9c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun InstanceWith True Passed
ef6f7de7d2773671f0d8336e14842e634fbdfe66 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun InstanceWith False Passed
c22e6e26a40b3c1f3d43d70567e4a076ce1b2264 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun InstanceWith True Passed
6a9caa2c95b6205924baeb1c5a19730f0159865b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun InstanceWith False Passed
21eb3b0b34bfe280e7321ee8cbdc54a8d6abde68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun InstanceWith True Passed
f415178edc2f26692a6053fcef5a0b361b0806a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun InstanceWith False Passed
157b5f18f42d77d4bc251be4493118bec4d171ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq InstanceWith True Passed
2d596a6fd2519d018718a5460846cc80d55042a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq InstanceWith False Passed
d4c71d15bb27063e8fee93418c7d8d18b5b5b5ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval InstanceWith True Passed
17f31ac729f50a8a650755c1668e50246056a36e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval InstanceWith False Passed
a2b2ab2e09f45f42b3e79c321c0ff08c31772b5e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet InstanceWith True Passed
4ed4f8f551b3ae7193ae86550f44e4d76fb0b8f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet InstanceWith False Passed
0c613a4ef12a7d0cce041ee59164450b30b598ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag InstanceWith True Passed
df2dca33cdda7106e559446264b5795118924dee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag InstanceWith False Passed
ca47cc16f72cda9809ad3477894cd4564951423c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn InstanceWith True Passed
7a3dd2d3a4d460c1f8031e10fd1126ccfba424bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn InstanceWith False Passed
e0cb447dd930e086514db38df59076954990e83b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag InstanceWith True Passed
aee06218ba1a0149a3714b9f08f325424c6dc29c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag InstanceWith False Passed
e73096ccfd3db8a817eab39aee91fb45cbd50d9a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub InstanceWith True Passed
b76f97d192c40304be5eb71160d0a2ed8ddb69fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub InstanceWith False Passed
48ff5db17931d729dfb815cd9e00d179610a6e99 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn InstanceWith True Passed
7d26919613dd2d5b1fab823f73540370e235abcf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn InstanceWith False Passed
08ea376c26f8bc4ad95f22009942eeaf982b79e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag InstanceWith True Passed
85840e86a9d2b147e98d0bf989ce993626e97dbc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag InstanceWith False Passed
64cc6be8c3750d85009a295d32b710c2ddc06e2e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion InstanceWith True Passed
940e80235c72fc2d7556122d8e199615aacbf265 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion InstanceWith False Passed
f4f466907fea49a7d7cfc2e5c2029bcc5dc7db84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality InstanceWith True Passed
143bb0cd78c8f2576298256a21c4c750eda80b2d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality InstanceWith False Passed
270c78041f7453bc12103978acae1d5a72846dae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll InstanceWith True Passed
02de805f179c5072736b05a51cd6e4b807c69877 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll InstanceWith False Passed
14018a359199611bc889bac1b5c70b50714d96f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag InstanceWith True Passed
d19ae9cddca8fe0111c2434b7ee5c7e283f11881 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag InstanceWith False Passed
7f0bc07a43db2df0ef79d5aa6f7486956e1c64ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceWith True Passed
88ef2cb081c4709d12ac28cf7b1ac95acdbb6137 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceWith False Passed
603194759b68a42d11dd20b53142e0bbb758166c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality InstanceWith True Passed
f150e51202951246860de9620193e2da11b8c31b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality InstanceWith False Passed
cbf4971783549a37e6e16d6ca7d871e415ce394c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead InstanceWith True Passed
7af7555833aa6fd75c863fe033ed48e24ecb7140 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead InstanceWith False Passed
9295ca32c095158aa573f009a6c034dcee026a1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail InstanceWith True Passed
0b72b491e6b3244f21fe672236f3df31f7dd70d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail InstanceWith False Passed
ef5a3871e496c5063758e3c5244dbf953408a02e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend InstanceWith True Passed
4e88d621e5679781f7b2b6125589cf944cd425ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend InstanceWith False Passed