Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
9d17ab63c1a6a677d088c84c0a9924aad44987a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq OneLineComment True Passed
898f1d618d6053ad4fdce602ec3b75026174a96c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq OneLineComment False Passed
ba586c3ec8685249b5b1cb812b3e3ffc7f024ef7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq MultiLineComment True Passed
49af8bbc6b9064f3dd03bf21df674a210ecd6fe4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq MultiLineComment False Passed
15cc6b01a0dc77e13fe58a8a275ba376dc92681f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BoolTrue True Passed
cc66ce05c285f570750e325ee84fe2d0b7aa3a04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BoolTrue False Passed
790bcfa8ec55208e571de861f066c4a82e4e8dc5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BoolFalse True Passed
b65933e4402e657a8f98f26d1c18e283b806961d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BoolFalse False Passed
1e36451f9217068bc8a0b027e23ffc5e144c3cd6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BoolSet True Passed
114901b22b2bd0b59eb7652f72a12c0aaf68235e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BoolSet False Passed
38c7df0046eb01752a356ce638d2a87ab3cabb28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq And True Passed
141484d0f95eee29c2866d54bf5981f10122d196 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq And False Passed
df16b93f5208326d5c19ed8ff2fa5409e100b3ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq AndMultiLine True Passed
f55f55542dadc0b7907b2e2d56ec94eca572f0f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq AndMultiLine False Passed
89bad894247b978d054447e37e679c67360a9cc8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Imply True Passed
f407b6b1f1dea2f73499a640c2a072a54fe1f0d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Imply False Passed
fa75a8f4fd508ee543f056338f1d368b87918249 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Not True Passed
93baa8ac712f03a1b11a30a989e1253d66823910 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Not False Passed
bba3250e115ad8dec34e5e5e023224e44cb93424 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Or True Passed
92c7c997f262245fabd814d88db27df63bfd6256 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Or False Passed
24ae1a68d3477c8db7e9d5250501518f5848e425 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq OrMultiLine True Passed
5ab95cb66bd7cdccaa7ebe853c9c9fc1c8a43ab2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq OrMultiLine False Passed
0af97c1028040349c01f09365dfa0dc589c2aa44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Eq True Passed
098ef030f2aa907fa68f65ec5a10b8b9ca698f45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Eq False Passed
df7d8c7897399a71a4f65290baff556af9e2009e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Ne True Passed
506724ad0b4e858f5906774da545a5d58ac3ee4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Ne 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
8cc757589d189a33f667bee8ea7030c6b3f265bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SetEmpty True Passed
6c7b55330c0305989f7d7aaf788ec30f047f6d1c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SetEmpty False Passed
3a1942a6a5a2c829e63ad2c071dc91006f6f03e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Set0 True Passed
3a209f3ae8ca91e8a42a55c7ebe40444cce5b8c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Set0 False Passed
ea4fdebabace5c2d23c06f0ce047570ed046cdfd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Set1 True Passed
2eddac435659cb777bbe98dc361856ad2c672e82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Set1 False Passed
74fcaf1a6921a8bc94b0c73651f7f3a71d15018d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Set2 True Passed
55c99d10371660e0e2a00021ec51ced1c94fd3bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Set2 False Passed
dc3718e35466796f868d9de436e48262f0230686 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Fun True Passed
ced055d7eb257276e5d0f1ef53867aac68f49034 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Fun False Passed
9a7fc13b69588ece95aa87ec96b21baad235aa39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq In True Passed
376f5fd0ce3988ae096d87a0b78413807d14edeb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq In False Passed
d03f6129f613d171c1e77153a89c75996c365d25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NotIn True Passed
27059e7b5cbd548faf1aeb4c6e188dfce8aca0fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NotIn False Passed
c9ae43973bcaef127b4568d29ed1b4bf9a78ed73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Exists True Passed
10f3de97eaee42b5308208db852daac86fb6306b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Exists False Passed
c5545c8b9016269ca6bcee61769e299f0a2189fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Forall True Passed
d5c16c4c43bc30205b81299677b880363ef2c416 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Forall False Passed
ab106ae5772539bef7873ae37bd6b7d6cead39c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Choose True Passed
2ea65f9a4c303aabb71e322e8c9da310e064269f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Choose False Passed
8139aecb844df5f39e3bebe1264fe8d4c39aa847 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Record True Passed
6694f9ab580360a242aac83c332eb7de274539f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Record False Passed
52b7255dbf28d50a768f48edbe33ae04a26ddd6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Tuple True Passed
0daddc21c35ac4c3fa4d9aa736b1ad9765ea5273 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Tuple False Passed
bac6d9a25b4ce847152294325b0cb48a5bc1c8f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq TupleEmpty True Passed
32a3aa1098609f3a10f9ed7a3abf16c51d893d94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq TupleEmpty False Passed
c189588767e56a2f3846fbd6f1f7453e3c6c1f45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq FunApp True Passed
a19ae528bac8a5982cdd776df239b55c368ed72f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq FunApp False Passed
24aeb59b31c5b6b14b2e711d80e0b5a4467e4755 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Prime True Passed
68d99e61a4fb1ff68efc497bcab21be15e65f5d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Prime False Passed
f731b5cc6a29a1f3a0827b20fca026c0b14e6ace TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumZero True Passed
e879c8e31f7aee78dc52e4c85f800d0ce002cbbe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumZero False Passed
42fda1996f493f55cc1bd0d4118159f91cab984a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumOne True Passed
6ed2830a48af06684bc9ed110b66571ef27205e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumOne False Passed
d82646a2606df332589bb3d5a553ee3b0e287c44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumMaxInt True Passed
a5acb28b1a23820274577fc00191ddbba26227be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumMaxInt False Passed
e95887a499745418cf62eb13be66423c670be83a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumUnaryMinus True Passed
a23f02db92e57e6a31816a3b2ea28150e9870617 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumUnaryMinus False Passed
df33cd6735a19a8bbd9ec8ee20d0426750f1cb60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumPlus True Passed
ace3174561ab266adc89cedabd874459b9914116 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumPlus False Passed
bbf833a64abf103a9202e4b74648150401833b43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumMinus True Passed
5fad9838d044eee01fbd90918d43df2ee87eddbc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumMinus False Passed
6ca820ab2b603d40cfbbf1a685688dcc9a0b0859 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumMul True Passed
12746419cafd8746ff65f397bc7fbeb6044c64ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumMul False Passed
53ccf16a7cc9a5d303c84edc7d0f878b4229adb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumDiv True Passed
014ee6281615971fd1e7ac5c965a47c58ed7ee33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumDiv False Passed
669c8c0bb220a724a610bb20a9adf4e968ad37b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumMod True Passed
83e4f9b36e000839e2b574fe146e09e98cac83ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumMod False Passed
812a2a926d9d262fd57ded05cf3c795ba48d18bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumPow True Passed
73c8f5e26de3be5a23c304164ac969cd41ccf123 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumPow False Passed
ff9c194bb7600b110ec5883455af1d18352b3688 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumGt True Passed
f8fa38dd998a4c9167167efb483370462eeeb0f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumGt False Passed
083c6239804fc012f9d1cc2c1f242a00c7cb8384 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumGe True Passed
ffaff2e1d62a483256e109062b7c99d8a83a4aaf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumGe False Passed
fa69a78aa652fcd081dc8443cce765712791e6c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumLt True Passed
a1841654a2330362c6138b60fc91fbe57d823d5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumLt False Passed
4c92b7472f7614b20d64abee6f1544983fcf105a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumLe True Passed
557502c3c13214e001fb4a382f1de26bad408cdb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumLe False Passed
1d8fd0bc21ef2ba2cf5b822bf741c8e2fbfc969f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq DefFun True Passed
4b59d8e9228388806c93899374915f99069c64bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq DefFun False Passed
ea219aa5488bd7cc5f50ec4f3dc05abb6b769e37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq LetDefFun True Passed
faa63f5ef9acd4f36570de01f560861510f62c79 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq LetDefFun False Passed
355d4aa69bcc46e9d87f5a9b10103ea4ad90ed29 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq DefFunRecursive True Passed
ec170e654869b6d2e084aba4cc15d2e171c7a645 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq DefFunRecursive False Passed
62239be41d77346337eed6049f9f632f1f5602ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq LetDefFunRecursive True Passed
35a4ad77cffd242678f7da65b8e1795e9f34518a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq LetDefFunRecursive False Passed
a819980e9ece430346c8baa94e1b7ec54c819dd7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Def0 True Passed
be43658d834986f9e0ec08ac11b77232984cbd3b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Def0 False Passed
01795377f50127c3fb3267a62a5223702db25e24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq LetDef0 True Passed
5ce1200294d79d20518b9e352bfe47e4f2adcd2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq LetDef0 False Passed
1cb924d375147e71e8505df4e6229b718d9cfb31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Def1 True Passed
ac61d2c3f218b75015d0c27e9b67fb94ab9a4c3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Def1 False Passed
c40ffcd8af3d93c147f72ad4bf669268c2e962a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq LetDef1 True Passed
2778232b708a9d0b1f3484d2e85fad8c5ac2375a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq LetDef1 False Passed
3522ea11ca30fea16e066dfeb7bb69c5332fae44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Def2 True Passed
ef2c11b689208705e5fcfcf1c92579d3b5b6f9c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Def2 False Passed
e7b516e96caf9de789194f495c23c3f3d6b83f4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq LetDef2 True Passed
b34bc18913934dbaee604075feceb0e84f370cf0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq LetDef2 False Passed
b2c816970e89d0bd41095c78c4cdc3cef3e7ef2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Def1Recursive True Passed
cda23cb8d51be21c25c87fb290fe256a005f344f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Def1Recursive False Passed
ee946ea3be8b07a1c58a6d65d36fd2e48061a177 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq LetDef1Recursive True Passed
4e47c259f355fc51b9e7972ead51c5d31f46040c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq LetDef1Recursive False Passed
aecd2627cae964b0e96a7d32761c8578005c68aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Extends True Passed
b9cbcad15b27d8ab4f42a8f2a1f5dba458eb4645 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Extends False Passed
91ce43d84ff10c81ba62811a1bbd9ff194c4b132 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq ExtendsInDifferentFolder True Passed
40474ac17c98d08effbe77f0c0abc0da525e26a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq ExtendsInDifferentFolder False Passed
4936cf5c99121671740ef3d1c4d000675eb1beb4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Variable True Passed
1f49fe5893cdb8456434db45b8f2c4683d4e393a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Variable False Passed
b44747a9f3162cb373143fc5a3905a55225cf03b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Constant True Passed
10c4c09749a5c7899eee3ec07cfe5a5a80822956 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Constant False Passed
02b639350a7716d1520d13bbb229366c5565a00f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq ConstantModelValue True Passed
5f0c89e7fdc58a41a39f6489a1d749244bcf370d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq ConstantModelValue False Passed
2206671a89497e2bdab992701a4e8774aed93dcb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq ConstantRank1 True Passed
c2b0cb26714093bd0d93c4ee0b7754194595a7fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq ConstantRank1 False Passed
7bf495cbb0b19d0144833836550e00fec976d388 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Instance True Passed
b0f8ba322af8739e8fd0f6ef6f5b284520aa767e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Instance False Passed
eb7a51739b256b21dcd9d231ee1e035f3d3cabda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq InstanceWith True Passed
e452502aef734ff29dd1f86af428cb3bce2d48f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq InstanceWith False Passed
f91bfe3cbebe20fd9286d45d9a6af7d322f59bc7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq InstanceNamed True Passed
64b2241868a895922e6bce501ffa22b57adec1e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq InstanceNamed False Passed
85be5389f64abc4e48766a7c0892f78bab0e1642 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq InstanceNamedWith True Passed
acb6269b43a7b01e164b4a4d79f00eb90d77cc04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq InstanceNamedWith False Passed
ee42528de1fca78d29769a54b7814e298f0a05dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq InstanceInFolder True Passed
a44cf5952bbfc6e93133ffb136ecd69d4c2e2dfa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq InstanceInFolder False Passed
19a6d39dcff355e49d5a93cc50f63f1808a7fd36 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq InstanceWithInFolder True Passed
079c7267015487696aadfce27d0491cc68b4407f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq InstanceWithInFolder False Passed
b0ffbea569dcaaf76636b7cb998a5b8821bdf80f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq InstanceNamedInFolder True Passed
f569c580d2912772a6c11d723377c3a9ffb9df50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq InstanceNamedInFolder False Passed
10dd3ff3ae96d305aa9a32345f1cdc8e277ab2d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq InstanceNamedWithInFolder True Passed
45c1de52f165f73170d966b903504a8348ba0334 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq InstanceNamedWithInFolder False Passed
6f961ee8cdff35aed12a6785a1a8045e27230407 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Enabled True Passed
bdcc4493c85e0ce52227b19ab73753824e63c616 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Enabled False Passed
0dc68f5505c229fdf0ab871a723c1383091e3e29 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Cross2 True Passed
078cf1e3aeccc4388370f4717d02d4f270204519 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Cross2 False Passed
99495ea76397b4ada63d27d543c32a43bf78d48c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Cross3 True Passed
f890096c3e3156da26f0307413fa869a5f6fab50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Cross3 False Passed
e830ecf6f92c4a99cc5ec39a3f0e0d3255b6c013 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq FunSet True Passed
f97c9e1684dfb44d670fabe7bdde6d70146f6f24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq FunSet False Passed
e2543778dbb065b25b3d0fcab7ef87c425eb1cf9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq RecordSet True Passed
b2af4950ff9c4147655dcf26d3db9d232e8b2139 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq RecordSet False Passed
ff9a5028d699163ab5fd7bb0a9205511c8d9d331 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SetDiff True Passed
66efa5f57d86bc92da3606e80d0d9f803083a6ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SetDiff False Passed
1a3b84823230db238b9ed5b73176b0a8846651db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SetUnion True Passed
02fc9c82b1c45de00eb7bbbdd320d83d1fa1976e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SetUnion False Passed
f06e27c13e512b09e7172c1849fb145485765d80 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SetIntersect True Passed
31727b1ab45d092090f38a5e1ae1683fbea0c0ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SetIntersect False Passed
068fe4855410847ae988556ef4c3816972e79cc5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SubsetEq True Passed
7a987898165cd2a23841c20e13afc86dd2ea219c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SubsetEq 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
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
b07ab5374b95c3651e0a76bc76044604f7049c26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq IfElse True Passed
0b5eef3476e4b8d112f783c133cb481a4b43f736 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq IfElse False Passed
6db45bfca75e1dc7d65d6cc521716c06b2854960 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Subset True Passed
b7a76814a61d2ce4b07a3c4823b0d2bf630a1bde TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Subset False Passed
9f88fdaf4a9afe333344a613e7aa827733d87863 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Domain True Passed
edf0a40770c38a11bc6dede64a87d83e0f80c28a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Domain False Passed
5969d466e65f1d2db85629257472fbf95cc196a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Union True Passed
d8fd29977ced74830bc57fa48af910dae2047177 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Union False Passed
2e9da252fb8932b1ea64199ecaa2e6b9c876ebf3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Unchanged True Passed
b358e1db8eaa21d616c139857e2132389c7f6431 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Unchanged False Passed
d62082614957cfa14f9771d838c02fa46b02677b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Equivalence True Passed
e73828be3d12bc0b7548e34763c7f0efa9f3da9c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Equivalence False Passed
a832819819c04eea939d93f12cbdaeed2c0eab9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq StringEmpty True Passed
2d4adf75732ccf082ab03f20e1418d4c3f4c2f9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq StringEmpty False Passed
9717d4230c2a4edcf392dd353fab39497ca50603 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq String True Passed
df8e506a1714685af150520d7fc079b7a98a06b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq String False Passed
119baf574bf2909351cb1ad196ea69257aab0418 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SeqLen True Passed
771dbe6a9df0c560809c0167c03ee7cf97743703 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SeqLen False Passed
c78b5689c171f8970bc30aef9fab57b51f010967 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SeqConcat True Passed
8b67612679a020ffb4eac4d9f50c45665e1bd4c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SeqConcat False Passed
e9dcf7a491ea4acaa99d1df1eb7d7d546d0a0ad3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SeqSelectSeq True Passed
b7a44c702f52228d80b9e474f1f84182e1d5a360 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SeqSelectSeq False Passed
93bee629f9be91c3d1c6a2ac8c21ff5ba47e6c7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SeqSubSeq True Passed
f188a91f14a9cc74e9bbeffcf11bfa78a41feabc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SeqSubSeq False Passed
b19aa65d5651d8fb840ce56d250ef1777c33fc26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumRange True Passed
8de5d2f274f8451cfcfb133e80d482ecad620068 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumRange False Passed
ec2b04c5eb8bbc9643e66509c9fb4512c77e7612 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq TlcSingletonFun True Passed
181016264e84d97a1181a23ab6fed12e8593fa20 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq TlcSingletonFun False Passed
9783dcc47bdc5fa0e85c2527f6fdd351b01d8cdb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq TlcExtendFun True Passed
35ffa07e9e2e5d3ec0126e7954e5429380cabe12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq TlcExtendFun False Passed
cea731d12557742eb0103db5173b6966ec8c5d30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq TlcPermuteFun True Passed
d53b676629fcc3b35de62f51b9269e091c23cce3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq TlcPermuteFun False Passed
6d10d5aa034f7e5419154faa16d4214f7844154e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq TlcSortSeq True Passed
4288a5d6775c5173f6ca38e48e707eb2de1d96d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq TlcSortSeq False Passed
c1bb86f15a9fa99d5b7e6be7f487e7fba30cb390 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq TlcEval True Passed
b3fe2c452c5731de3520caf77da1ad863fbdd1a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq TlcEval False Passed
26285028d04e0ae69124266ffbf35d6c12b1b003 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagBagToSet True Passed
1ced8bb4fcb3bc464f72ee717ec091be5d07aa68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagBagToSet False Passed
d3173d5ceebe4e031d0a8a89ddc0837cda1b2088 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagSetToBag True Passed
56c68b97cb8573a7e7560a3364275e156a531913 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagSetToBag False Passed
f1a8004a7795d4bea753006013b95a398698e32e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagBagIn True Passed
a780c83a65d901573bcc88fa5a96d3bb6ac29ad3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagBagIn False Passed
52339e1582a449b4c6c5424f4bd25de334af854c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagEmptyBag True Passed
006143f3844c548c998c3632eb75e36c07e8011c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagEmptyBag False Passed
e251c5546f95b87fa61916960a7884b61d036915 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagAddBag True Passed
3d05db9e65f1596b3bddfa5a64c08f121a69f26c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagAddBag False Passed
eaaf226ff6f5c315dedccd4ddfa90fc3977abc09 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagBagSub True Passed
2103b0b1193fa387b86056e96a9686e00e3954de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagBagSub False Passed
6be38fd103e64c6ebc4a1768f1af6e73f1159495 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagCopiesIn True Passed
2890076686c8bbf519515f112e419892d7b57866 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagCopiesIn False Passed
985d692b0659ad689ac6975a07ae34b19fa7f3c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagSubsetEqBag True Passed
76ce20dc9db1d5328922bd98fecee84991da62fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagSubsetEqBag False Passed
3004b7a6106fce9c2680986642508daf27e54bb2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagBagUnion True Passed
9ca69483967e3ac56d398cbf3d1c6481b5f38f86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagBagUnion False Passed
981ace8a90454a5cf2f5c21b4e0ee856ac863c53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagBagCardinality True Passed
5af446e0807cd3d2bad4cfa9105c8387521418c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagBagCardinality False Passed
1fd388af51c0107640e4c5a849b9f85467f48760 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagBagOfAll True Passed
8fc70d01b975b1adc107af2eec002195bde4a341 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagBagOfAll False Passed
b70593dadff61cf6da6f1fcfea238e03665a0be1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagSubBag True Passed
a575d234615eb3735484dd835d51a1dc479d8f0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq BagSubBag False Passed
16775e9076b2a18aa62f3124e6e685610690f9a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq FiniteSetsIsFiniteSet True Passed
7248cb0221ca969e6742f458a5400198938dd32b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq FiniteSetsIsFiniteSet False Passed
dbd4420478462599efc02ed96b5e992f89694f76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq FiniteSetsCardinality True Passed
8f6e6ccdbb0046464bb506e95b4f30ae96f2ce40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq FiniteSetsCardinality False Passed
bd755ef70717f291d60f802142f026f7d6eded2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SeqHead True Passed
ce1bd0162d13a99ed6d40f6fa71f14ee5e1dcfc3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SeqHead False Passed
8485beed045fbc473795da1d57bf36277a63b80f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SeqTail True Passed
a0932f55fad82ae59d8be31360200b0f03cf69f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SeqTail False Passed
0b7b60a0851f5bde973e3c88ca6e05130134aaa2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SeqAppend True Passed
61a4490faa801a855348efc117525d5035db35d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq SeqAppend False Passed