Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
1a97815ea14c57208adc689367740be7cf23da75 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And OneLineComment True Passed
c70004f002660efbfbcf5f3f41e044ea07d7d00c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And OneLineComment False Passed
02d2e2171fe28b3e7855d21fd94ef697d881a746 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine OneLineComment True Passed
ba30e675e9ae8d646997312ae3d774dcc8ad314c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine OneLineComment False Passed
af44bdc0d81ee264a5bc16add174531c5c82a9a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply OneLineComment True Passed
0aa4da4d1adb9482462584b506ebe2c872e4f550 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply OneLineComment False Passed
3e9f5e8aa027b611d087303336d38c575c1c5c19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not OneLineComment True Passed
b1aac55432c8cf0544fcb1c4fb43fee2def74813 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not OneLineComment False Passed
fb0cb80fa6f2b4c72a574371c2f367fd7ca54052 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or OneLineComment True Passed
a56b227868adbdbd020be738616bca7543a17469 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or OneLineComment False Passed
090e18884f807c67e48a0b4b4613cccd4b7d6ba5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine OneLineComment True Passed
d2044b62b2ecfce3ed2063324148ae3879a15381 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine OneLineComment False Passed
37316efb77db97100b2571d6194250079168a0f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp OneLineComment True Passed
70362aa9bd5c378651bf623afe8a128cb08e75ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp OneLineComment False Passed
7b6b9e001a7171a14d893eb313acf67ff9312e13 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed OneLineComment True Passed
66e3e89f72d94b0032b69621b50cd6514d63e82c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed OneLineComment False Passed
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
dd81846ade725c8f483ae5dbcd807fbe7c2bfe37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne OneLineComment True Passed
df7f16ed01a4ab17f90e79e38b5a0d3aaadd7a4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne OneLineComment False Passed
2150ca082e2b2343735fce3b94ad3867a2c04f1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let OneLineComment True Passed
5791d826ba2fadc43396798dbe19147523cb24f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let OneLineComment False Passed
89de523fd9dc1bbef91daab74c15ff4b8c77898e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 OneLineComment True Passed
de9c26c6c3f61db44af0eff52ebf7d91470b930e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 OneLineComment False Passed
345c2edc0a7af92d260904a059b86f56532f32c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 OneLineComment True Passed
a5a5f6ef7d062c81473649f9494193ce5c252d44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 OneLineComment False Passed
6fa01f3658c39aad6a1f11f296db6d4d6affbf5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 OneLineComment True Passed
98482a62b4200bf84dee066ad72daf729836b02f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 OneLineComment False Passed
ec858820128a6a0167d5cac4d7cbcbf0cf61a09f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun OneLineComment True Passed
5e3e9ab807600df8df1c7c6a8a3c3c005ebd59bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun OneLineComment False Passed
653c5e1cba551c1503c2b936b13a60104f9fb663 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists OneLineComment True Passed
8a84f4e66e98531b01529ce83c35d92795fa1142 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists OneLineComment False Passed
8e2d85afae36096df99f45e00ef2fe46f2e693fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall OneLineComment True Passed
09c82d359895d159c08ca0ba8db5f2aa432d324a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall OneLineComment False Passed
a8d63fad2af5a888958d76df41cd72e56b210414 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose OneLineComment True Passed
7012e69b8345f342d033f5078cd422911f3082a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose OneLineComment False Passed
f0c74230f2ef81b44d6bdbce98019e80619f4d58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record OneLineComment True Passed
7df1981798cce855d8060c565ae50dd52f69dd88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record OneLineComment False Passed
ceaf03da64100e3d849666abc1a17213ba11c7ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple OneLineComment True Passed
ee6a929d86073248828300e022537ee6c80ead41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple OneLineComment False Passed
fe6389f34ea8309a1afeb48cccab2dbafa3b2b49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun OneLineComment True Passed
d4ef007afc0a06faaadbcfdaac478c782d0d1984 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun OneLineComment False Passed
afe69aae3d4ac60b28220f0ec9c1e018c8deae2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt OneLineComment True Passed
4d8b88783b51d4fa519d018a1821fcca7c1c5038 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt OneLineComment False Passed
6a6f29e0ba088fbba2978923c95692893fb59cd4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec OneLineComment True Passed
43eb2312df8b0763c28da7240980a0723af37683 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec OneLineComment False Passed
53c45c1c6e8026f6dfddc15386811c8096708edc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt OneLineComment True Passed
82920aab8275dcd801b906045b0246b886843a64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt OneLineComment False Passed
fd038454136e78b46b2acaafc25bb8b4d408d692 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun OneLineComment True Passed
d696df2ea4b89e3323176bba430b96a5fa5748d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun OneLineComment False Passed
a589ae702f83d9528dbd074b7515a9849d20208c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple OneLineComment True Passed
c4c5a4c0c0df11cfa654bf202c1464fcc86e132a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple OneLineComment False Passed
fc127a80d57be5f6d3674238d2855417506ac647 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime OneLineComment True Passed
3d19fa837c9745333f89ce2789d1bd16ff41bad5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime OneLineComment False Passed
6e838358dda672644903ff80d4740392a104a889 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus OneLineComment True Passed
dfb59dcf879e2e69e4a39e41a26728a66cf49ed3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus OneLineComment False Passed
78df9f4ea8a6cadaa4f7d915c358a0639196194f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus OneLineComment True Passed
1d01ead678c8ba47a65087eef0fa56f4b6f80a92 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus OneLineComment False Passed
ab8336752800aab7742b84ead46a906c6d8fbb33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus OneLineComment True Passed
1026f467f0d24210b78a840818e12d311130a5fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus OneLineComment False Passed
31e4cb0fec0c875c0937ef05d009211197b462a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul OneLineComment True Passed
11d9bba1c875016af546a315fe43dd24a6bc9bf5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul OneLineComment False Passed
214e4135aae94f8d146521701fa0700659b0402d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv OneLineComment True Passed
d0b5d3303f71c2da6bb69882ad5881bc455b004d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv OneLineComment False Passed
053c02b0f31747d629c316d575d441874bc77b22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod OneLineComment True Passed
d1d57a1858a46917150027e4fdbf9d971e13bc27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod OneLineComment False Passed
7e085b2dec2fc03ceff54629337f7a1a48cb7fb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow OneLineComment True Passed
c986b1a1f0de9600c5b88119f895b03e7d02dc81 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow OneLineComment False Passed
f6e59176da778b1900faea19cfe6e2a9bb074ef8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt OneLineComment True Passed
6606e536d4a26a71f45c6462635f58ec588d2191 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt OneLineComment False Passed
86997425a6159dab846b49cb88f0be6e06c3aef1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe OneLineComment True Passed
44b11adfc67085274a270abea84ab7a40d70c23c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe OneLineComment False Passed
8f920b6a0993a971aed5d89eaa5bfc97e3f25efe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt OneLineComment True Passed
69c4023722e342e3e26ad50b048bb78fdf793a46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt OneLineComment False Passed
45c23f83f08bdc5b7a85bca18c3affb90e35d846 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe OneLineComment True Passed
ab85a4acc136868bf96a0eb6f15bddd9d8371d2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe OneLineComment False Passed
240a3e53599b3420cfbd8c2d1334996cbdd769fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun OneLineComment True Passed
8046b870a5b4aa944ca6c36e2a65fecd44e49715 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun OneLineComment False Passed
5930a3ad1b04339c9473c0bf8871a7e6b2ef9b42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun OneLineComment True Passed
3dc0c7c2bc8613ccf2bd5499aecacd54e0c18df2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun OneLineComment False Passed
7065c9c732875fdecb5e2826cac02519ac2f7cac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive OneLineComment True Passed
7a30c1b311c27e9435296cdd5dfe4c48ad6dd171 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive OneLineComment False Passed
9a3d02ecace5007e0e6127ab5554617c5dc16aec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive OneLineComment True Passed
40b739c8f9840ed9bab7a1d0df24f61c8132a295 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive OneLineComment False Passed
63f37a5746bb6beb2cfd434e192d56250037d046 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 OneLineComment True Passed
2d1a82bb9d197bec3c2bb35265e62fd94f4310c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 OneLineComment False Passed
a8195ebfbd76448ac74560c01205ac5156ae598a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 OneLineComment True Passed
c8dcb1531f89e43fad2625320fd7472f537c7a0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 OneLineComment False Passed
a4038c76104e8764986daf0b65225546e040e5b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 OneLineComment True Passed
7abce3ef6d9b6c1f8e26a0ee26c5d9230a0cfd2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 OneLineComment False Passed
2df814a35cd3501a929a686a67c5015365925a16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 OneLineComment True Passed
e037e57593a14d80ea7cc76ce5564a3768380b29 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 OneLineComment False Passed
773e5eefe4dc51949e0548481096d1c520781c76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 OneLineComment True Passed
bbc544b41b468e9bef9b0741e0bb88ecbc930bff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 OneLineComment False Passed
a930b6e4bf6850b95f5ba166219ee0e9c6ade55e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 OneLineComment True Passed
3ce767ab4a89afa43bfa269a5019d1711e894047 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 OneLineComment False Passed
ccf577e8c54b08741ad4e6e2321bc158a2682739 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive OneLineComment True Passed
53449923c57c3d6e45cde9b58b0f9e22b7e9d499 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive OneLineComment False Passed
18153ac7474d4896cbb91e5d4418a3c739c27c3b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive OneLineComment True Passed
eb0ed2231c6344fd22521270f1bdb21c0ad7db5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive OneLineComment False Passed
199bc137c54dc85cf3fd95c4fd4f9511945ca17f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends OneLineComment True Passed
42305083cfc043f63362a6b06f87005a83387704 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends OneLineComment False Passed
62eef6c0ebc22affbf8b87aef3aba39d4b61abb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder OneLineComment True Passed
2c7243abebba9421b3cd6bb03084e64940b8f1f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder OneLineComment False Passed
de25e66d5a423dade00ba55bafaaf12464080417 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable OneLineComment True Passed
0eb736fe1a86662e1c347224b8c18a9040ad2a18 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable OneLineComment False Passed
188d61dceeb8765e8cd1ddeaf8372497ccfe085c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude OneLineComment True Passed
3bd270f6d987e7c83316fa8a197870004b48a218 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude OneLineComment False Passed
c453164f65d020e98c8c05832ee26f2a908ba2d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant OneLineComment True Passed
0998e43c62f4e2f1dfc8a12e4be598d92f9d0e7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant OneLineComment False Passed
34d47518a7d136afcea3438ad9467a3fc8021b7b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 OneLineComment True Passed
5d4cc265d7a13d44863fb3a1f0583a3b83f970d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 OneLineComment False Passed
78b05fad8f291ab3b4691c2dc5a22a2a1411ebc7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance OneLineComment True Passed
9cd0a75b9b14db4b397516a5b4135f14b47623c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance OneLineComment False Passed
839ef6166bf7fa0657e7c535bfc327c2d79cb783 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith OneLineComment True Passed
c42a429b03bbb389e5d999753d5392810214d38d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith OneLineComment False Passed
1e7d8fb315dd42a50a5bd13cc0c9eb46f5d302e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed OneLineComment True Passed
3980f0782d750eda8a8a11521fa47fecace1d9b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed OneLineComment False Passed
defadd5176c70f26bf9a210d34167a1ede34ed55 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith OneLineComment True Passed
019592afe69a8d77d75047ef38c72ebfb4cd5fed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith OneLineComment False Passed
2f354e7fc590fbd90cea45e15204cc84c09e89d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder OneLineComment True Passed
e757575161542c52ff9b16fb0bb9930cc1a71b7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder OneLineComment False Passed
c699b8d20c3b55fbe110085c05d917cb2a39bcc9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder OneLineComment True Passed
a1a7cca0ff9c2a6288852de54daf3d1b16f1ced0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder OneLineComment False Passed
e92d9651663a25bac65026fec0fb0f8134915827 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder OneLineComment True Passed
309e2ea5fb97121468815f1d8a6687553530761a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder OneLineComment False Passed
dbf7fab90f5092be8dbd8430946c0f9d1ea0f085 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder OneLineComment True Passed
a5812fc818dda6c29f515913590551cd48609ba8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder OneLineComment False Passed
00b363a65440d8a28a6751b4d73d4d6eefe59df1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled OneLineComment True Passed
4535ebc6f6d2d587a39db26bfbec267b1d8b687b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled OneLineComment False Passed
616626f3a88c62cc4ea9824773d323dd26ada6f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume OneLineComment True Passed
c521d06bdef1f47b8cb800d8ffd88375576dbc15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume OneLineComment False Passed
cd3c57a40dfc71e1439642dde791e5fd0c45fe41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed OneLineComment True Passed
5329850ae3aa6f6f6b0c5f2567b066976517f559 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed OneLineComment False Passed
b6ef391d2d9ebc9c3c374ae068fe405bd3464a87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda OneLineComment True Passed
b2328970809ab1ee781051bce1655dd5626ea05b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda OneLineComment False Passed
305834847755785db66d1ce081c2956efe2f62db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 OneLineComment True Passed
004ffe03f96b40e3b0e47b6effe26e3ff0530d81 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 OneLineComment False Passed
5cdf0a1bf1a03c0ebb1e79bcbaa2bac4a0183be4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 OneLineComment True Passed
0551b84c853e8ba984ddb5d8fb05c0b6f91ce099 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 OneLineComment False Passed
2587fb2f55c487abf35c9b81821c4bba64fb3537 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff OneLineComment True Passed
bd67bc611a3f1278614723b5009d37c639c32eba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff OneLineComment False Passed
9fbfb979f2a862045b84efdbdb217a715e4151a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion OneLineComment True Passed
e0d00fbcf41f2c4b1f79dca96692e4ff6a26cbbf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion OneLineComment False Passed
b0f98d2cdef1c9f9057e10d292f3712aaf04aa2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect OneLineComment True Passed
59116c6e691a4c115c69b5e21a416afcb84dcc7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect OneLineComment False Passed
b4792bf2dab921a80204ee046cf2296e4c7bc096 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq OneLineComment True Passed
c774dc7bd50397b46a854904b680f81abed810a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq OneLineComment False Passed
1d87d83a84f2cdfd14947115ddf84108606fc479 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond OneLineComment True Passed
756066184b0b11371ee846b31dbb7f3893899d09 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond OneLineComment False Passed
157c139896fcaa6a042a2204c973cdf4e6bf3320 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen OneLineComment True Passed
d7c481790c023a7b857acc787acfe0e737ec8ffc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen OneLineComment False Passed
b546814793290cdbbabd5f3672cc29cddbef706e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse OneLineComment True Passed
b10f034bb74e8c705298a91a6b3d97b03cbe43b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse OneLineComment False Passed
4d5dc6a142b8e84d20f2b9c386ddf13d9c357eb0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset OneLineComment True Passed
9ec71b02347cb4788ee0887ee0e0111f63188afd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset OneLineComment False Passed
c7d06eed62a380ddb1f47bde20cf75539f78c54b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain OneLineComment True Passed
3209b982c56bec0d4e7f401871e7a3431f3ab4ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain OneLineComment False Passed
1ff0715d2404c448b043d4026d05ef5050bc1a4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union OneLineComment True Passed
1bd1b95bb72a6aa29a3c9605cc95f69d7ba0bc06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union OneLineComment False Passed
ed5281cfb1d200e094adcc7507d721d0b559e454 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged OneLineComment True Passed
3f688876dc16d68b0f93b29749425b9ed8722483 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged OneLineComment False Passed
7d78c9f89d916d928c9c52406c6715298ba1d060 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence OneLineComment True Passed
1c0213b44f1b2b570770145d2ae006deb8990c40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence OneLineComment False Passed
3cb3a646f16f8f73fcada4a957ba54c99203c3f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange OneLineComment True Passed
d42f2a3d3ab606932e41e81752a8925dbc260ce6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange OneLineComment False Passed
d00097011a7013e1732fac41d4f9d7fce54a22ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun OneLineComment True Passed
dc3af1dca9aae8e4d1cb20e73eee6f426b97dfc6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun OneLineComment False Passed
5229c86e632d61dcd143970272f487ac2b5f86aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun OneLineComment True Passed
8374621251be3393e70057fee042bd6ccbed36d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun OneLineComment False Passed
11bcea4f8d871b4e0704b680071df954f6caf06c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun OneLineComment True Passed
1703ee9344ea767cef89487b62c4abc08c98d67d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun OneLineComment False Passed
dd6ec320714500e26420aaa5a19bc75533231117 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq OneLineComment True Passed
826acabd29b515269e3a08ea69e8bf7824cab4f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq OneLineComment False Passed
7daadcaee6b07649819370f76cf7ca05a760a554 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval OneLineComment True Passed
6245c4438850a2827b21a3f461dd416f0bc86684 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval OneLineComment False Passed
2ce20be65bc32f8c1f52f861ffe37893b199f4d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet OneLineComment True Passed
b06761542005675a10c6ec9b249d15534eaf02ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet OneLineComment False Passed
f9bb6c08cc8745b35eeed52d2a302b2a4531e6cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag OneLineComment True Passed
090d2c9b7101111f642c4208ab45267540e87a6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag OneLineComment False Passed
8ae2dcd0593a29ec83c3bf9e657ce313fcfb156c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag OneLineComment True Passed
83de7e2de9d45005f4cc440d385e851a7e68275a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag OneLineComment False Passed
2200af7a2559465aa5cffec73163911bd8c13aa1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub OneLineComment True Passed
a553c1f08fa725dd0bea47dfb5ab932a2fab8c45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub OneLineComment False Passed
8cb7801a797667f393e8f6f0ad4540e64611418e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag OneLineComment True Passed
93156ed81302460cd6e9870d5550f766f28eeec3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag OneLineComment False Passed
f279d488f26b89f78869c189e2653e671453f705 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion OneLineComment True Passed
6b470c810f3a4060e3ebdda5b673b4a56666cbf0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion OneLineComment False Passed
ad16a8e67414c3f87f18ed60ee90d9276c18248d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality OneLineComment True Passed
8ae460d0ed034cf0d9ed00755f4979eef3e8159f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality OneLineComment False Passed
834b01f3559c5c448d3de32c6b6a656ed7c49ed0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll OneLineComment True Passed
e2caf9a7e1e31dc83c7bbd6efd15f2493e30ac15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll OneLineComment False Passed
15d266c087da23dbb2c2c16ee1f44ccbb1a47df6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag OneLineComment True Passed
5b2ba76a483a66a8550c79371f470729b2673872 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag OneLineComment False Passed
e980dcd6eacc192551b79b7018e0879cfac18ac9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality OneLineComment True Passed
81475501c83d31506cd1c7f235b42692bd64e3b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality OneLineComment False Passed
c218c5b794eae803158c9134d743f0e2f1039a0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead OneLineComment True Passed
7a3c2ee2c19a138320f8ed49f9734340615d24e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead OneLineComment False Passed
518998939ac67ee9bd4053f7e4a3b30f7ea19003 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail OneLineComment True Passed
83e3ac2a238f6785cb5f8273733742e5067061ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail OneLineComment False Passed