Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
f14cf80fd8131e048fd4eced254688af346f7580 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And IfThen True Passed
4937817c31f431215ef684d976c4b64905bd034b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And IfThen False Passed
d094afe77504f8fbf882dcb3791c86762b32df2a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine IfThen True Passed
bf08f5ceeb487d7ea783232b37e76898d501cb88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine IfThen False Passed
2f9186a5ab8a274b75b722db7d8621f5e506c2b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply IfThen True Passed
f5e313aa93e1d53838504bc526f6f95fd806f5f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply IfThen False Passed
5e7b142c6bcea899a3d723cc7be67076835366c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not IfThen True Passed
298c64d325d40669f33c0881d6fb624a5bed9d0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not IfThen False Passed
85f1949d8ac776fabb29ac28198e21100dd2d0e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or IfThen True Passed
a07203e73739a195b65bdab9eab54d000cfdcbbd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or IfThen False Passed
40a823ce60375289ade81478a2bf739ad3e107ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine IfThen True Passed
47dc7e99cde8bb7b772a9a743858cb9c5845072f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine IfThen False Passed
a0684f353c99e236ca8fd7facf468876242a374a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp IfThen True Passed
17b258e35920b3db5f8d1334796c9d1861cb855a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp IfThen False Passed
e6640651d75caf93c6cd357dbf527af08fca20fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed IfThen True Passed
0d3f2aaad76265870ef918bd522352cf66eba988 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed IfThen False Passed
5b920bef7a0666011febf6233a8983a3fb32dc2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq IfThen True Passed
4e2c358cfcada7fc585a40f4fd3963c4a66fa102 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq IfThen False Passed
8b97b4ceafa622296e59733ad4ede4f356aa218f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne IfThen True Passed
33e17369161b492b24316026bce48e703f06ebc1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne IfThen False Passed
4e822c0686e1309c19a7263cd9e5b6080e8bfd7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let IfThen True Passed
ca1f903bde01ce69a48e6729f9f79ea08db5cff3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let IfThen False Passed
7a44a1e9ab621ddeed214e61981127a0f3c4364f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 IfThen True Passed
682626fe3743e6308701f1d2bf8949c715a8c5ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 IfThen False Passed
05d08914e9ec37c935917a7a8dd0bf4699dae503 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 IfThen True Passed
f34e03acdff113bd9b614644261982a379e2ec7b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 IfThen False Passed
4a39936bdca8d73060cb91783f48ed62441b4988 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 IfThen True Passed
6cb815a0c87f3a8c676a73548ef797f4aea9710e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 IfThen False Passed
ad6d2327af04f243626fb2f87e50fd21b71c0d0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun IfThen True Passed
3f916c2d23a9067e081c68ae12f0085d4643e9c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun IfThen False Passed
26dc61bab7cf0033db6c31b04b225d184ae6ec9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In IfThen True Passed
15a92be3069c404d93ade51f95c7c072517c8cf0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In IfThen False Passed
96d4013d86ea1585858f2e8c4d869788ff4f9883 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn IfThen True Passed
cea8c61049f90fda524c10eebdae1c7ee5a8dfc2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn IfThen False Passed
8b95d0e22073723e36de55f2180a3335df4afddb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists IfThen True Passed
08d0ecefc8dbd69551985914cf14403097a406b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists IfThen False Passed
272ce03605a7295c9497adf25afd37bb12986590 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall IfThen True Passed
76682e356efd6c0ec0c468e4c383c97ef0712209 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall IfThen False Passed
b272fcd2017bfef2546e82a18aae6417dfe41321 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose IfThen True Passed
7b9963b4f9b60f1fc4c5bb6c1e6426e90d29ca8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose IfThen False Passed
13a58a578f44017cf3d7db3feb4b450234d0d59b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record IfThen True Passed
29918be12594b92408f0a639902626a6a8d23c6c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record IfThen False Passed
982d23fc163ce390db997cd090855948eb8b2bdb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple IfThen True Passed
fe4a0b1c631070601e5a56c1119b9e270354a168 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple IfThen False Passed
8d79817496fd9b74b2abee1daa424a1297a0ad5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp IfThen True Passed
10ab2f6f82297d27d3d4d9b2ee2c19a7c53f0e9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp IfThen False Passed
0093651b48028dbb7bda9b48af8efd38cb4caecc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 IfThen True Passed
b1352b527ee0f12ddaca783dbfe1e6b445a5d269 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 IfThen False Passed
82bca4ec1bba0f833e130cc55269cec14165e409 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun IfThen True Passed
38acad1e8664407666a7ddc9c6b0af9c2d0e705f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun IfThen False Passed
e53917363bdb3c406269efae9fc974bf2d878192 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt IfThen True Passed
3ef3a43492a423c6f38880881f96e12c92b9e874 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt IfThen False Passed
950e27467e10fdaf3fe76b97909993ee00e95273 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec IfThen True Passed
b101b5d84c9af310efbc96bdc090a143b34bde0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec IfThen False Passed
4a86f140872e9e4df25f105e4fd82d5e486478a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt IfThen True Passed
b366ee095422aa7ce2c202cabbcb13940ddecd8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt IfThen False Passed
c09e563dcc49a17200f04f7e813ab1cbc302a9b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun IfThen True Passed
bee97d7f67210d1e6b0a90be2b60d97dbc73b33b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun IfThen False Passed
b150ce389d3e99d2e723ca7b1c066a2c2ccd8e54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple IfThen True Passed
679b0b6488c629819bd9d7b08ca26e3f48db8ca2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple IfThen False Passed
3e15644cb4cc2ebf8d4deadf14f633bf4bc31997 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime IfThen True Passed
53317d39ee866c65b954fa1deb7502f650500243 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime IfThen False Passed
c35be21b013cb84bb851afe5c957f492ff888843 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus IfThen True Passed
94e8982368e7c5290153ed34289a722c8389d064 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus IfThen False Passed
20d4fec8efc8fb9e627247bd9af1f8eb70c5265b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus IfThen True Passed
5d7cff2165d3f4da62488f72e6ed3d31848e3c8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus IfThen False Passed
b3c2b729ee382dffa31e7bfb5f1493b5149d6794 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus IfThen True Passed
9ab7597eec50bad8661c8cf1d7e9f02317ff973d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus IfThen False Passed
a2565be6b8362a779f44ebc782300fcbfe7094a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul IfThen True Passed
8763c46af552a18c203d202761cd4ab5090680cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul IfThen False Passed
f991bc9069222e7ea12edc1694d042a465ba9937 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv IfThen True Passed
d50860c21996498a99b9adec29cf5d985e24da53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv IfThen False Passed
a9b72bbec6b5eb6aeafa54fb87b084ceaf88f2ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod IfThen True Passed
92cc3c884766578691a35ccc9a4a93eec5610324 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod IfThen False Passed
da8d8df51be862e054a651b911a027dad4705ed8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow IfThen True Passed
7f85df4dab7edaf1ea407fe957ab5b1f6c68776b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow IfThen False Passed
7f5028a782235ea02c3cb074369d453ff0f12e79 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt IfThen True Passed
0a83674291ad22bd57157050cb23f2c8f4109661 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt IfThen False Passed
4ea7722ebee5cae29773da990c4d73de288617f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe IfThen True Passed
877473daedf71abd4fbdd5e5cae6613364fdd350 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe IfThen False Passed
8ce78e4ed26e8a111fed19afdb1e225cc96071c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt IfThen True Passed
684d63b9d873ceb6f156e55c6deed34136125d1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt IfThen False Passed
c4e43892996f45f17507c4fa217f483d73df5a95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe IfThen True Passed
c85da3295e5a12f096d440889d38b72291f324c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe IfThen False Passed
64cb6f46679fd434437d3b739ae03c42e476aa92 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun IfThen True Passed
342f204e106d4a8c7fbf270abb3a7ca36988ec0a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun IfThen False Passed
020a9d8791bafa458f31683bb3dcd48aba464b82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun IfThen True Passed
ea3c54e15ed630e78342d4a55576d5a7fbabe65b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun IfThen False Passed
b57629a201d6f683833a5a5bf1fe591668391f16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive IfThen True Passed
cb8612cf3d0b9d0d9f36ec683d42b83ff7e8174c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive IfThen False Passed
262c43d7f65e446588ec457bd917c15d93b9dfe9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive IfThen True Passed
b52ccf4bd56b94bb95024d8a9b71e9db7ba8cf9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive IfThen False Passed
4c00ab166e84df36f7bdad73be31b2cc207d4181 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 IfThen True Passed
1840cf3bc83882263f9069a9fd1377d04b003d45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 IfThen False Passed
f9d77b6030921850c38187afab1e84ab8dcb18be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 IfThen True Passed
e663eb1e4170649ef03b2cad469976002622b5e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 IfThen 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
6694696738995b215a9b4b42640c6ba7d2b735e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 IfThen True Passed
950fab1c0a858f3561497880f758908fc4b0a0a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 IfThen False Passed
931e03617c554fedc98ddff2676d0f2b6c8b0375 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 IfThen True Passed
c2bdb40dcd0673ec0dc6d20bce83c2bfe8052429 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 IfThen False Passed
f3edce041928a07509a3c30823124661f139294b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 IfThen True Passed
1343a5988651a9faa3e25c187afa4547f5b0c8ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 IfThen False Passed
cde94d28e68b0299e5ea94a595b20ab7a8a22420 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive IfThen True Passed
5284f73ec4dafb554d8a3bf43b0a2565384ecd01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive IfThen False Passed
1e03f1e81679c031512f99de897e617114e4e95a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive IfThen True Passed
760efac7a2294fa1c2b426caa988c6597cf5d656 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive IfThen False Passed
40f5758f5e4c441f8d8e5a98069c1f4dd5c2f67c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends IfThen True Passed
8805a2ddbd98cee3f4e5aee1f8dd80fa63a36096 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends IfThen False Passed
0132d1935d66f0ce656efdab1a20332787ecdc95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder IfThen True Passed
bebb454812a75cf539e8d9662e6a4562dbca7da0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder IfThen False Passed
032c021864271d93ce564ae93318a2329e85211e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable IfThen True Passed
f73972d32d5d57e0498efa938b9a1ccd99398056 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable IfThen False Passed
037ad01ae94f2f9d0f0868bd74ec1f868d5cf5d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude IfThen True Passed
bfced3bb40eb4ee4f00a7c5968c5c0f66bc35461 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude IfThen False Passed
1a8e6d454fbe4b7953cfad99fc7b33c650fe1076 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant IfThen True Passed
0758532c256b5e6838f45b8fcdd0aa3bafc23370 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant IfThen False Passed
6d15d55afc2273c903a6beb5403ecc3f19d07e49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 IfThen True Passed
afa0550806a8b510a0f65ea9ec100067667c5eea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 IfThen False Passed
3cf99c0c7dc3e23596e8daff73927263ae4f83c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance IfThen True Passed
ee885998579def692dcbb5fa219efdc09364d9eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance IfThen False Passed
90419f6992f1cde5dc562046d80733da81ff17e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith IfThen True Passed
455c9ea768cc066b6abdbd91fdc272d357abca8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith IfThen False Passed
97c4d0e8b26e8f8eb5022f4be0bfebcdd8d52466 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed IfThen True Passed
66733bf34d805ff0df3df64ccce1b7a81b118acc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed IfThen False Passed
0f8aa266d1190ede7a11cce85ab8dccfe35ee72c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith IfThen True Passed
50f8a55fbbb98e2e6a8449d1d270b0421b729778 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith IfThen False Passed
9d493e3e3b1b35aac6dff6c7568edbd7dcd62c5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder IfThen True Passed
82e2fd2792d9fb9ded610af6aea7cee2849100f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder IfThen False Passed
14a80dc02f9fa60f82bf46d41744c2255005f969 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder IfThen True Passed
5f5fb2cb6f7d9738d7f0e8e949675ebd8198d01b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder IfThen False Passed
e24d79a73494dfc9c0af66d0ba6d887e22a05168 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder IfThen True Passed
73ed16b7d9db20452911f76c973fba3739eb738f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder IfThen False Passed
11e7951d0d02111483c2d8035d2e138e2291c8e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder IfThen True Passed
afddb00246a47e80adf8a61cd4909df26d6b4514 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder IfThen False Passed
ea0ee5ab4ac843a65d93d2f70b34dc9b1f1f5f43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled IfThen True Passed
072ea1b4337411baec33a45bd8eabd06634fe9dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled IfThen False Passed
0dcdf5e4e521bc1e7c20434ad6c029cb2b8a96bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume IfThen True Passed
dc6ef5f3ec4e174d9e801aeef1550ebf78b72a76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume IfThen False Passed
524c707244fac3d4c4e600b1a7e338ed5e10f1a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed IfThen True Passed
8186eb01ba16f2bb9c05cc059730d95cea47cdec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed IfThen False Passed
a83629dcf6ba4575722aa8f670ebbc25d86a9d78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda IfThen True Passed
4afef608fb38d15001ad9266f373bfd278c71c63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda IfThen False Passed
71b3913b891f0a90c080a2404dcf2864878f42b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 IfThen True Passed
9252186758e791347dfae8a7af3783646d392f65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 IfThen False Passed
a9ef97d29d81f6ae93a6d065fd33ceb9a3a55b0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 IfThen True Passed
142de09aceda18dbc5414bce3d449f428ae69dcd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 IfThen False Passed
84bcd8149c4ef11627f36339736d1a18cd990ded TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet IfThen True Passed
f43e8e770bb903dc1b4af645fd68c846e6f671e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet IfThen False Passed
c320078b25fd1d5fd9ef5a2991049ab23226aff4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet IfThen True Passed
da24b78eea093b398b14d4def0cea6f160b0b3fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet IfThen False Passed
b8a7a23fb48cbc43b63d82554f8ceed9b040bac1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff IfThen True Passed
8a6b4abbd51b856216dcef20c4cd7a078ce9e854 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff IfThen False Passed
d192c707560626c32e13c1e7c1d4dee73bcd723d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion IfThen True Passed
74330c64d20bdff5a322ff76fd20480c2cc5dd8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion IfThen False Passed
f2917a82b6d0ca22143c147abab14f8a63aa1a7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect IfThen True Passed
a6bbc58171fcab1e0e13fc4596b5f2ee3b8a4d48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect IfThen False Passed
3f36aba1fb27b780fee78986f676c311bfbb71de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq IfThen True Passed
73a22f0bcf69634bae41657aeb058a12bab0ea3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq IfThen False Passed
e6988240cc12a9eac439a9f967f42de8c4a6daea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond IfThen True Passed
577e1c5f835fec097b2c271b0448fba107de9611 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond IfThen False Passed
2ebeb0c0191c1abaf70eae25588fb4e3ce3e0c66 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen IfThen True Passed
60c92791e26ca304483d01994d4a7d44210b3b0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen IfThen False Passed
a96834f038e3e1e864cd475f60e49887c0b5b147 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse IfThen True Passed
25b40057f6693a319d0c1b1fcac672c58b16df54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse IfThen False Passed
4c9bf445b8a89a67e14a7cec3a917e22dff036d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset IfThen True Passed
ea71d763c44c9b868486fc83028258baa70b9b86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset IfThen False Passed
55c86383fb84cf4a6282ce5f953cac571440b677 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain IfThen True Passed
22fa747770b48f2383cb1833a6fa2a6a6bc556f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain IfThen False Passed
d56049f672de7ee41bba0a797a01c217ddf7af57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union IfThen True Passed
a4c68f46b05d8c20ea578cab225e6014b9587a53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union IfThen False Passed
8ff4988c9f6242db4b983786c798187b5e3d4b35 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged IfThen True Passed
1df32a1a98c3f364efd75e94ecd3ae37bc27c2c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged IfThen False Passed
3e1fd180363ebc628606a1b68fcc726c7536ee14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence IfThen True Passed
098ffdcd4762d9f29d1e29134bfd7b0bd6f0296b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence IfThen False Passed
e21cd62ae59a8cff74b054adf752834eae35df33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen IfThen True Passed
86ab37cdf02650e55cac9c9ae4877a00ddacbd97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen IfThen False Passed
98ebc3100021d6ed545d7dae567aab1d7e5d126e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat IfThen True Passed
be81b118106541b3647f6abe2f2412a90b6247bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat IfThen False Passed
511da56c944523b1718494beec4e95f1fa504885 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq IfThen True Passed
6817f49230eb6617177762e9a29d84bd3d2e12ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq IfThen False Passed
41c3ef67c6f6450bc6b063c7c12479f5f92d4c9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq IfThen True Passed
2a42226915e19e35a5229f916e32bd2ec8a7f61f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq IfThen False Passed
82e95f9c96879d82301536b9b40f7f7797db910d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq IfThen True Passed
4f554f875f16de3020788a0329a94768c35b2c32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq IfThen False Passed
e2e2cd2a4ca4f23cceb47db149aabd1241ae3bfb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange IfThen True Passed
823d4a8e22f15d6ef5738c09e0ddce5c84fa4b78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange IfThen False Passed
14006c88559c250f054fb57f7ebaa0592dbec41e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun IfThen True Passed
430f9224b8fe67bff07ca70935929266cb4d187e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun IfThen False Passed
8e643b7c247ce5bcd116cd860063f315dbb3c714 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun IfThen True Passed
97e5e9341300407fabfb07c66cc281879cdc1940 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun IfThen False Passed
96532cc1aa99e8300de982d6187b6d67c2aafff9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun IfThen True Passed
fb05372de063c599cdcfb60b48089743b93533b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun IfThen False Passed
95f60a58556363f0afb54bb5e5c5c172b0a618e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq IfThen True Passed
b5663214390526363a1fdbc1e47fea4f3ba82877 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq IfThen False Passed
af44f793d53c53c126a4f2a00c243edec2cd8239 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval IfThen True Passed
4f7afde4a674bfb05e33ce081dc5ad8c56ae8127 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval IfThen False Passed
43882239f5be679792211281f46bf71579374672 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet IfThen True Passed
867f4ebf4cdf93a1c0db3f0a99528831b85c64b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet IfThen False Passed
1b00927cee79d3100095b901029563fcd8556d79 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag IfThen True Passed
85f0530ef0ba1f723d39a57e7a7de6e4dbb54ef3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag IfThen False Passed
3b02a6c73080e5e1010226326ca22c3ed26f26b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn IfThen True Passed
10dd15971d943b2df79e940876af96d6cea01a39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn IfThen False Passed
be03cda1bf042ccac8df60707857724d7fc57549 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag IfThen True Passed
55dfdf9fcfd0e4969aad7c0327a20610c3aec1e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag IfThen False Passed
a710fc2691f91d1c4fc275ef5b8542041fb656cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub IfThen True Passed
dd0d9b1038dd02902316cf00331c4ea98b000309 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub IfThen False Passed
a110c238d73d40a2381c7a3d85a54bc80eed175f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn IfThen True Passed
cc799dbc4d1687805723fa1f622d716b1eb6690b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn IfThen False Passed
c5f738d1f80b9e0e896a89cace0761493d862ddb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag IfThen True Passed
f271a2199338dbf380ca5ae274a100d57f2a6af3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag IfThen False Passed
8a617872b26342d7e5e6e3004fd40c2fd307ac3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion IfThen True Passed
c57a8baf071bba831067f6e4d37c49c6aece513e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion IfThen False Passed
da82a59fca766547f7e3c430ce3fb37ccee80dda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality IfThen True Passed
bcfcd0238bfb572d07a8f5e56e8f7aab74e903be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality IfThen False Passed
6891de09d5d487fe904cf912157ebac1a2a66210 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll IfThen True Passed
95a4b66d1828f1d435d8d84bd3a512397d7bf4d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll IfThen False Passed
219c86ce6b5e40a1fc755c1fc2afa6c860450cd6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag IfThen True Passed
e32d67bd204254b03696c7ac9976fbd95b7a95ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag IfThen False Passed
b94a7a7b939379306d2fedc9c3a200a44cc89f7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet IfThen True Passed
531a1f3e23d796da2c25a1a15317a1ea47dab39b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet IfThen False Passed
c9d9a05457dad3ae0adee0eba01f454e47edb476 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality IfThen True Passed
34e18342196718182a92620153947ff98a1eb4f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality IfThen False Passed
2e01324e7d9d9dc6867cf536cf275e4ff0362037 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead IfThen True Passed
88a5c850a17196be8fc1bc3d8688b17141e0b143 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead IfThen False Passed
46fd0b20095fb98edeb0ad0ad35f50c3a9f420b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail IfThen True Passed
5213a721bc4826a29f7ed0156a2fb794bcabe940 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail IfThen False Passed
f22ba8da010eda7b1710c3bf37ccbf71a8a59754 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend IfThen True Passed
b1020b92ddc89ada17836c1c0b32c0161dde0abf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend IfThen False Passed