Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
46b0d3cf8f22f84e2f250bd218bbad0aebf7bef7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Let True Passed
bed20dc644b4873e343d50985e28c3d307df4fc9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Let False Passed
b935c6a87a1cb2f561159a6d9426b0706ad59fcc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Let True Passed
0cc3763ea403f2ecbf0cc51e52cc9382f2e37357 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Let False Passed
b4be1eb170a6f5599747b2fc688d7348d2e7fc9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Let True Passed
e9a6c7113d56bee8437653b56684621c34c514aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Let False Passed
ac666293e1a410f30f4b28533e0b5747edfc2ae4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Let True Passed
4c892a7ca2c122861cfd95156af0845e976e893d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Let False Passed
9caeb55fad87a12a28bbe99c23246f45a7e3a08b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Let True Passed
5a76019cc680bb24342d653b0a994f3fd05db33a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Let False Passed
61070c0ba9a03bdf3bd9a0d8a68f98d8c86721f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Let True Passed
98d616a7f4ff4f5e1f16a8cc1894c3b02244c24d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Let False Passed
dbae9b20f4ba7e38db08c63ff69a2f30ef512d12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Let True Passed
152887e5f2b101040358a1acfbc7cfebac8782e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Let False Passed
cd3ac07636d2d78b865b592f69ff97079f09dde0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Let True Passed
86d9338ab3607f36f1c8817440bc628f06289a8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Let False Passed
efe1e6ed948404adb502fce728e14a9e99baa70b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Let True Passed
3afc1b8ff435c2171ed9ae87096d1aac24438968 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Let False Passed
cf11d9c43f5e6bdbd323aa6394e5f4313ebecf4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Let True Passed
9f2278bccfc8f8a7686f841a7dc9d8f4d2d85853 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Let False Passed
0ebadd897752047e59b68e0f6f1b94ca539c6643 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Let True Passed
2e3bf97ec350a3911b4eafd99c435a2d42b59401 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Let False Passed
723cb6723059b65087b07d560fd0b9e42d69f14e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Let True Passed
ccd4f18077c425cb3e42e51adfee4e59ddc0f0a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Let False Passed
38eb78b64a0ea72506bb68d0d0ab117bee4d2f35 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Let True Passed
650211b554bc54fcd6f7ce1ae1706750e65956ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Let False Passed
7edfcd89376e089a5ced57969005fa6dee99ece7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Let True Passed
1b300e7c3cebe0f72177c13a47282f614d1fa3df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Let False Passed
aef2d9f64766af2653b9797111ff5f1219572baf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Let True Passed
0dcefbae9193d7ddd5080783db57d8c5f7eda758 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Let False Passed
7f905304cf48b65ae20806869cef06df5bdd44f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Let True Passed
40862567d1959548bec5e5ddcb7926babadea1db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Let False Passed
cffa9cf6905dc0e0f8eee3e12416d0243857c20b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Let True Passed
c3ee76d6bff5e721dadbf0525b606d8dd5426202 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Let False Passed
2b7dc7a1d593c390d0b7d90808f09c780edacf0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists Let True Passed
49869012b6d6346b9cabad9f0af495a715182896 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists Let False Passed
f9be8e7299719231ae4b6d97cca6552bf775ac4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall Let True Passed
740b961445a058c0eee903b2a9447a6c413e48b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall Let False Passed
59c946ebb101c65e0e061a3845b972f29cae45cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Let True Passed
14d22844e661ae3fa558b408e8f6c5626282d419 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Let False Passed
c66bb30cc4e108b3b02b8e600b0f028b41aeb981 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Let True Passed
18ceba851bb1b8c41d4a8e29853d4f7779a2feab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Let False Passed
7667233443e08676c0eceddee466604218b4ab01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Let True Passed
a816a5b39b7fe48451ac90c8e2e7f13214a60b2f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Let False Passed
0640a13a86c2deea93bb5c06d8cb6173d4b1a40d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Let True Passed
4b10820e409691423f413bd4caeb616bb312d71f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Let False Passed
bb7d24140ef9583bdc000558b106f0e1feafc3d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 Let True Passed
62f6c7115171d0b93df94ca13d740bf20e2fb72a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 Let False Passed
c5fff5ef99ca4e439aeaaff90c7c1b4ccd53ed6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Let True Passed
13f09194c6d5546b9ca2e05680368eb6cbd0f977 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Let False Passed
06fc392648a9512eccd122cc6e856c00160baf47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Let True Passed
85371b878cdedfb23a0072d21166ed90e9d7c4a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Let False Passed
b255cf56b7511fba42a47594283c7215fb84274c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Let True Passed
d916faa2aba9c609004aa2f4ae250c3b50afef3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Let False Passed
58c943b6d563bf8adb465bb82a2461ed4b105774 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Let True Passed
8dca9f6d52c11609b2792d5a23992aa71b63d9be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Let False Passed
2ab6d9361c28155b53bf7c3878abaeb4048f1a08 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Let True Passed
41a7b0668efef357e3f6c17522cf3d62a7ee091c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Let False Passed
23797515693748dd269872332c6d1b1141762007 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple Let True Passed
0460c2b1a6065e8cd34fde990214fa0153235868 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple Let False Passed
71e116d3b4d8a0f4dae0d270deb3bd3cb5e9705a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Let True Passed
b06da3c9709d65937e00e2947182726a7a71d4d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Let False Passed
4cb20db7cbdc1b0c9a217cbe8fbd5dfe044a6e72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Let True Passed
484d17185bf158418d464b38e5093bfb2d80cba4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Let False Passed
d3bc16b58d35b109bdd3272ea03cc5bf9fc7df68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Let True Passed
5711e85a005954665db73e83813f80a646906095 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Let False Passed
5c37e5700647d3092686dd5f08f332839ac0fa87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Let True Passed
4e9c7b1f0bc00bfca7993110883a0875ac2bd4d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Let False Passed
ca303775ee1f8e145e55b75c3a0b24e98a8241b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Let True Passed
1ea6116e9ba34411cb399d1ccce7e390532d57f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Let False Passed
24d799dc351d53e2926bd8bb3ec06ee7a043177d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Let True Passed
c782eec4ffac867fdaeecf6bbc834b79de87abdf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Let False Passed
a45976d2abc87d7d969f596f38913f5d4526c39e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Let True Passed
5ba5b18a4b6b77bd6e81dde92a774d4fb477d093 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Let False Passed
518c60ed45513fe79431bbb8ac05bb60639105da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Let True Passed
e645a5c6dfe58d887be0ac19a3122084c1b11a88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Let False Passed
800691c199fbbfc40a0674baadcd40537671e63f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt Let True Passed
c3f0e3d149ab7617c94bae2d3a3b4055b9279eec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt Let False Passed
5be972ddad36a2962a988387df2c7ad925de87e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Let True Passed
24edac9878ee6caf10404113b6f565191cc555e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Let False Passed
2fe606b44b6dd2d99e48260a188fa017da5fac5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Let True Passed
f019014e4999e2d8df4bf0a0df18b63ec2503649 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Let False Passed
ea54adc9986999eed9428ac53371958ac68f0427 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Let True Passed
f26d8317bace258810cde7fd195d62936225cb15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Let False Passed
5ec23f2f1bafb1be81b03b93338ec21c77e87c01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Let True Passed
f10f2ed321bbd57aec10d1fe498280511b3ddcea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Let False Passed
deb96dab08e8abf45fb6f0866c83d73ef1c60b3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Let True Passed
2dd6b0e6086d385443cc5d3f2a29d3d5512bf335 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Let False Passed
bd975b8b727c50788c7fb8f69829d2efb072879c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Let True Passed
1a5d5dcc6b5b08ba565e96fa3404f2905853896c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Let False Passed
3c3d48b6b1f1c83749364975b552551cbfea12fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Let True Passed
f0510733cbab2f7fae0a3e66e3e1c58f7615ab46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Let False Passed
62fcbf9893193ffbb71b4abf7d40cd2abd806d44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Let True Passed
211ff6293f747f31b76ef249248e072a31b392a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Let False Passed
c2b9d46addfb2f56e7ad514143f01ee7e890cb17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Let True Passed
204f7d5969e6bace9d0964eebe3561126512a6dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Let False Passed
3e37c83e508d9178efd26c396ba6803a179b60a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Let True Passed
adbad32289971e9e3892b891a46f305415289503 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Let False Passed
fb0da0285bf46d6b4b2754851d84b0daf39878dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Let True Passed
dec65cd638e57110b2ca7cef3a4c65e7765fa630 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Let False Passed
e9b478be5de43dc60e39862ef2d272f6f6013b6f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Let True Passed
fd976f4d37c5addb8afa2cbfb09d6e42724d73ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Let False Passed
b3556aabddba1e3d87e698c73de5d0421b7b46d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Let True Passed
31e02b40abacf44e33a50501ea5315917a911971 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Let False Passed
974600257a74258d1c9d9e20a8e223de28860a87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Let True Passed
02c971208009dfd3a1edf97a26eda4b005f7ac7b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Let False Passed
eb7d41b89f02e92c2bf0c75af3a937d42be85abb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Let True Passed
6c189b74305888092381e782a1b466e5d3695bd0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Let False Passed
ef25fbaeb7e62335e5989fd2bdab01781cf5cbe7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Let True Passed
96351636a8b0c701cd7336a6778d3c4913148eb8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Let False Passed
6c9fbf710ea8dac694b52633f3b946f24b82ee82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Let True Passed
704c145f0218259e0999234e8760cf0791e1f3c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Let False Passed
d520389e53e1e0a8f8df13be029be831e400c90a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Let True Passed
e8306ef69061d608edec4a6347e81789ba21898c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Let False Passed
f2b7b7f656dc755df95444e2744e2606a894090b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Let True Passed
a29f23e7e2398849f43d6c46993940c3d1b88dc6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Let False Passed
a00fe025bda350b63b71d5a4d90e94911f9836ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Let True Passed
d6694ae1f0190add1a24a821a0a8fe584fdd90f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Let False Passed
bc7404bc70b9235740077145eab0efdc4ced5a1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Let True Passed
a0b27b6bb99e007549ae84f8062773bdc7d641a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Let False Passed
f6b16dac32c576a9e81913bc7eaec131b83a6d31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Let True Passed
4e7c4b5c4dcde2e8e9c6a10554cf5f98f9bb6f23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Let False Passed
9e2bca1176e5295b2688b0d3b75c65ce815826a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Let True Passed
38aa71e0d0911c6524a323f5d38edcb594ff6706 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Let False Passed
38aeb68fd0acb5a2e511f607841e1f5b19568d0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Let True Passed
f0694f19c24fb6228d3761f322e0db36cde9d59b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Let False Passed
410b31d102d2da5e59f9e31a21a307fdafb8c774 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Let True Passed
a73e64664e5686a29b6e8fa26b4f07b3292a4e56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Let False Passed
78a171334223f58a47f948577dfa5657d0550212 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Let True Passed
a72a252d52adacc78248a13a36662877cba65392 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Let False Passed
fb8734550f04249b3786db15fdb5ec93e980927f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Let True Passed
6795e9836fee24b34729fbfa2af9e5d54126020e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Let False Passed
2e25eb1a2ace05aa05b289e5709d44ce563ef8a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Let True Passed
805a52204a786a3e944accff302df0b18511b0a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Let False Passed
036a8a3a4a335fb1d8946695576976c9c6eea3e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Let True Passed
799be573a4b6aea0f5d74057c8a6a03c83ef1b64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Let False Passed
b18a930ee19b97c7b51bf41a70b180a937ad0b54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled Let True Passed
d882ffdff37a8155b8764ad5cae56b4f466af942 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled Let False Passed
668ffcfaad3980d3e37acdd0cc4c22ab02a8461b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Let True Passed
dba7f0263840d7a1f87310d6bcee30e3d6fe60cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Let False Passed
9248e341c7bb9e51a0b2ea06ef425d08daf1e6e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Let True Passed
6f75faef095fb1e6c46958fb0f2799aeb0218cda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Let False Passed
ffb7827fb9ec03e308956d04c0f36e3d8aa6e048 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Let True Passed
9add9f54af3059e4d3262db9d8e3151aefd2ef1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Let False Passed
1b27de8b793501561dc892ebec620fa27f0c8390 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Let True Passed
310ab622542484c2f1199de6db4e17b3f487f67e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Let False Passed
f97b162e8720a76d461cb27361a82806a701f5b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Let True Passed
1aaca6b938d5ea5508ae79f5bff507be8c15e4ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Let False Passed
dd0ff50b942f78b069d6c3f90de1ab2202444d9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Let True Passed
ac6245b3ec3df9f9702d83c8ccb9e91447142153 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Let False Passed
f02ae9947ccec38ae18398e65a14d97483517bad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Let True Passed
fef09e9a37ac23bf5e7fdaee00b2167c9eced7c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Let False Passed
cca0b7ee68aab83b11fec807eaf172abf82e351a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Let True Passed
a3e8144ebc6819fe66562d98a6c5903c2c27eff2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Let False Passed
0980e6fa36d75d49a07153adc471dde5ce0b7bd0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Let True Passed
a80c4965180aa93aef9c496d431cd4019cebef95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Let False Passed
9362c0d02bbbac786e249f39d42315c5295606e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Let True Passed
974425356961f0fb30d84333f3c79abc32994f40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Let False Passed
a894d7900e8a3fccc655967676826ccd5e9d1ad0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Let True Passed
a34a4268147c1cdbe272b2b3de812ffd96a92829 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Let False Passed
475a4905264d5d8266e31cb849d76889e6047351 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Let True Passed
376771f0e34254dcb5b5b8d98a71664ea316227e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Let False Passed
8d11318574e204ea406daafc85190697786dc3a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Let True Passed
bf22f5e9a9a93de82c45bfe3c894f2c5d50de172 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Let False Passed
d79412abd92677fb0d8aac669517978312e0e148 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Let True Passed
3b149e3abf3e8f635a4c9b6273118f826154285c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Let False Passed
b0bbb5b08d41b2c1c2baeb3cee1a21041372f51c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Let True Passed
556d176d5efc8fd577821d2bb53044023cd8eeb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Let False Passed
9558361fb48467a1628d4d5c86bc777b37ec8b09 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Let True Passed
f5ac47428d72c573c13e007e820a01e25d37cbb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Let False Passed
57223d6a2181a026107201ecf9e994e695a2ac86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Let True Passed
5f4bf545339e267f7d745e35d5bc3ecc0ec1450b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Let False Passed
df689fcea5da9716e703c67f973a774e04d9a823 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Let True Passed
908f1ec8eeb77381ee66c72ba64cd9358dc65098 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Let False Passed
c7b5e654e98197d2506555b677100ac666cbba9c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Let True Passed
4b15c5265cd9ec68910782fd068108e2baa96258 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Let False Passed
5e5724a8ffa4a3cda8d44a2084ece1eed031ce94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Let True Passed
55bea4d372cb8ffe951716714351946c6fbc8c6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Let False Passed
532273bbac55e8867588f0af0f440c7ba7048364 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Let True Passed
2659acfa59d48ff3562b3a4eb3b97c06baa05769 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Let False Passed
d06a5e1befcd03ff42fb931f364323fe716a5377 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Let True Passed
afef93ad1675438c611d45c586ca4b8e0b3737f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Let False Passed
b6d11e23c24e663b86ef3d2862139b0a49879632 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Let True Passed
4233e2a24cb314a8851beda0254fc65c74b9623a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Let False Passed
62dedf8d349028b99c45bfe93b7a0f3580a55582 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Let True Passed
df58238885e9db826fc01091f7f49dca50a24cec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Let False Passed
b453ae80897a3ea47376d11d0d7cabea7737e810 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Let True Passed
d118e457f973364cce2d56c302690ebfd12c6162 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Let False Passed
6bf5d2c5d2ee964a8932510c54a2005f23fb1f12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Let True Passed
f70767a96144bdb4621b5e0ead36d36afffc40f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Let False Passed
82df8982cae1cb3f68f133cacadcab17ee1f27c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Let True Passed
f201b0c10fa5c22e4c88c892214b24f93dec742b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Let False Passed
7a9fb07b121aebb36c5906ebbe54affc3bec5fb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Let True Passed
a73ff02a78148c6db51b715835e1d012b6ddef84 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Let False Passed
c917211a0385cb01eef93f6e318dacaf4637713b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Let True Passed
f29a8a000c28328c9620f838f6c8721a8027628e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Let False Passed
69818ced939531b79b3f9b539d3f346b9424e57e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Let True Passed
b18d762d443928ad52daf7f41d0ea442acaac013 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Let False Passed
d8b89c006ab7c3a75d4c2c262aed4fcaf708150e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Let True Passed
77d1a6964038acdcf30d36a7bee75c7fa6942d78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Let False Passed
1f1cc2cba2d11ea149cb5b445ce5d89c94b8c857 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Let True Passed
f08bd489597adb265345f37e2c2ae156e224ed3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Let False Passed
c3d54b018eecb76aaac7530b34b0e640f8533f17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Let True Passed
4797ab2a84b9244fdb1d7143883e584ead858db2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Let False Passed
a662e19a723776aa4db8a4215d01fd9ba3c75d7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Let True Passed
c577803537f7225350485996f613b824b9ed26e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Let False Passed
3a5b1168d4b9067f067f9e9f8ad41ede53097f94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Let True Passed
1d641a3a2b6aa3f729a79773ba6d67b34ee4cc15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Let False Passed
f0d45567b55ce3f03831eac4f6973841d8ab9863 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Let True Passed
3570591cb5d9b610312b4f885c388dbff07f4da4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Let False Passed
82017e2a537d5755cc3bfb5bc6ac2388821d8250 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Let True Passed
9d140248eed73d823c3dc23106c159ed3b2ce0ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Let False Passed
d68e6a337878b4c2a7c0301f2692abf8f0ae52cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Let True Passed
08d20239d927a77ef58cd6c7469caa307e56479f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Let False Passed
c346909e87393677470346502d87435cafe662c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Let True Passed
bf52702596a88a5f48a782908ec25196a55fe5c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Let False Passed
f790536628fc339d9a355249e256a1bf74d07171 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Let True Passed
cdb23c4481a20eee13dfd127b00c6862a7463317 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Let False Passed
8d13d8c52cacd7c0cdca2aff1c1ca3167dc524d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Let True Passed
6eb9d7e0769d93448c54d6d6989de0c946669c54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Let False Passed
ad247008822db99771bacab06f5d94aa08a8a477 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Let True Passed
daedfd0a45de8fa4ae4c5423d330f85d18773b54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Let False Passed
af291089b4dc1eca782433e8e11c064c5cc8c74d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Let True Passed
5c07f7efa54c044460805b42772060bedd636c7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Let False Passed
470587feebb6e06031ea9e1b63e7fef35c70d25b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Let True Passed
bdda8fa9ea9bec7105ed1d6a334da36cb7db07f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Let False Passed
e44f5e3d8b95d4151dab35513c9d8cd75ccb6211 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Let True Passed
265bd11f68183dde84d3eed9ed2acfb99cb10b3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Let False Passed
c39b5b289d14f89ad591fd22ae3d63869cf1eefa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Let True Passed
b919841d28a69afe3473af8bab9579d6b9d6dc2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Let False Passed