Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
25369b49f072622625887a95034a3a8dd2789633 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith OneLineComment True Passed
e02e223973a5eda1014eaa558609a58bd8dc8e7a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith OneLineComment False Passed
c180a513c4bc1741a1d1ed0a0a49525b64eb0c58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith MultiLineComment True Passed
e84372899ddc82efac2dbdab50619bbb32f217e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith MultiLineComment False Passed
9b45425c8304935590904f996d8de52594ec92a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BoolTrue True Passed
6724b1f2c85f4869dfd0f044992e1d5f516ac4f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BoolTrue False Passed
6a23ec2588b4c8f5c956ead135d393b15a3675c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BoolFalse True Passed
e5d3e3b1ea32d5ec153855e38e36e7428bcc4693 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BoolFalse False Passed
88d7c5d16ae95dabdc6ff5af7d6f3084c38febb8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BoolSet True Passed
940b1877c6eff7ab82cbbd23f52c855f7286dc77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BoolSet False Passed
4ee48af80bfe29ffed8fd9a4a9f93b1b8db0ad49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith And True Passed
580526275de95c0418b85daab6fbbae9936d9961 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith And False Passed
cb127ec28da31b83c1e8b627fb1632053069948a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith AndMultiLine True Passed
04f9384aa7b5f56d16f7de6915b6a62c7c024b31 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith AndMultiLine False Passed
d4980df3379970b559ae4423aba541fec2d9087d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Imply True Passed
95bdecd346de2d32b9ef7b9d381b719215f47dcc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Imply False Passed
83aff08a82cafbc41e8ec1b1b81698914d3d7dfb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Not True Passed
c53346812c4f97c3f51a87f21575cc28b3e95435 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Not False Passed
b8a7d8c59bd036ca849a0183e3c42f285173870b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Or True Passed
ba57acf32c41dac42783604da8177678b58ccee2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Or False Passed
042f03253535b2c4456987f06b809e1026da7d7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith OrMultiLine True Passed
b4f38990cf0afbd97dd0ad4a874bc559dfbe979f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith OrMultiLine False Passed
59d709f8001070435fab3de1fccd12ab3683635c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith AndProp True Passed
6184a360c7a61a34215ee2beb659d2ad07f0bfe3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith AndProp False Passed
9ac0115fdfcde27c8e9a43897b812d12492ff6a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Boxed True Passed
ff870650c5cb439f052b14b2a0abcf2da5f74177 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Boxed False Passed
78e45645e96a17ab77152cc527d77bd1c6ae039c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Eq True Passed
29480608da4081534e9c060aeccb97eed33c86a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Eq False Passed
55843c68e74977b419ba7e28cb2f712950691398 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Ne True Passed
99ef98e6646e7103d9d1c8fbec984ba41f164c5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Ne False Passed
c3b6c5bcb907c59128649546dcd6d8eaac529bf4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Let True Passed
09c8930d0043804a784834005dc879cce1eafc45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Let False Passed
7b5f3afa4a148c3bd0f77cf021f19b49b5aee479 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SetEmpty True Passed
b111ebb646a54f78a404fae88ce1c603f49f7ff6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SetEmpty False Passed
392e76470f036e1af39447fccac577edbc043eb2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Set0 True Passed
0a56b410fe48945dc77ed1795387b0e68c7de1b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Set0 False Passed
aa9aa1c70b08d5cbab2df02b5466f3c2b83dcaa1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Set1 True Passed
5f0875ef793d74cd31556ae17b6ec5b3286197bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Set1 False Passed
271506047009a29ce4b9e1446a02bec398815ea6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Set2 True Passed
68d9c117696a3f692cde51ba126e9f378d9faf04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Set2 False Passed
6f41f24e9bf3e13f125b0c23f388391e5b8b555d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Fun True Passed
507f6b9d4c09612c3aa61b0a8ee0e4f1d472cae2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Fun False Passed
7bc5ba0acc982c84e0f0fdb4095e4696bab9eac2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith In True Passed
6ef58f08371fd25cce8fa3b9b8d52076ffecb2e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith In False Passed
677ad5bdc78a68adfd4b0464142094f884b6dbcb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NotIn True Passed
2cdd76664d6b0f7612cffe2a4d5f6f1d4aa42c0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NotIn False Passed
bf8f61ab594a5dd289ada93dd2e18e349d5955ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Exists True Passed
a584a181e053abafb55d4c3c1298907ef04e575e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Exists False Passed
9161f14ebeb71e43010e56067a40b5e6daec4ef0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Forall True Passed
c46e2290a8dcf4195a6d58c40a8e3567e9350c98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Forall False Passed
7003f7779f4a1563a8893de1bff4621c29dea6e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Choose True Passed
4af59266f68f397d4c8dbbedb4eed7fd248ffe44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Choose False Passed
73c728042e6ce5c500640a059b0d11bed3d83c2a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Record True Passed
6e91527a0ca26b7a5a58a52b9da83dc9c57c940f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Record False Passed
09330e4436a3f4a084a8612bd4506e2e685d73ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Tuple True Passed
d1f8c54c19ec87f3aace3a5a948895699b8b36c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Tuple False Passed
78c7f103d5f515e76208c2f87c6fde0c519036c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith TupleEmpty True Passed
246c5db6963ddd297a8db6292c73fc4c12ed27b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith TupleEmpty False Passed
dbcfc3163a828a23ad4ac62faef7b80f9d8db9fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith FunApp True Passed
fda03ee721c5f64e4e3867289519305bc08d0d27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith FunApp False Passed
2ae1a827779cd316be186fcc4b8730791d0c8a6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Prime True Passed
64fa8c1146994a9c2be564bb587aa39d3c1d6956 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Prime False Passed
bce53cb079ad85cb74fa677d41c39bc5d40311f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumZero True Passed
031e21dc46cff484dae2b4fcd5266ef38a79dfad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumZero False Passed
6baddc366f2aae45cf35bc9be31e89e3c2184872 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumOne True Passed
c0fd6da50dce0002387aec5ede97eaee5ad004ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumOne False Passed
1f0f4099591378e9e2282a73f6bfb6eda72bdcb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumMaxInt True Passed
ea7b53976d6be491c39904ac5195b2e9aa0fc9bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumMaxInt False Passed
ea56dea32d4c2817bc24b48801c26625bd30361f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumUnaryMinus True Passed
6681ccdbda17eb063e6abb41b037927f58ca7aa7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumUnaryMinus False Passed
56fe0eafc4a9be2deeb7b7ff7735037960f30fdd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumPlus True Passed
d7cf6b3eba20481e14f7820951f2cfcf539003d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumPlus False Passed
fda3e0e31347f27ef9912169e0e179c4dc370901 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumMinus True Passed
6170680d883502f1e27b3eec7776b7dce4a07c77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumMinus False Passed
51baa8b6b5501401fc70544428b0cc466d69d355 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumMul True Passed
be1e2edacb3dc49d4acf4713168a8eaaff5dc640 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumMul False Passed
fe57c111b7a8c3b3b45ba2126eb37b3ea5b21c94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumDiv True Passed
ffcaaca07d7271f612381bcc39b7197ed2bac0ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumDiv False Passed
5042688c92836da888d807eecf9f82883346da23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumMod True Passed
c3b622c0157b4d0312e0258bdde46b43837982b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumMod False Passed
2c2196372195e191fbe608ba8599f67d080ef44d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumPow True Passed
02df4ea3e2d2c5a78dc128ea520173660f17ae0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumPow False Passed
c1051bca53b75df4ce3a94699fb6ffe9c433f0ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumGt True Passed
9eb77f67a12fc26fd17c4ca63fe36420fe356ed9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumGt False Passed
57b11df6ef7a4218fe3433df0e27a608fb94596b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumGe True Passed
347f7d974cdffdb88ab059a38a05e4623ffa5872 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumGe False Passed
3b25461c22e5ff7b1b549a8210682e48caec6868 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumLt True Passed
e235a41046331fbf829491463b63e99f28c04e4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumLt False Passed
a42cd18ad85fa589e53603551ee14d73485a5805 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumLe True Passed
b58468bf0b54747f61a0908153eb0a0c380865af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumLe False Passed
3983c89c187221862d029ee8258029be7d9b1d41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith DefFun True Passed
61461fbb6a045bda4ca86e2b8f716e69c852692a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith DefFun False Passed
511d0621ebb64a1344c1b6406566fe8673409e0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith LetDefFun True Passed
66f2792aac567ea40f23ed8cf222dd39b6c88a3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith LetDefFun False Passed
2f0aa13422f7ba91680cb8002fb9bc69e844d39c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith DefFunRecursive True Passed
4a84509c02d0ec7cb135c9c6d066b072fd66156b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith DefFunRecursive False Passed
8b8d12bf73f82a501f835c8ccbba54eb01f54445 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith LetDefFunRecursive True Passed
af8cb6388832dd3aef0bf8a8833a02d551b6fa93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith LetDefFunRecursive False Passed
49987d581a9aae626d548da7634d2286d30976ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Def0 True Passed
de08586a2440af1e85d42c4028f92a63fb0b06c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Def0 False Passed
3374e33ab689da39328fe1d12e2a2dbcbc897bf6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith LetDef0 True Passed
857abd9951a3e76552c016d294d6243342858aa5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith LetDef0 False Passed
af04b87af32236dfa70551b2f070cc8d96d04ece TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Def1 True Passed
2cab8ce76e995d7367a2755e1b642d7cd3658f8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Def1 False Passed
e67e67aa2951e5f18979ebd8c6d027cc243e6545 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith LetDef1 True Passed
c47bab6b2f55a056cda267c5889871d22281fd97 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith LetDef1 False Passed
485c34787a2e6283b9e9d460af62fad3929bc042 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Def2 True Passed
b1ca2a41f3410af302292b9fb1eaff40f9257c83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Def2 False Passed
d50af9ede6061d7f2c314898cf1f070ad90b22a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith LetDef2 True Passed
03adabd7de2edef79dd9541291c2fa103a7223b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith LetDef2 False Passed
5d144ec3d9384934a3982a7d6d2a68d2d24d3e1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Def1Recursive True Passed
a290d3865b181d4cd62964a0f26a15f71573d729 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Def1Recursive False Passed
16302e213c68cfc955740946903950c44a795ef4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith LetDef1Recursive True Passed
3c861074d275e8868cffad05ce7f537ce2522deb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith LetDef1Recursive False Passed
0ee584aeefb9c3659b8d7c642b3e2c8473ccaf74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Extends True Passed
f6137c991193804ba16796b8df8ca53b8bab4b5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Extends False Passed
ec24db19c40fabb12735360f8378f4987a8e09db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith ExtendsInDifferentFolder True Passed
7a7b09185f122eea3e319062aa5ee4af01831ddd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith ExtendsInDifferentFolder False Passed
6d58bd0872541127159b3878004e8570fc8cdfa9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Variable True Passed
2d58a777108c014a9d1dc2d57fd5439a3effd548 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Variable False Passed
34bc3095277043161dc84dbc13acd9b13f222e07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Constant True Passed
986b2815e067c9aca31d97758168acd6a24d5150 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Constant False Passed
68032510f3de825ba012f7d845338c8c151dbd30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith ConstantModelValue True Passed
6fb2841f06a3b8bc8202eacc9fe79aea3b836ca6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith ConstantModelValue False Passed
7ddcd9ec18fa0b2019b739759f61e3511691c378 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith ConstantRank1 True Passed
0d2703cc18660447471f792b1eb5de609cbbaa58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith ConstantRank1 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
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
6b2f915b798b3232e386e821db266624321ca1e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith InstanceNamed True Passed
a2a174bd7515c79519ab1a19dadb7a6eee742fc9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith InstanceNamed False Passed
e8414a808e8b99a6eec4ff344311daa84216d763 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith InstanceNamedWith True Passed
550e2c5c51ef29d0fe9d2f7a43b6173b9af42f0c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith InstanceNamedWith False Passed
db8181113120b9c4a0f222e22569a000ed72e042 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith InstanceInFolder True Passed
cdad34cf2a07b7ad63d9b080b0a9a387b8ff283d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith InstanceInFolder False Passed
afc3343bf811ea581e17ce51d56ae886da287876 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith InstanceWithInFolder True Passed
f717022d10537c2da094469fe8fe3b5aa04cc9e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith InstanceWithInFolder False Passed
2383393f5a86ec4bc5b291abecb4d62c42af4ee9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith InstanceNamedInFolder True Passed
c7b83217b5864afed05b012a5657bf42e171a6c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith InstanceNamedInFolder False Passed
b318218c476668f14e04a0027cddd254ecd42719 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith InstanceNamedWithInFolder True Passed
fd5c32848c3420d8b290bbe391574e8f2af824da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith InstanceNamedWithInFolder False Passed
a6b3be91e38823df0dd068d9c69faaf2bf4f7b5a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Enabled True Passed
f370202815d10a37aa1c472953a74eb3eacc607f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Enabled False Passed
92e7e67c269becaf310ecdbdb835efa1a336e448 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Cross2 True Passed
700989f1d698988af8e5cb2c0a1c3e52d4e5df17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Cross2 False Passed
50446ffc3ee040d9235e4b3e5892dbf9ed130c92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Cross3 True Passed
d45d2fd316b27d07e14e17f15ffc946b9ee1e2dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Cross3 False Passed
0dd1700733489bb02be2bf6a9f007ecba2aa6883 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith FunSet True Passed
faef7c90cfaf5aaaced076ae47fc858f07d8fff0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith FunSet False Passed
49ee3982d40f74fa9f5375e7c9a676e47f782232 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith RecordSet True Passed
156eb1cbbab951790545f335655137dcdfe6125e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith RecordSet False Passed
d9f0ae42d361ac561144fd580fa4918616a07e4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SetDiff True Passed
73cfb0cd5b61c9d25140ce34df22c6377f25b381 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SetDiff False Passed
1f4c2638e5951e6b701b3e9f3802c46f726fe17b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SetUnion True Passed
9adf42c44f1ba3d1bb15c530c96e91d7e9748c2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SetUnion False Passed
76a85059b042a07863dafee5e4ca758758152542 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SetIntersect True Passed
eb76db82be90d2322eeb4e3b1c715ef0e9ff3a62 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SetIntersect False Passed
f8dc0ead944b5cacc3d41090193bf355b49e95bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SubsetEq True Passed
2ca51270f1db9e6b3ad22cfd25e571b7465e3eeb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SubsetEq False Passed
b5a07017afad72f3a4263e7d5356b988f8a8c35a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith IfCond True Passed
c429b094f0f5b970a1c498bafded4e7ab9e59401 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith IfCond False Passed
57cee8a946aadfd89ff7e5ec3a254cbee7d8075c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith IfThen True Passed
974370a891a049be6aa48ba3ee056f36e808dfce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith IfThen False Passed
9426d39df928c74741be702a189419b08a0a31a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith IfElse True Passed
57e9408547d50a856694796b412c772d57dc3b0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith IfElse False Passed
80b7a272f26d9cdb5421ae044e1eb509804aeae5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Subset True Passed
f7006143eb14284121d8aa2c51fb4e31e6a7a548 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Subset False Passed
76552fb688142cce3a751477c030faa2ba59536e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Domain True Passed
5ed2a9fab088bbb7ca1d8f2c8757849b7f279013 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Domain False Passed
c9dd7da5054b77ad3b28e797f414a9e2c7bd4470 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Union True Passed
fa54984fac310ed5907ed3edcf78e846030646f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Union False Passed
9b44b505bd0e98522e5a8354429e0719fea8a304 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Unchanged True Passed
9dee781ce2bb320b7b0926441eb89b87cb9f1c82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Unchanged False Passed
6dbce1d26b9ff4ca8daa2d2ac2cdf224f9a48b1c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Equivalence True Passed
81bf5733f2f4c3a886813aa25b46707645da3de0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Equivalence False Passed
cab8b6b8bd3945e234fe357f18dab3c5813577b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith StringEmpty True Passed
684231ec95c9f5b8cc3a83201d24010c9c759d4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith StringEmpty False Passed
22bcf7866a9d42bf91fe6e23d8ea4e000361de0d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith String True Passed
4510399f8b6842243f0fd66ddac5616d513fb499 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith String False Passed
24007fa1fb7b80eb6f14cce799d3779587b90e6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SeqLen True Passed
8c75e7e9dfa92f557ba5a59d94bc5643d6120440 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SeqLen False Passed
6011431d8dbf1095a63148967f829096176b82a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SeqConcat True Passed
cedca893bb3aa690b1df98af5bf06b360b35561e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SeqConcat False Passed
e0fdda529c7bfbc5320e1a5a07055f3c771be2bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SeqSelectSeq True Passed
3a33b882aaf7412ec5cfaec07df3bfe9f4bd8ba5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SeqSelectSeq False Passed
06184d70e7ed569e9563884767507b9d4f086655 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SeqSubSeq True Passed
08eca10304cfaf299373af2c22f60f6098c36a28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SeqSubSeq False Passed
e1744fbb8c62dae7e04fc61670ac1f32b1a29e42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumRange True Passed
7e5adc90a4ee3e9c2611d857bd8b2d48ef0c6170 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith NumRange False Passed
14319398b05321798e31a1d54ce9ed8ce8087f39 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith TlcSingletonFun True Passed
989a777c02c6d99f03a38135b0986a53b33fe91e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith TlcSingletonFun False Passed
235bf78cd314b1af2b7647f68234ec2a8b1e2e82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith TlcExtendFun True Passed
ae7c37dbe9998d6876c2e54501930b288e700047 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith TlcExtendFun False Passed
ab3b5f46a3d61556fe06262d5394d34da18b3031 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith TlcPermuteFun True Passed
e58a1d608e7cfae7c902d7ff5fdc72ff33e85d08 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith TlcPermuteFun False Passed
76375998ee111bc7318815c44e78a3436df12bc6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith TlcSortSeq True Passed
768c4d46dba26bdf1c9149c3a977b0343d4359c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith TlcSortSeq False Passed
56a1eb8dfdcbdd66327dd3e66af2b10f85c61898 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith TlcEval True Passed
6ed9a826d5058c1687e84dd67edf5575994dcca3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith TlcEval False Passed
0e1fc6274bbc302351a2679e42425e156de5d171 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagBagToSet True Passed
5477c4232bee6ecd0664418168dbcab23a2a06b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagBagToSet False Passed
c6907b6a34f41043e5f9367c6717cf3d9f9f039a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagSetToBag True Passed
1e30caf1edfdf5f04e5d49fac32cb9e588f93737 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagSetToBag False Passed
2cc52c14327033ef3366846780069928b04292d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagBagIn True Passed
7cce7a92b40de57b599eeeb92fdcf947c6d528d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagBagIn False Passed
80847e89a72b7be4e68cf09fc23f45f132211bb4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagEmptyBag True Passed
cab8a39d0e6ac8671a94a7f950eedaa9df715848 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagEmptyBag False Passed
20a209f4f9c340279d39dcd8a8e5d2beddceb6af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagAddBag True Passed
f0d29ee7f56defaf5f1e219b79dc42cd03a1fe49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagAddBag False Passed
700253fc02bb1f36f42460fba90c8a33effa0d45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagBagSub True Passed
dae48f820bdbd35917d57cdb0aa1d3899a6645d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagBagSub False Passed
c9dc99bdaacd53b5adb3b7adfac831aae746a572 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagCopiesIn True Passed
056dfd1eae96ed08a8e062279919eb07236c7ac6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagCopiesIn False Passed
e92c93c19cf0c3612694a84590aea47770745b86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagSubsetEqBag True Passed
5effb6a308ac4167751f2ce0eda304218b9f9e25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagSubsetEqBag False Passed
2e2c31ef43c28966569feec6484a05813c97a29d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagBagUnion True Passed
2638dabb2eca15337dd5366a73ff5f545758ca48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagBagUnion False Passed
d51da0bac383ef1978ced9e16f1f054335a9bc62 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagBagCardinality True Passed
d75e5449a398391d62f69195ea9d6bca6ec90a6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagBagCardinality False Passed
4d90037d1be40a2d1470621f65564b237e5bea83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagBagOfAll True Passed
cfcedfb262cfafd3862a3364c9efd2176d579e4b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagBagOfAll False Passed
3b0a8bea8f322c1aeeab01b0fdba300074fd01c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagSubBag True Passed
f95ca58a7dcd38d94c5d4943b5f69bff2f2a8fda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith BagSubBag False Passed
2338d087820f64118d3ec1221098cdc0f27b70d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith FiniteSetsIsFiniteSet True Passed
da4a5011cd64f19f86668329b9a1371cf2c6c689 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith FiniteSetsIsFiniteSet False Passed
cb98fa89880b7fec251ab6a850eaaa08781c7eaa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith FiniteSetsCardinality True Passed
826952ae67e015feb270f1710aae53d4b2046691 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith FiniteSetsCardinality False Passed
b341add7fe223aaebf84777a658dda8d99694b6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SeqHead True Passed
75bd9ab9953d0379a4fdc13f3643bd78971102c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SeqHead False Passed
b7514c97bb79d59fd6c953ce36dc4da928fa093f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SeqTail True Passed
fdc63e791f82f2353cb85b33b8706a72320f4bbf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SeqTail False Passed
ae12422365938e71e9fdfa6882c92250e10406d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SeqAppend True Passed
91e2d58a3fb58638744179b83622a6c976cbd628 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SeqAppend False Passed