Index

Tests by case feature Def1; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
a4038c76104e8764986daf0b65225546e040e5b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 OneLineComment True Passed
7abce3ef6d9b6c1f8e26a0ee26c5d9230a0cfd2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 OneLineComment False Passed
4ab028646eea8727890b525b77357b71d95f0073 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 MultiLineComment True Passed
a8e190f839ba39ba41b4cbf534c6e81b746bd0f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 MultiLineComment False Passed
cb5f6bd07347c6ef2fac600e8322ae9be643e1f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BoolTrue True Passed
f5b51d2366774a1281cfdca326dd1da57a247501 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BoolTrue False Passed
33f2a12a5b42fe810c3d378d93c01cdad1da1954 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BoolFalse True Passed
a6e5a4af520d6ff041b801b22dbe120811aefd8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BoolFalse False Passed
a4a06798348273dc062db22d4056ffee65931593 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BoolSet True Passed
e58e767d29b9cd5d4858f180b4dfb67848b3e298 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BoolSet False Passed
1f96b7869a12d19a70dadb784ff6cfd8ac32ae9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 And True Passed
8cc3d21c6503cee73e4191db73c10d6ad821f93c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 And False Passed
4808d0a50155e373db0f70a7152d2acfd154e81f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 AndMultiLine True Passed
6955dca742083747750ad32c6b6db3d9a5b66f5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 AndMultiLine False Passed
67f924fd2b4f0e842596d7b30b89f83ca4e85e9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Imply True Passed
b19edc057dc04a050ed741345ae88a0ff0b80a87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Imply False Passed
5f82d62fe6ee37c944a86c6a68ea63dc3cada837 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Not True Passed
b152c1c35279fd24e1327c9c1f47b70992f6e52b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Not False Passed
9b5ffe7fbeecbd6500c6546e096855ce02d05074 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Or True Passed
3f3c7ba0becd13b6ee2b6e9620580f45a21b6887 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Or False Passed
3b71452715d102b70116ac681b17e939fbad58fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 OrMultiLine True Passed
7b9ed0c009820bdbbbc8fef60f3b660750d12128 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 OrMultiLine False Passed
b279fe6bc70e5a98d9b25f67ec7bfd08c573794e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 AndProp True Passed
49fb3131ec45aa07f4ad27756dd39abf0d7b72a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 AndProp False Passed
b141c3bcd924f14c5cf3fecbe6d87803409a4c79 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Boxed True Passed
e27113702a39b8a92591b725a9ce8ec380536b6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Boxed False Passed
0f95031235ed00d042cc6517c6d3bf02b6efd724 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Eq True Passed
3b9f4c8b87023cf933ebcce61b7f18a7a05e30da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Eq False Passed
9d784df8ef44ffcd6537e62e881e021b72d97069 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Ne True Passed
d00cac85453d83a3bc7bf42c3218a87cbc653d1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Ne False Passed
3e37c83e508d9178efd26c396ba6803a179b60a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Let True Passed
adbad32289971e9e3892b891a46f305415289503 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Let False Passed
27c984cd1b78cd01327bc52d1b1aaf948d352e74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SetEmpty True Passed
51e89eed8dbcc949dd66ca9987ae82f04f87f5e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SetEmpty False Passed
d4fab99c872fff79836be3ed1cc0928071a90d52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Set0 True Passed
23e978a191a269f62b2fcba3205d9c03bdd19fee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Set0 False Passed
2843752a478a9a475fd34888fae936a6fba0354a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Set1 True Passed
ffd09ae5ec593452b9ff668d6b48fcaaf287c048 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Set1 False Passed
b29de75a3088733b128f9fb4df55a95da3facfd0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Set2 True Passed
163af8cb5ac00edece3bac29603a04fb86d855f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Set2 False Passed
b2909391150c808e6c2c5ef81685a334c1cc28b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Fun True Passed
cc9639abe0e3534bf71761accba2d456c479818d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Fun False Passed
1afdb4ba482df841a6ccb0736a587e010f84ba61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 In True Passed
33826aaf0bd35565b6b9f921d8e22d8fc53ba87a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 In False Passed
2741829b487b952128b073b1ffef0f979ec10b81 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NotIn True Passed
1937e622a0a3f25c24ade1e92d1a2c170241d6e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NotIn False Passed
010974bb7065167cb6998b2c9f3600f77bdc0f89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Exists True Passed
671e0a210e859325f652c9c23c937a7be759cefa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Exists False Passed
0ed088ecec643b12e1e3870d92c20f50fa7c72af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Forall True Passed
bd09c629c959e922718556826f4fa6c22fdd37cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Forall False Passed
9590ce89daac9cba6e614c5b3ad4fa19b39e40c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Choose True Passed
b3ed55d7950af79d779f0344002b1545851f3e4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Choose False Passed
887d26a2e0db48d301d937267fd2833da74158ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Record True Passed
f3d7a31fc3ad0fbd78c84a805da74b0c8bbe5078 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Record False Passed
1b470eec2bc30cd74e0be775c5e40c5074d2e746 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Tuple True Passed
af9a4ec7a09932cdfcc24cceda47891a4546a7c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Tuple False Passed
294f6fab7cb1fbbd2079452bd556a0df8f951b53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 TupleEmpty True Passed
ff610cbf359c9638fe6605667092b15d2c7cb261 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 TupleEmpty False Passed
552b06fd9953bdaf0630a48c5962bd31f5fd88ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 FunApp True Passed
c3ae4e07b78a91ad1e3e4db8d6f844097d866a53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 FunApp False Passed
94c44512bc8a6397f9bbb8aefe8478cee40f6382 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Prime True Passed
876c8598456bedb4836b392ff605c52184b77dd8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Prime False Passed
1bc8e94cbfe49f97d6f4b099be7c170367ee0330 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumZero True Passed
6b5f1af1a865de1db6cecf3c92528b99264a0e73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumZero False Passed
dec698b8c1aeaecba7a79df10b02f97a45515840 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumOne True Passed
07ea005ec92601cc362c2fe151f64168aec423bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumOne False Passed
91f4b209a24e53675caeb6ff65bf4e2c9434308d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumMaxInt True Passed
a725e643815129c1e012e60fafa018cf98f59e05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumMaxInt False Passed
848882784e27957a7f1629987d462ed8337cbedc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumUnaryMinus True Passed
9973a369e152eeaffd8dedc0d172ac3db103593d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumUnaryMinus False Passed
8daeeda37a123cafb50ba98b7076811c3d38b48d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumPlus True Passed
9ed43f20de34ec7f77b0a0bdc47b4093067b3487 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumPlus False Passed
595a6b07bdbb7cb26407606ccd62cd26ff7bc7c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumMinus True Passed
436be01e18b329e72f1872a06b3ce2db17f4fa1c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumMinus False Passed
076782bfc5de29340d82310c66314e2a22601d8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumMul True Passed
744daaae099562fc7b4973ee51dbabb172e12ae5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumMul False Passed
d4e16725a55cb1619a7d702c11cf515c98b8527a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumDiv True Passed
d6225a928916f724153a8cba5699bad297b12b4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumDiv False Passed
e0aaa8243f167837391133c30786aa5a493f82f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumMod True Passed
31df87d19c2270b6ee8660b461979178f21da565 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumMod False Passed
6ca6b7cedb9e3adba214f721f5072abfbe01771c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumPow True Passed
0c8ce6aad1e4a4eefafa6d6ae7384583ee8d7bd8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumPow False Passed
e62d54f39624df0faef2dac33137d1e36b10a241 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumGt True Passed
993e66c1f6135a649a2c1791939fcda5eb4de623 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumGt False Passed
ae90ca2d7569eab0daef21e3b4b855eb085b17a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumGe True Passed
cbd3eaac95272f8b9256d67eaaeffcf9966f47e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumGe False Passed
8ae765e8aae6cac63c546f3b5f06caed90b8c727 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumLt True Passed
529770cf3df7e8bd3250be504381b13093807e00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumLt False Passed
4270336bc7536055f2b21ae903a9d0d1cc6473e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumLe True Passed
ba1679dece013d84fcdc8710ac30ade6d59366f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumLe False Passed
824f00868b5d5d3fb3d3c7eb25fefa3393ecca67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 DefFun True Passed
f005a2401580c029d654e85dd17713045d23d4d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 DefFun False Passed
e156ce744c7c4857e562905dfab2c64fee31c8cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 LetDefFun True Passed
b6d8f5a7f0d3e260cd663b7765011e7c52fb0e3b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 LetDefFun False Passed
bc75af51dabfd6617d29cd890bb48a1b245204b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 DefFunRecursive True Passed
284f2d85fb4d38700caff45738b480eda4c1231b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 DefFunRecursive False Passed
8f532e6ab440cfa675fb640332db0ea37e0eed28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 LetDefFunRecursive True Passed
b84d73e4a5186987ef92ee58e45606a601b012f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 LetDefFunRecursive False Passed
5d78a0bb440b28d972cb4c4d9c3242febba39cf5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Def0 True Passed
2a23adefcef261e22d2b0b38b42641d8c523e658 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Def0 False Passed
7a0468fa279c6dd252d984a7c44c8840d4a3edf2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 LetDef0 True Passed
2175f1cbae2024a5dfb5d2cce637bf545292bfc8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 LetDef0 False Passed
f52f231efaca17e7b256642746bfe870cc7d671c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Def1 True Passed
943538c43a91909244e04c8d9d72c2bc9361d315 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Def1 False Passed
0e314c145b9de62d20ba767a5676557a26b3ff05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 LetDef1 True Passed
b3fea5e45ef90b7bbff84a5a99a58e11e2b729cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 LetDef1 False Passed
dfb042a0ea234dcf43249da83eb7e62fa4f60e92 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Def2 True Passed
215b85fba24d26cf620a3c9abbe6fc9948946397 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Def2 False Passed
58f00db775c8c5b8169a73056eb3cf7b5b18336a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 LetDef2 True Passed
3e64be8dabfee0d97c358a146a4503de7b428dab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 LetDef2 False Passed
443252be64db3f61a39e3c6f0515d31ae176534f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Def1Recursive True Passed
c1c019295eeee5c3f79f5e4ace9fa69918d4cc4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Def1Recursive False Passed
8c39b59e165b52b18a62edcf88ab7da1b6a2b7ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 LetDef1Recursive True Passed
6d969bbc582be8c271ec8b470728a4940eb0286a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 LetDef1Recursive False Passed
f3d939c8ed57ae99ad74302e66515ccba514e74c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Extends True Passed
f4a42ceae832b3873863039758704ae0e7ac21fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Extends False Passed
2e65555656541dad845c0e7f31753f22712464c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 ExtendsInDifferentFolder True Passed
d965c4fd7c14bca0c656b4881f39da0d96b83513 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 ExtendsInDifferentFolder False Passed
265305215a4d00a7b93eb826ce5fcb75556d16f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Variable True Passed
f18693332cd0acfffabd652ca300f2ce1d07424b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Variable False Passed
92b839948cc3753a0dc6b4bdded867ae7fd47b95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Constant True Passed
ea39ec45d4e6b7897f490c96ea42054427bc249c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Constant False Passed
ae29276f5f7714d7a39ef0341bbe4d0864018603 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 ConstantModelValue True Passed
3fa6505aa1fdf79deed289a5f3742ca8518cf2a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 ConstantModelValue False Passed
917bfc5b906d9f8ca4a1e5858bc68545f14bba60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 ConstantRank1 True Passed
5ce06ffa59e6c990820948648da88e2ed13cb983 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 ConstantRank1 False Passed
3bb43815dd482e221db1b4ac79cb743f7ce4a4b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Instance True Passed
21a4f4effd799ab9e1d4344e7070505657d0d333 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Instance False Passed
c45b23d5e7d74b98725ef88332bd05b4e8576358 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 InstanceWith True Passed
84dff9ca57f7b795c69e6d0de9ad54f774c1107d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 InstanceWith False Passed
3bdc45e1e01e65197e6246a90d3059b07bc6ba74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 InstanceNamed True Passed
716108cbcd596b0d21cf4b1cd6fd6b45dcda5c2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 InstanceNamed False Passed
4465776cdd427691d40988b2364c0305c84014aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 InstanceNamedWith True Passed
91292c8c8979d9a79c5d7417c39a6fa4aec398d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 InstanceNamedWith False Passed
6c14308cbe17334021eab8540d71769582bfdd74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 InstanceInFolder True Passed
b715d9d3bbf28afdb3eeb03e09a2117fd41f2174 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 InstanceInFolder False Passed
47e1220794fe2a77eb7dc38e14bb379bb622b9ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 InstanceWithInFolder True Passed
a860b24ab8b37173cd4689e6dca6816fd0a07a4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 InstanceWithInFolder False Passed
48d8852077f738540d6c6a7ba596c45ccb3f11cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 InstanceNamedInFolder True Passed
f13fd44c75fb0f73bfc261dfb9aef21f41d9b984 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 InstanceNamedInFolder False Passed
ed26dde0ea4c6304560681bc33c1124c7b3fcb68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 InstanceNamedWithInFolder True Passed
73664c1523fb738474da9731a5f5177a6f4faa8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 InstanceNamedWithInFolder False Passed
26168b1bbd9d9683256c1acdb30b9eadba646ee5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Enabled True Passed
6ae3ff1f48278c7a2e11a7bd017f293c649df30e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Enabled False Passed
84012eb5e1baafa1ae84e598475d4720246d92a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Cross2 True Passed
2ffd0d331df98e1e385b7684c89f0edb684b87b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Cross2 False Passed
2f4c51e1c6c2f6cc0071ba00c3ca2c6459413183 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Cross3 True Passed
7fff69b06899ce8c9983bac1a09f54afd18c7cc1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Cross3 False Passed
9ad5f085284f18adb587d6f4cb8089063f2445a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 FunSet True Passed
56db57e0bdea495a00b845cd9b6060ebd0fc0b64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 FunSet False Passed
6df30ec95b19adad7eb9221a3a8cdbeb04104924 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 RecordSet True Passed
5a411da4ccf6387f9cfefc78900b3691a01b7940 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 RecordSet False Passed
e1e7ab9e892a40a81cca4a84f12d80c7a56d2e71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SetDiff True Passed
fe7986f7ec28b95741cbe94ee80eddced7dbfd58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SetDiff False Passed
559534dacb785928be6c12fb6934759db848c678 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SetUnion True Passed
5a4b22dcc595b3f862f74b0074e69706265d8766 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SetUnion False Passed
f2077860452a4353679bb2d7291876ad7a3de837 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SetIntersect True Passed
8a8f3a0a73ed7d0820a0d079e51f54adc91f27c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SetIntersect False Passed
16d3f44a5e9ef2e1b7a188479f07832ebf35f229 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SubsetEq True Passed
a8a513d0cb1d01b3b3e5fb8217bdd6634b20774c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SubsetEq False Passed
ce3bb027ee3df8d5dce464b0656c47ebcaf07914 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 IfCond True Passed
b9e3147cd46b3a539dd1b2ecade01b2ce15f2c5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 IfCond False Passed
9a827ba384578df6dd60ecc6f1acc79f9d6dc73b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 IfThen True Passed
c927610c244584cb0a0e68ff227521e1200542e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 IfThen False Passed
acc48ad945a60fe6f0da120ba16a3cba477b0bb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 IfElse True Passed
276aa5fe4e799e6825d0fc0f6ebc195660a7d34c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 IfElse False Passed
24f108811e54613fb0f7fee59a2497ea16600ff4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Subset True Passed
3ac402aced20ac1e2351385ed1dd8ea2e86d63ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Subset False Passed
85437a7748f4cd1a99ee997ff9dd2be61144a8db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Domain True Passed
57a02b3a71f5327a903ea7ba50421318068b03f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Domain False Passed
caf1c6857b9a0d18ab0add180e0bd5eda15682d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Union True Passed
efb255ca68a4c50b276d89598c0c390fa3b79940 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Union False Passed
14e355d181cdc1488c99d8e02b5cfc6634c63f82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Unchanged True Passed
244cc85c3e4acc587b8d35187ebdd19f90a62b64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Unchanged False Passed
9f7da64fb5227b059b1e9c37246e139d9cd02fbf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Equivalence True Passed
c642c071840e5ccae630dd278e6d6dda7c8df5d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Equivalence False Passed
968d75e16458469ff80a17c0a7a629e7daaa3dc7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 StringEmpty True Passed
c7ab115b7d1bb27b8975cecc29df3d94d899affd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 StringEmpty False Passed
87734c4c81434219015aa78f0236f2a5a9f1ae84 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 String True Passed
e1b22a66419987a0f9011caae42de91314855d12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 String False Passed
f22dd6cdbc71f552004c436f15c4ee574948a274 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SeqLen True Passed
a3fdc891a63cca93d79be8386e06184612a6a026 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SeqLen False Passed
f1e079b85edd33488274d0ac8e8db491472eeabb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SeqConcat True Passed
a3e83651ef405c1d64b81646d39af906234f6530 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SeqConcat False Passed
e329461bbbf54ce5f44b8708a9b59f8d6503aa57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SeqSelectSeq True Passed
3c9e1c74bf384c02c87c1efb5da4428e8295e1c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SeqSelectSeq False Passed
abae327babae320d7966456e957d293f96ec4d8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SeqSubSeq True Passed
d5e3be992490d1f8d382173c58bb13eed210b1be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SeqSubSeq False Passed
f9db2fca9e6e42dbb004e6bd28152efac72d5e1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumRange True Passed
3036daa24c4a97c91d0df1c3c3d9ef6f96f3b471 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumRange False Passed
bde7aa6261c8fcade6266081e3f3c313b93f1199 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 TlcSingletonFun True Passed
398c4b5da15d96a2759f0032646bb64dc0b941f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 TlcSingletonFun False Passed
ddb160512a3c8ccf882679858bb04a8af06948a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 TlcExtendFun True Passed
b84da89e29a249895db22da115d44185b6bb5404 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 TlcExtendFun False Passed
fe9f9b5527204aaf31ac9128919a7c6bd8e79d3b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 TlcPermuteFun True Passed
d0cae5bd05b46fd66c5f6f70c41dfdec1c045d8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 TlcPermuteFun False Passed
e46d9e0e099b6812a5192ce5b1a5827d00e688ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 TlcSortSeq True Passed
828ff32542dfd3288a39adbabb7cd393c200551f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 TlcSortSeq False Passed
608e577fdd4135494f73c01fc9d87cf1df1f530c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 TlcEval True Passed
c2689bec7895a2d096180808b927fedfb0867f3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 TlcEval False Passed
819a238640ceb493994bc7c8925cb64cfc7468f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagBagToSet True Passed
f527304044df781c26564b9fa6fb017959281727 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagBagToSet False Passed
9a8d0f8e3601a8378cefbc68c4350588f9c3d730 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagSetToBag True Passed
7cb9e93525104211b0f33c6b6fb72cbc117cb79f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagSetToBag False Passed
424bc51246f9f1e13f71c12d424f91636d2afe01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagBagIn True Passed
f7b260dd466ca584deb817beccdd83b2ae006d56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagBagIn False Passed
b346c1b134c1df6fbbbb8983c5a77dec9bd3cbc2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagEmptyBag True Passed
43df8112c3ec7dda7a2520a98d176e447d2edf97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagEmptyBag False Passed
89511f5f3dfe57fe5d88f806cd17d6c333c496e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagAddBag True Passed
6aa4204de64da7b485883e0ec6d694d58745971d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagAddBag False Passed
981dd66f665d410ca77ecfc0c9994064dacefabb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagBagSub True Passed
a001778b268e466e89d3d8168339a1652a8503d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagBagSub False Passed
a3f03cda108906bb94534223975ba7312e188eda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagCopiesIn True Passed
95fec8b1d731ba8c1267a75e18ec9ee352dac076 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagCopiesIn False Passed
b40f1c9a1fb10d8aeec63e97e0ee6bbb085516d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagSubsetEqBag True Passed
27565ab622bfe1e5f444864eee5ca79904bcd058 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagSubsetEqBag False Passed
df62747ac2fabda2a79717bd407341444090264c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagBagUnion True Passed
ede864a9af8d4b87642473ee47751b37ece07097 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagBagUnion False Passed
6ec761a6e53a15405907bcbc2b42f5defe1c1ab1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagBagCardinality True Passed
007f08239c83f6f84141f3e7d58ed06e32468a6c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagBagCardinality False Passed
14e543df91e2d6372dbb30a12b2c2659f425c428 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagBagOfAll True Passed
f7588302995d650ffb81268c3389f0ec66596a79 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagBagOfAll False Passed
a42df8628fe04b19b0a1b47a568e51d211bcc438 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagSubBag True Passed
7b860f9998e70fb48e5f1c8a9b009682131bfbd9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 BagSubBag False Passed
f19cfc936984f9b5e3c385a137439efd73c5a32d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 FiniteSetsIsFiniteSet True Passed
114d7be8173fbee62191b3efb06a5c1bb242d9ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 FiniteSetsIsFiniteSet False Passed
5fe411aff8e3408eba7356de25a499dc720177dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 FiniteSetsCardinality True Passed
d5e1f12eaa8b4711e4a2e4111ed1c351ea42f6c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 FiniteSetsCardinality False Passed
42d81c607c0baae18090871cb994a81d90d3b2e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SeqHead True Passed
87b561ade736d18e1d82fae9266dc80a4f24f1a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SeqHead False Passed
a26f968e8654360837bbbac84276348c368b700b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SeqTail True Passed
1293fdebacdc09a418b9df3d4e75fd8398a38823 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SeqTail False Passed
0606f720dcf68e623236545fd35342b3abf04f75 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SeqAppend True Passed
a637affbf46c962eda728fe21fcb74b60bec742b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 SeqAppend False Passed