Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
246777058454c423474f4d18868d96c0499070b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Instance True Passed
2fb8c237b27ce34be34302eff513f37aecca35ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Instance False Passed
b8858844f83fb727d33c504a1995c26a5a49ae01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Instance True Passed
b69d952cd5b508e52743f8940e4bceefca789d2f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Instance False Passed
4fe6f29f7d70101f4b13058886edae47989aafb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Instance True Passed
baf1c173400d2d42f7cd60927d169b0d0983a8f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Instance False Passed
55e5e2ad9bb604a0f07026fc1c963f772d120e59 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Instance True Passed
811fe75905a20a55f8afd96fb8e18123feadcb7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Instance False Passed
f9aaf994858872e8215a2aa98a71795222a75dd2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Instance True Passed
c6b637b8fb8e0e11e07a130cc04df77f61e66d10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Instance False Passed
91b6d9b098dd0ca7571459c22f85144fcdccc454 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Instance True Passed
8d0a04d59aed3ad99c6580cbd73b37297e7662ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Instance False Passed
56a87fa08419d702c48bbfdeb79226b7dc87c6ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Instance True Passed
cf2e0944acc1bb0c4a0208791c1564d5e8c8f6f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Instance False Passed
35287e928f23303a209cdac14f44a208b793d40b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Instance True Passed
e32a2d74a7e50833dbeb94d2027a79bc3c7c831e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Instance 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
74024a06d845695d422e79e78c5f2a7091fdfb30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Instance True Passed
2f041bec252a93268ff0b0e8b40a5c3d58ecd767 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Instance False Passed
1a7431b319afb45b53a8557fdf777db80fb878c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Instance True Passed
3feeaa8a03c2baf0ded6794ad25bd8af7040bbba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Instance False Passed
26489b4f2b79edacdfd5f17ba87e80c3a50daf40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Instance True Passed
215963381adcbca6e2a92b53afbf1d550f9e6cb0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Instance False Passed
617d96fae5d90debd6f35ce54a61e4df05633999 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Instance True Passed
5c9dfb85691bcaceab51bff7a1c44d27fbdbb88c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Instance False Passed
373f1ea68e84f35207b047b48f30a18f6845bfb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Instance True Passed
c1dbf0c54179cb6ecdb5a1bcdfa03f0c9674bf71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Instance False Passed
f852cfc6d6a52dc20c262fe6ec47c199663b0c9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Instance True Passed
d999018d1dbd60dc743deea6d51cbba8106d98b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Instance False Passed
e2a7e325686343929e4ad767d8d913aecca2aadc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Instance True Passed
0fcffb33a7d8ecfc4ad938c5b51fad6cb5021559 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Instance False Passed
ff7c95106e03ef4e7ea036c31231f55372d58bd9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Instance True Passed
7de6ea264596b1a86248666d94586cc988bc7287 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Instance False Passed
5ccc52bc9630f1f13f354fc58e0d4d68b129c2ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists Instance True Passed
86901ebc6ca95dc08c7d6b8bb4105e90af9c7f77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists Instance False Passed
1d68706e494e24965df11f38d862a333381b9b5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall Instance True Passed
415083a7f14b242dae4ea2a9e6a32d24ba46d8a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall Instance False Passed
b4931ad82bd26786ae5f8e099e2f4f2fe8d1f3d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Instance True Passed
a8b0cd08ea3993b9f9baf870885d84e38d892449 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Instance False Passed
e84745a1371afa95320e57cc81162e41bc4069b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Instance True Passed
9547540759413076670bb77d8c2c1a6ee7e33629 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Instance False Passed
b504dcb57106f5be82155a5d5ffad3e135817466 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Instance True Passed
f379c5cc6724176cd11355d5ceea56e24402a780 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Instance False Passed
ee7dff6cafca5847edf83ca35f966db3e737978b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Instance True Passed
67480fc8e85c85c11bf80d5d2ed9fffcb44eb8ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Instance False Passed
f300dc98c37eb72eb11197ab397ef0fe24f461e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 Instance True Passed
d9ed0b721886129f50f5b069a8553e6f3cfd8632 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 Instance False Passed
7414613549a74c1fb5236741089cf61f768802da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Instance True Passed
1afdc87e441363abacad636cece63ec7017c01bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Instance False Passed
ce09fabd372ccb176a3325c65eb00a8f86cf94e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Instance True Passed
f1cd0edb272db31fce65f991b31eb5cd89571cf2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Instance False Passed
86d4ee245809ac8ba17c128934c9f3e7eedadc78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Instance True Passed
05c7fe4a8d504ee9ee30750ef243e112c806588b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Instance False Passed
c16ae437a5f107beaf43573a0486e21b7de05d8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Instance True Passed
53fba38a36f33ad5d69b5568167716b8231da4d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Instance False Passed
67893e85a7784c5ee96d4e28377171c441fc726c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Instance True Passed
a145bd38256378e259bc08bc27618caf9e115981 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Instance False Passed
b147eec47cbdba0da9ef1ef6412800144536b39e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple Instance True Passed
0e21f48d2963e622eadffd9c03ac2b8d09c38c3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple Instance False Passed
c49d6f4d4a04c803b6b26635c4254efb7623a70e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Instance True Passed
76b9c2f54dd19e8c1ab5523516ff4c162f5d874e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Instance False Passed
1b9a6202e81b533d1d06aaf61d6c130639291423 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Instance True Passed
d74d25af9f17639dbedff7d9d82a86d042277353 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Instance False Passed
fa7def44b7227704c15ffe3936e5ebcf77de3c64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Instance True Passed
52493fafdeb0dc29ed225dd3c7a0fd650e3234cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Instance False Passed
02545d2ea9db6e0517948a08e6298bed648d096c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Instance True Passed
e015a7a13cf751171657d4520df462cfe4bfc4a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Instance False Passed
1d7cd900acc795c5f426de84b92a6f0fdce09f7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Instance True Passed
58535a71ebd4c1a26d21e417567e75e32326b7a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Instance False Passed
10f5038da3ac629d32ce247e5be0e6b6dbc150d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Instance True Passed
2c3b17d234fa91a4b761239f7e48c1547637da64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Instance False Passed
414b3836e3331bc959263221967ebdcbf17db6eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Instance True Passed
ca2742ac7a146f67578bfa6781395cf139956448 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Instance False Passed
9fe0018e100bf4d896e1d063ea7891f39ba591c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Instance True Passed
6d27c596ef7814de1143b28ee8fdb98cbc09184e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Instance False Passed
79d3845ccee29094b3cab86d277aaadac30159a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt Instance True Passed
717469b0de2c2051901125e8d400b6a02e337d00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt Instance False Passed
a1fa3899c2246006460d5001956e7f32955d0efc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Instance True Passed
31b48e5d2e230e95597e656877e5bd8787875ec9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Instance False Passed
c0ba8ea722c4a4958b8dc0b6ae3e925712348a99 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Instance True Passed
b599d57f5a80f8994b62ccda93e9ec3dca9f9c6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Instance False Passed
51d8de6001bafa36f986dbe634febb304613b7be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Instance True Passed
360b45815e5362160c57f060b015b4deeaa1c85a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Instance False Passed
48931aaf3abb55bf5d728bae77be5c0514579f7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Instance True Passed
43c9bc1f5528f4981218c0c59402df31c60ba84d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Instance False Passed
0d1b49b50560bf7279f88b07ce0b7adcee35d3f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Instance True Passed
31baa5d4e1e59f78f2a29ac5b5871db74566c30a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Instance False Passed
4649abfee2d5aafc18f2f3606c737ed5affb6095 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Instance True Passed
0d67d835f64ac9454b0b6ae9edf4d1f891c0527f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Instance False Passed
d597a5fbbe3e7aff89dcdd4e89f0bf59e735559c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Instance True Passed
c79456dbde6aaec80270efde93215968b045ae3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Instance False Passed
ce45b3b2a1c7c5da7cb046d35e058cee422dbdf2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Instance True Passed
3b9093f4fc111258ad60fa226d745dda6368f283 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Instance False Passed
e8131048094eca7595e246ef8ec28f2c5ae98727 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Instance True Passed
b4bb754b3f2fb37a9f57ca96510b7941939135e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Instance False Passed
3bb43815dd482e221db1b4ac79cb743f7ce4a4b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Instance True Passed
21a4f4effd799ab9e1d4344e7070505657d0d333 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Instance False Passed
dd3b729c673bdbdd7defaedacad3a3eb34ce2fbd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Instance True Passed
a036f904cc9d4044148871834479a688973e8b0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Instance False Passed
7780f5826671378ef66e6c323e994b037acf7106 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Instance True Passed
83f42371188fa94d67e62e4249aa270f7e8b3710 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Instance False Passed
c1d475fb92fdc9d1c9b41fc3b6e9a24b07394e72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Instance True Passed
76a6bdc2dc208763f7da5a064d170c22f8cac9d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Instance False Passed
c81a21b5f924659ca4181345468c2fe5f2f820b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Instance True Passed
b4634e1d5f403f95f6d9ad11f6b86fd1a8183963 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Instance False Passed
b669e09b46e9d0cb109c677a9a9691d768a5779c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Instance True Passed
54091b028160022490383039b4faa86f466b926e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Instance False Passed
c6ead0a7b64f800a94c8bc692b7ec9d861b647a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Instance True Passed
1a457ecc98ba9b77d8581ceb13e63b8a17b21940 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Instance False Passed
23e69e26afa5a39baef4898dce1fcfb4c85f99c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Instance True Passed
6c6df427457b7c54bdbcb4d23c368d5930fcc368 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Instance False Passed
79c3a42012609f9cf4c2fcfe5613d1516f19810f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Instance True Passed
737a4335bbc91da8965df2d715b2b99332616453 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Instance False Passed
98fe2fe3913ba049cf7c2ae384ee9e5c484fc940 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Instance True Passed
56db144830b0dabdd923c18ecc1245e782d4ef3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Instance False Passed
880495bcb591197df10a965ebb49f2ef9cacaee5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Instance True Passed
fff09845456cba83e18f706463bcb40417dfb15a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Instance False Passed
68934e691ae11a0f666f8549cdf63849c649a642 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Instance True Passed
ac1331c27b2ef543104f1b0320e77075d3b629f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Instance False Passed
318bcd444e76aa324f060a714b5e6a15cc7b3e5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Instance True Passed
bd35502c36670bccbca694498763e113038c33a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Instance False Passed
20c345012705a395f9a9e7603c31a03359f8b641 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Instance True Passed
52f15b43386662eb649193fe2bc22e6fc5ec5043 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Instance False Passed
495a3b26fabb2a63a0e10f09b4fc6ccb44009222 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Instance True Passed
c34610a0d7d353797ccfc75491369f2af0f5278c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Instance False Passed
03954975f25f35490e3d4e3d3e7dea3f9d168386 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Instance True Passed
31c7702097a3d73df5d686f8658c94c3c464e6f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Instance False Passed
b0ef98d1c412d39e138f5b475a0bad0fa06bf4e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Instance True Passed
eeca5b066c3e1e8ff49ec5fc3fe3e2a68652d16d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Instance False Passed
92041c2677e86248af45f3ed2eb044b322f73d96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Instance True Passed
17d09c8c6a092ab08b94f1c34518d3554e2c00fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Instance False Passed
4d1c788ab1da5017150e1531a1d37386438291dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Instance True Passed
926d98d6325351982b1a070a81b07ce398d24d8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Instance False Passed
3a3a98807508681804b6acedb94de6e923ec8e8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Instance True Passed
8ef68c90356357adb24709fa3d31c2605714262a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Instance False Passed
e92f8f4420e5d7f299501c956fbcceee2de4926b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled Instance True Passed
5a391e4e8050a91eebfc34922d0fb0e0a70048ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled Instance False Passed
705249f7bc53636303a7a5f64549605d297a2140 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Instance True Passed
2825316a70fa4b2f1a15531c15483af188f549e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Instance False Passed
4366e7eaa8ded4c4eb0ad4d451e7fec3e4082e2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Instance True Passed
87eeb24e908216c00936ec07ec94be773d79b9f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Instance False Passed
f09f324f739c6ef92d708f9c8ef94e54c6e2db1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Instance True Passed
29b91be121af1438d1752539cb1012b0ef91301a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Instance False Passed
1a1329992e74c10001a4eff36b5cfc4ebd75e2cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Instance True Passed
b469141d9f819a74e7d59af64e1d1083d1da1e15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Instance False Passed
95307b5c20105dc603c8b9453ed9ebc3dc99fffd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Instance True Passed
5be5796fd54ee531d7956b2a07d8e23c91234892 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Instance False Passed
821de122fc51ab62631a5e3a18ed431071b126e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Instance True Passed
ba18383879fff6135b58689e3b4f1d047d6077a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Instance False Passed
5d74b82ba64ab5f9d3c5eeca28ee646fb93b2f71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Instance True Passed
bc4e956ed705f42d8dfa47055bea2075983a9670 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Instance False Passed
2bc16d2de8c28671a0be8b238c0c1010ce240e73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Instance True Passed
4429aa15b85c0128592848395f393d8b85381904 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Instance False Passed
e5ca8476494267c034dccb1c3695b3b135d671c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Instance True Passed
325fcbcc270a2a64e611cefe8287213bc6fa3cd0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Instance False Passed
8b5ee671c5ab1a240479549cc4d9b2bf8b9b95ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Instance True Passed
7e2f7a1c41ff326d2bced4159d57e9c97a105860 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Instance False Passed
b851b6b066e134fb4207545db010f99cc378034e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Instance True Passed
49c282c6105c9421351dbf34a5c4cbd29fdfa585 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Instance False Passed
2b166fbf12d61ded57871698f77e4c845f7c7275 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Instance True Passed
f8d348c2cdc953ad848fb4d65f87762339a487dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Instance False Passed
a2548842fa10c24b8c1cffc7f1f84b1caa83ecee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Instance True Passed
4eaa249d63c38f0a117da0197644255bffce6878 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Instance False Passed
fd2f0e8e1e94a2ccd5788a57ad813bdb353a7b19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Instance True Passed
1474627ceb91eada9a28c6f5d96dce0e9a6a85e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Instance False Passed
6ca42bfc18f9297c44deed08bd154924bd3d3f1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Instance True Passed
a990b5aedb795ea5144489de65ec10f3bbc2c823 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Instance False Passed
aa9245c5b1eae4e9ee835f2b3f3638d203d656d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Instance True Passed
24cf3a3dd3b1be8e10a2a293159e777ce887cba9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Instance False Passed
5bca767d1e235f0f53cb412d8866553a83925ef2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Instance True Passed
8b94563bd6fa7bc7f4ad61465e73493037096d1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Instance False Passed
4e5ee274b14a9283564849b01b04b5a29ff7135f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Instance True Passed
8db25913c78c1c1192b0f54e56d7ed95e0eeee9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Instance False Passed
d482d8936f983a8ae662965fd8ee2e2a57005017 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Instance True Passed
ac69055b399dcd9c3a60100368c3d3b799133910 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Instance False Passed
fd658db2ef015957f5150162764cd6387cbeea4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Instance True Passed
372ce54cb7d6110346e1153833d4541c8b17ebe1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Instance False Passed
460cdeed15f39524f7a60bf99156ac9888f173b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Instance True Passed
7f87ab58670d2217656d69538304874ed2af4089 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Instance False Passed
36d181e097d8cc24552e2078a779eaa71a426fd3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Instance True Passed
6d2fbf41f4f591abab3cb27a872236cb99788519 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Instance False Passed
958f69123ab1d9afebc5cf5a6b3c10f67f8f5a58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Instance True Passed
6bc1614d68dbb0f89b28073283f03fe25f692978 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Instance False Passed
5d7c0a0102be6f49ed2c41672e0dc5b406ec02f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Instance True Passed
1d1d6363b11fa2b2a7c02b04a1ce1496753f9a36 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Instance False Passed
2eef6bd4563a6bb5586207a607c1dc478d3bac47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Instance True Passed
7a92f14c52b3522de9adc4dd4d8fc8dffbd4ec01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Instance False Passed
9b8b9d8cc56e89faface3ca8ec0bf0300710bb88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Instance True Passed
056780bd4df6d79a0a989a590b59e04a4dc81833 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Instance False Passed
440a3e4854db26c5199bd1cd0247e8724de77acb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Instance True Passed
089c6a48da41349daa9e841fbd780f7c58a2ba22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Instance False Passed
51e083c57419e296a7f0cc0ee6c692ae8efe3c53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Instance True Passed
8b2f261673915255abf7bfe34e7dcbcd85ed8712 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Instance False Passed
99206d2f8af594803722c29e47b6c2b23c3bbdb8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Instance True Passed
2bc58b43fac55e4c99f6a660663872011e2e8a9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Instance False Passed
40ff00bce42c11979f58dd6b5552885ac7a25b63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Instance True Passed
0eca30b79977af37cb1b712dc0f72f61f0d467d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Instance False Passed
71c7c9059af18491e5b9bc3827f210aaf8d9c669 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Instance True Passed
20ce119590f21c7e8b1096ed782912202948dddd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Instance False Passed
112e9a9591e0b8dd3feb2f116172e00bc8184d66 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Instance True Passed
053d7d140ec84a7f6811532385f7c52d7450e9d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Instance False Passed
7ec3c205a620d881813a745648b565ae4840b6d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Instance True Passed
d2c3f1c41c4526458c4b6f667ebd8c712376b8c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Instance False Passed
17f721a738204e05b0005eefb89a62b478e9a236 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Instance True Passed
0056a354cf93399c83698aaeaee68b6295fbd6d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Instance False Passed
b1c01c16b3f98a23fb08f1b4316b59756d4f9b7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Instance True Passed
172352f2030c7a742f5d73aa261f4c5459519d1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Instance False Passed
dd1966b66bba6e2eec546fbff20b03a01baafbe0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Instance True Passed
e83eca2291024a06ae8ad0d4cea200546df8bee8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Instance False Passed
35117be95b7def0298f52ad815ef8f83bfb517f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Instance True Passed
177c55d6151ab966aa7f27741b495012e4991613 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Instance False Passed
47f2c8544afecd3845c5b5367e0ed9500bf188c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Instance True Passed
4423a2ed489c09258958ff7f7658cb343be1231a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Instance False Passed
3bb9dd5b70126ca685b7c920d274f272c856ea99 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Instance True Passed
85349057e9c3154a919b2e89a602d5ee55008e12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Instance False Passed
3294678f89f83deb2c6f7fa301f6755a6a761157 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Instance True Passed
91270287b80a092ed1c632d4743b4026c14ea1f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Instance False Passed
e8aa21fb196afc839414bd58d88e1de4dfa2ed4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Instance True Passed
7e6e3f59f6d9c58fb2a3ed7824d60bc57fdad568 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Instance False Passed
38a55e37b3d1f1cf5b8362f719da26d79ebad11d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Instance True Passed
96b064c4587973d8bf2c6f250c5cdb80b206723c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Instance False Passed
c5c0e11f2ea59d7a176aa07ec65a0d9d433de6bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Instance True Passed
b1b83721e1e3310bd54e7ad331d955fd18756481 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Instance False Passed
4ca29b3e3894d3672c58d630135c702c3523b6c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Instance True Passed
333f0d346fadd35d12eef4b3ceabe7478647b5e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Instance False Passed
ac94d93e5939208b62aaa21e1ca07a139f85f418 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Instance True Passed
9cb0ca61b85db072ebeca4b314a2d0ea30d5e21a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Instance False Passed
91be69392c532f2e2c579edd322b69d71790bf99 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Instance True Passed
a9a2458475bbf108097efced7047b222909dd344 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Instance False Passed