Index

Tests by plug feature IfCond; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
7e1a1ddf8052f7cee86f6d3252ded230613a7779 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And IfCond True Passed
5d8ec3006a8a60c4ea007f916cb085bf84201346 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And IfCond False Passed
d27697958506b2b929f30dff1fc89308dae3806e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine IfCond True Passed
57745ef0b9088c8f06f79d69aa0f73c9660e7168 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine IfCond False Passed
f57585e5f450bec92714919c6a7fc47b0ce921df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply IfCond True Passed
dd2bb5ae2ff2c9245a6724fa994167c0c5368892 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply IfCond False Passed
0a33443b64f5cadc9762b0ee27f03f378a5726fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not IfCond True Passed
81e4da302a99a7c8b449aa2b24d1658ff43a50bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not IfCond False Passed
3d463d31c64d14207b07d59dd4a927b28cd10958 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or IfCond True Passed
c23084211cb2c1cda2235a9347e9ec4228822492 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or IfCond False Passed
58dcffcbb6e4f9f1bdac070912e726b4898db37d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine IfCond True Passed
540cfae828a5c70b941868a58ceb4dae5c560c30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine IfCond False Passed
3723b5bd85e6caf16cd953adbe1697525908e775 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp IfCond True Passed
1a0d627f46f4abfb2c9cb65cc0f6b3186ab801b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp IfCond False Passed
19f04aca6478d071744876b53c3de2a045fb9278 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed IfCond True Passed
033f171728f29fa84a82607d3d20e629779b05f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed IfCond False Passed
526413e9eec8dce6eda72debddce5808544d79da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq IfCond True Passed
25843f3c75be4d17823cf07ee5c3ef0ef0dce581 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq IfCond False Passed
fc6a37205688d24b034c40555c3e6928717693ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne IfCond True Passed
d3c2836082af6bc972ac470495f9ff1278fe66a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne IfCond False Passed
3950f8a4b65fe550084cd998b9c2255e96fdccf5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let IfCond True Passed
87a600c524718f3b0c86a891af57ab9477d2b2df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let IfCond False Passed
4074c50e4b7731558cdd37eb654779e2cdad65e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 IfCond True Passed
0b052e2c712e0e86cc8d2a8771aeb11fd2e8bc56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 IfCond False Passed
ba4d1acf49ca8de499c71c88b1ba056059b298d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 IfCond True Passed
3862ee9c07bf4bc7187102bcd626bb2bd8526572 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 IfCond False Passed
f1ff8068e76877ce447112f2e9da92a5ee57e4a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 IfCond True Passed
2ddde3fda7d787a5b9df54f281eb438449ad5a0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 IfCond False Passed
f687c8ddaec4a51d8d3b99cdd0cb1ad98ec682c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun IfCond True Passed
74ec7acad2e5db98e215fa2612cd51a7e70b526a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun IfCond False Passed
e1ee6dd287cc00ca646dfb08a0c1beccda088749 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In IfCond True Passed
546a2bce397e98449aecd81ffbb88f18de2b448e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In IfCond False Passed
589b16902780553ee7c6fc9cce4564e28dbbaef0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn IfCond True Passed
d8ec6c11e11693b150c64be6584c140133c9396c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn IfCond False Passed
fa1376871ce90fff6da2c7df8805a840af54f664 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists IfCond True Passed
964d11db5b39cc8f9d2059c507894b0c4004ce98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists IfCond False Passed
9f42d782ee73d22769cebe6ca8fe917ec743c29e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall IfCond True Passed
986f5682ccf9ecd24df1a0b3ba2790980c59a75c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall IfCond False Passed
743013cd425db5e9a12ccfab5a3e6af776881702 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose IfCond True Passed
318e2945855fb05fca92e67f1b85b79ad43449b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose IfCond False Passed
42d52ec33561166630f492461e642f7b990a6f82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record IfCond True Passed
b31cdd040c1cc606288072cfd303db65e0df9afc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record IfCond False Passed
8a18910bda4142c11c4a5e80523156ca7f442db0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple IfCond True Passed
1b02d116cb35194b3d3f354161f931f95b050a49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple IfCond False Passed
e21b8cbf84cc9c2f159d932a502bf81311acc88f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp IfCond True Passed
6e78f4cd51084b8328a4c617b8552902e6e1337d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp IfCond False Passed
efd9e50d41adfbeef8dc35716e9cf45d89e0e0c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 IfCond True Passed
e06fe29a8bf3d6544652c43d0e6517c6e1791540 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 IfCond False Passed
df51b235f04401d4053aa2bee6d3b7641f171830 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun IfCond True Passed
baea1a9ff2e9c90b13351a9e9c8519bcfa224b33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun IfCond False Passed
6aa52b55bb6f9b292ceb29be60007fea7e8942dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt IfCond True Passed
f7fad58d2ac377b64d17306968bcdda60139f1fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt IfCond False Passed
5f8b84038fe823eb7f58b720c4e5027334006106 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec IfCond True Passed
593b1638ebb9919e21e2cec29f4b847da2c24fbc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec IfCond False Passed
f4521e1ff9335db267ab36c38fc5deda8d8beaf3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt IfCond True Passed
7242c4500b46feb407ed205809b2d2f8936fb95e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt IfCond False Passed
41778332be4cd84831bd0067a0951126796bc9ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun IfCond True Passed
1b7774911af0516ca1cfa64c43dcae36cb4e9880 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun IfCond False Passed
5e7cb4a4806d589be0b8bb42e25c6878ff9f7603 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple IfCond True Passed
4e6107373b2687ed7c5aec7aa3a731bac9e9bebc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple IfCond False Passed
8aca6261d1868618da4a603606664610b07cd464 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime IfCond True Passed
2ba42d3aa74093815b2f75788ddc590d074d06db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime IfCond False Passed
7944efb9a942d4921b36fbbb48faa7af7424af68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus IfCond True Passed
a9edd58f6e7cce82b2e54f8e0092994efc184d9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus IfCond False Passed
bf9210d0a1cb1f8fc1bbd4c7c8f90151ca0842ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus IfCond True Passed
f18d2266e432b027760bbec1e9b7ae9d8c6f6a10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus IfCond False Passed
3f3478a2521ea5fe287c319cad8c9c2230e46dd7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus IfCond True Passed
021f2902c4a2d7a0d89be47e1deb4b51f795e395 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus IfCond False Passed
ca8fc1dfe501d58c87ee6ffc54c4dcbcefb88b0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul IfCond True Passed
13f842d4ba5c3290ee4f35927f7d0ef88ee47eea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul IfCond False Passed
ba52f6fa407b35073cf0f98d38f52ad3e3b50300 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv IfCond True Passed
39b0ae7a70ed9e1b26ead90783255a8ba9f261ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv IfCond False Passed
bd3515360d1c44a52362d47ba47ba85f6ea89701 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod IfCond True Passed
d247e261707e9ee823b27fc06a2b81016611f58b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod IfCond False Passed
53f8707c31b148759b2ec74080eb51ffb7bf49cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow IfCond True Passed
8ee9728f188220fa35951dace5827d59b8557122 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow IfCond False Passed
a3cb217e2d0a23ad4c4f6840ca9405d1ff62a752 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt IfCond True Passed
0e43c4ea9ea21384be988ed558f6c73667022ed6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt IfCond False Passed
5e01c0af754d99fa335a34c39f17a1bee151ccc2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe IfCond True Passed
696fc5fdfe108c0ede3122f89d3942708c2feb19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe IfCond False Passed
d8d71035799653dafe5ba09c0437c0411ae866fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt IfCond True Passed
56c0c14df151465c5dbad9f7bda6a58488267ae2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt IfCond False Passed
65d8905a052dec8ece448527628d374e836b8447 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe IfCond True Passed
28490241ca35b9d6c8bc1b583c4e8eb508505869 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe IfCond False Passed
9157d9a0d608984be2a7369899de7b5a88f4a0b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun IfCond True Passed
f9003ede21b1278b0492c0b4cc2267b533a7cf2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun IfCond False Passed
13d2acd030c047777659ff9670312829cce807bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun IfCond True Passed
767f4d2f39c15e51e34f2a58cb2c449c528ead42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun IfCond False Passed
ce941f4bb5b0cfb85fbef348a2a8cd2dfd5e4174 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive IfCond True Passed
de3342e6af44ba2da40794baef48a2e6212e2d76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive IfCond False Passed
11660cc383cf477087a1b827490ad392e80b4c7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive IfCond True Passed
76b4464494baeca235094ccb340c7f22cb6933c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive IfCond False Passed
cfa10c89bddd6f4892f34c1993451efd10114a14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 IfCond True Passed
d1b81f628704fe11e47d3ac97d192211c7f60f26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 IfCond False Passed
899ef05488488cd6938ac954b174450b82c66029 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 IfCond True Passed
7b2bb851befe33f979870a7dd3a6fed34b960a47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 IfCond 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
b274365d6d5ad1d114aa8e9e272f19ea0e6244ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 IfCond True Passed
94da36879a3291f63fe95f1f57daa83242adb98b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 IfCond False Passed
a01c02ea68c4c52386b43a090c4c3b6330c7245a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 IfCond True Passed
e43ec4e3284adc0b1c3df7043231b8df80eae822 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 IfCond False Passed
d4ccc6c627ca02cc70cf9c0f1af70c9c318bb902 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 IfCond True Passed
55f42b567e79281a2368410d884c37a28d9ee2a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 IfCond False Passed
253d0113515859c9eeecc0880835c5bb2e5d3dc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive IfCond True Passed
d543137109ec61baf2a216914d6d91a89d2a3953 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive IfCond False Passed
87cba21811ef1b1267410a5df71b5ac5bb792a9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive IfCond True Passed
4ab9b18457f2a34a41ed56928d39fb0dbc5c352e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive IfCond False Passed
dcaa875736e12880703043610c87d38d36a14fce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends IfCond True Passed
47d7ed500b24e4bdecb44e3b9b99cfc96fb8e25c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends IfCond False Passed
f70b6151208e0e052749b2d243768579ea9628e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder IfCond True Passed
f58962365e28ab991991c088bc28568ad4641bd8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder IfCond False Passed
1b0ac7650e68efbeee000a1317f4dda5aa08e025 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable IfCond True Passed
251ce21cb87317cb0502d9fb71feae5808956bc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable IfCond False Passed
1fece79928bbf2264e81cb2448bfaf958d7f2b9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude IfCond True Passed
ef8a5fad7cc3e005787b92095ed71e802e5f8d2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude IfCond False Passed
2b236a938d94b9ed4742694a6963ac329d06dfb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant IfCond True Passed
b6253a65d8bcb8755ca652da34047cc1a8002bb0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant IfCond False Passed
9377452e51acf5f937b22cbd27659ea931f3b5e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 IfCond True Passed
9400823b1f2eba042eeac46b3979eede6b93fa6c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 IfCond False Passed
bff4bbb48954e0a30ccc8edefb18651b94ee854d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance IfCond True Passed
c97b29ecb9a874d609e22eb4886a73a1c4af57f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance IfCond False Passed
b32fcbe45c9ea70f0ea42b24dd9d0951c9a57f0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith IfCond True Passed
c1998ce269e15a479977bc9b349a757c40bbe608 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith IfCond False Passed
02b7b53ea5a74951f337ef12d8452f26a4f7b95c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed IfCond True Passed
f81c65735f4f86b40ddefaf76acc116bdbd0f441 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed IfCond False Passed
cbe12800a37ad683a2523965ec3dc7097b175d9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith IfCond True Passed
5c588dc5750b5b52ea69ab9ed0c19bdd2c17bac1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith IfCond False Passed
aa61096502ccb015cce19af61b9d31116f4af569 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder IfCond True Passed
8c4dda2f9172ee05844afb92e7aa7c0b946054f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder IfCond False Passed
5c9c73ba575079eacc0089f8ed3bd55740e93f12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder IfCond True Passed
0a395d6665f19fbf778b39611229be0f84855b17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder IfCond False Passed
6a594142b4b06e3eb9783ba6beac82b82e552534 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder IfCond True Passed
23c571fc08dc12bf1517057001a7bde403150779 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder IfCond False Passed
fbcba662b26a6455e6e05a1ccbe9014eb7ea3aa9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder IfCond True Passed
1c5fb58256a3314acef2968c34ea5ae4acf3327c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder IfCond False Passed
dd2d1371edf01fa663af076aa5da21149d561c0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled IfCond True Passed
b23a030daace2fc9c4f39a32742f7f1af12eaa4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled IfCond False Passed
56122a2075cc67c0dda8813374055438ba64d4fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume IfCond True Passed
fb21524a9daa85cf3ffa9789594083f21ceedbcd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume IfCond False Passed
4d8a1dcd5a0887ee4975d3dc683f083d42292244 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed IfCond True Passed
c6c20381e10cd25014be2b2cbb33d6df707691e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed IfCond False Passed
0000811bb8118d111c2af8e56c92570d4f8447df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda IfCond True Passed
3e6d18ff73860ec94195288eddbf7a66c92772a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda IfCond False Passed
0ae0ab8233963e2088e66712bdb6180af5e156c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 IfCond True Passed
f19516bebe10ad677b64bbe298a66caece119a6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 IfCond False Passed
5d9bfe5c5b38b21b3195dee88d9eb9eb0cfa4cc5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 IfCond True Passed
1edad3efedfd47b99c69dacd2c302b52f21babe4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 IfCond False Passed
1578c58afceff986d6072ffeb2a39daceef32fa1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet IfCond True Passed
6655e1d5739e8c17d1d2c79b671eeb68f5429632 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet IfCond False Passed
e71d4f033603b4d7769a25ddc2c7f629846a223e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet IfCond True Passed
1cb11b707eccbb8f900b65a2068f9a9e1585f865 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet IfCond False Passed
5fe8be5dbfa6a1d7cb37f7b0ddb79236f4281e35 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff IfCond True Passed
c7a33cbcbabcda64f9d5d7597d56a0c3dbc64fea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff IfCond False Passed
1a26e346a8f55576c232032056e158103c5ab96d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion IfCond True Passed
98f0ae48bad480993b61792fadb1a1541b86add5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion IfCond False Passed
d2a6b1128bfcc1e048455478a1752b08b0fed6c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect IfCond True Passed
411d7b2cd67a72cd9862c7574e89b189d1f4cfdd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect IfCond False Passed
e7b82e0f3cd6e77822bf616b0cba2f5d96eff051 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq IfCond True Passed
d2bb297035189ad8bb40a08bd227ee6aecc04438 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq IfCond False Passed
51a5891676a0ac58ab998d342a6f4afe1e5a7eb4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond IfCond True Passed
a8b09c417c4b630a6ae97bd8ee3dad9af1afa2da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond IfCond False Passed
4864501badbd81a22e3a1ce9378b0cefae07d118 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen IfCond True Passed
2bdd2fdcbb4d91341256870d3dc88a0b1dbe1d03 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen IfCond False Passed
70822e9497f10e496a7e284180ab499eab45abe2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse IfCond True Passed
7eaecc0d4bb42825d754b1cca3d4bf827de4ffbb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse IfCond False Passed
c134017916987236cde74165a15e680d25b40655 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset IfCond True Passed
f9e7d372832ffa2cf3ca8c35aa441ff184fa19bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset IfCond False Passed
7abc972d5e9a52aa49c1e33ab005bea84ceacdb8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain IfCond True Passed
5bd650ed240ed989529ac9fe7b0bf98ef10bd4c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain IfCond False Passed
8cda72cacc79e9d6b4e7c5db61f2074765b54ccf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union IfCond True Passed
ffc77d88caf0d47b5597d74bbee069cab29703a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union IfCond False Passed
ebc835b9836382520fbbe3c34dd4b39116cc796a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged IfCond True Passed
67032f036800583df61d33e54faf2d43dc6041bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged IfCond False Passed
be015db2d46513e22018edcc4d9e432549df500c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence IfCond True Passed
ebd2e84ac38d23e4941d4039ca211b20eba12f12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence IfCond False Passed
0cc4555954758feba4f2980816aaf4e291635c75 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen IfCond True Passed
79fd87cd02814d3f6efc69e70d1518039fa22bba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen IfCond False Passed
75bda6f2d81dbf86643e63dbcdd1f5f69d2c2373 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat IfCond True Passed
c896c64a5a32c73017f31034779c6df507a1aaae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat IfCond False Passed
a7d50883a0ffc9e397cb736978df3acc1f6e6259 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq IfCond True Passed
76d50b55be35af8507d4d6ef5c60ba4758cad02d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq IfCond False Passed
ee7c755255508b53931b38ff9c5e98f8685e31c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq IfCond True Passed
70d44968d08e31560c5007bf925c2e59377ea677 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq IfCond False Passed
913e61449f2f1fe665fed8c98b1a5aa2946a6ce1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq IfCond True Passed
2a220441c6165075bb5fb003485441f3a48dcf63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq IfCond False Passed
21cfffd33b5c27d7207d68396d1463d4eb958036 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange IfCond True Passed
e9226a83c48690bb3215c687887ec0a4aab23293 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange IfCond False Passed
1e35fc6c6e0cbb7874d26645ce13077a789eb305 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun IfCond True Passed
f674fde68ea47b43ac247e4ac1ec80b0b84dacfb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun IfCond False Passed
0f0f2dc02085bf2b70cebfb57c90d4e76421f494 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun IfCond True Passed
5f57eb213234f98263a5d7f860d851ffebc05e1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun IfCond False Passed
9fc52cb693f7b9e3694df19af50093c061dc6d78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun IfCond True Passed
80b0fe3af130654d7e87a5e56e6f6ebc1fe07445 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun IfCond False Passed
869fd0416e46d88002a02d725c834d2ee4d3ddb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq IfCond True Passed
5605e98e542c30098f51378e251fcc5708f594c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq IfCond False Passed
1508df0546bf977bb9d4c1c9ad3d23d2c4861b5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval IfCond True Passed
130ca905fdcaf12edf4f74ec275bd2c3be6e8ff7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval IfCond False Passed
794384d401bc72242ac21218b4911c2eabc1a3da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet IfCond True Passed
a3cb0e30c75df9cfc62354cc5ed5d4a195038f8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet IfCond False Passed
35b4b5f042e5802240604499f48c09c58a21f261 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag IfCond True Passed
7d0a00df1040eef7f848730caaafe5e90b7ff572 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag IfCond False Passed
e74cedf8828d58730ccb1a9b2306b6e47475f120 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn IfCond True Passed
18aa5cd482de5749a5b7778979004ac9737b386d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn IfCond False Passed
9eab8e58ba43f558341aae4af11a79c1c34d5cf4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag IfCond True Passed
8af98a09ff098ed090067cb5ac26ed4393e33c5c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag IfCond False Passed
828d26288f03e83fb4cda8a2337436e91756709f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub IfCond True Passed
df665de0016de59f3028615879ea00bffc142364 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub IfCond False Passed
1eea1e1ca9ad1b31cbacb62f5fbcb8122c36c790 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn IfCond True Passed
af1c674d31f0e231e716c2dc1971d9b8da76397d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn IfCond False Passed
4d0b5af3b7da9f5ba8d72d935e44f9a1e6842751 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag IfCond True Passed
1b59aa01f8f4dfa2ca50489d16200317418a3a2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag IfCond False Passed
844cb4944c7f3a68b3232ba09706c1630aaa4b52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion IfCond True Passed
12e15c15f99d685766eaf31257d199c51a2f4e7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion IfCond False Passed
7f71b413b67d5abed9b8a427726da9661f8fee01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality IfCond True Passed
0776b02eb9823b8ae2b5d07f8ce862646f962b80 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality IfCond False Passed
c77b0360ef959e63f3a07bd19098aacce5399a91 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll IfCond True Passed
19f599db8aa06e3bf3163477ca425d1944450632 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll IfCond False Passed
ed7fcf9e6378c832ab45311a2104e71429a7242f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag IfCond True Passed
673edba59011369118f3e999b9d16673ebd5e81f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag IfCond False Passed
fc69712daea29fe6bd915d6e95ef9d9372256888 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet IfCond True Passed
3c95fb87694e5e7b22856621a618fb1c602bc318 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet IfCond False Passed
a8ba1b2a2057a181a774c2b50321a8d9fc6485b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality IfCond True Passed
1b9111f575678e4a15d5d1874d57bf0a886dc340 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality IfCond False Passed
200fadad27a196f8ca9cccfa1024fd228647db1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead IfCond True Passed
0ca6ab4229f104cb63238340cd77767973f8a6be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead IfCond False Passed
82139c8e28c04191e780dabb1c55cbeca3c888d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail IfCond True Passed
52ac3381cd59ef97c901067cfe94e8203055175b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail IfCond False Passed
47574e89c939274e9e2d2ebd70d8c8c2dc7df8a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend IfCond True Passed
9ea436361c49d66e793bcace7c9aac688c742331 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend IfCond False Passed