Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
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
8b8541e7086abdd7891ba3d07c33e5f1ab2c0ac9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime MultiLineComment True Passed
534419ddcdb83d04784ef5361611f936d83d198e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime MultiLineComment False Passed
20eef7a7c9e0744671717d5bc08cead2cd11b2bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BoolTrue True Passed
89bb2c2060e87538653c82f7ffe6e366d7bc7299 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BoolTrue False Passed
84e74751da55bde2abb58435d7c8e296c338857a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BoolFalse True Passed
5ab10b01b1316bd0468ab04e9db2cbf49e6c758d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BoolFalse False Passed
b091681f516a3e0d23a8af6373aa4708cae98211 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BoolSet True Passed
d436716a1a565afbe34fd9fbb6961457e3c09d41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BoolSet False Passed
2743f218f23ce368552b436c950cb1014c89c109 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime And True Passed
f39e714487529830bbe4b94aa314a12557d3372a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime And False Passed
c21d3095b031d61b49957e6058e23b3d2cf5a772 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime AndMultiLine True Passed
07df678b9d62958f2d021cc918e1fe8ef1db20ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime AndMultiLine False Passed
23c4cb8f3d613b3885ac9d361cf2e26ef82d97a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Imply True Passed
bee38a9102a1cfb523d750906163530b2f2f471b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Imply False Passed
ab4b095f4a4068243c10970ee52134cbb225dadd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Not True Passed
80f1de5724ddb70000613025d4efcd5313e1d104 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Not False Passed
a5ee607312e2ec0ef731480d71d09ea704fcc9a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Or True Passed
4aa781dba9648a964d73a8895e38491175ab75c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Or False Passed
585f1904986cd7411b9a8ae93523dd82b383d317 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime OrMultiLine True Passed
7670fc1f3dcd9076082063807b5f9a4a2a5b5a28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime OrMultiLine False Passed
0539b10e0649cad327b0e49dc5c7bdb4eff0373a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Eq True Passed
3adbd9a066e8d31ce1111c8bfff2d8cc0268d96e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Eq False Passed
d6bc7ebb62f9f8fec5784549016499315eb48f33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Ne True Passed
25cb021c2d37399c6d98f8420db7340ede552d41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Ne False Passed
71e116d3b4d8a0f4dae0d270deb3bd3cb5e9705a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Let True Passed
b06da3c9709d65937e00e2947182726a7a71d4d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Let False Passed
3996fe0bde1af3a41f210560efb4ab553316a59c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SetEmpty True Passed
c8098329e67caa6e51b1099bad2543f7367268f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SetEmpty False Passed
3c2575bfe747c73712ad55e3cbf2d0d56639089b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Set0 True Passed
e94bba3c22ebb77664134e51be0d7ecad5991a00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Set0 False Passed
53aa7ef839816b00648bbe55067d49abcb49d600 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Set1 True Passed
9db15590c23a7b4717b6826270fd8362c65bcb0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Set1 False Passed
b6df6c324938bb845136140a1bac2c43489e2d97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Set2 True Passed
9e32452079b27f5a3358200bff6bf5a8c1755f6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Set2 False Passed
b7641addd18963955b04dc4614d01644ee81a934 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Fun True Passed
a0fc6c1687561f5760b79da5d792c75e3b992940 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Fun False Passed
af64ffaad701b2069038d2a0224c042cf2389620 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime In True Passed
1d572478babd0b15ef4f3444edf82589984bce62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime In False Passed
aa8f74f56aacd8cba127d67c61bf63dd97006e86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NotIn True Passed
6b279002ed7b61306ac9e2e882c982119d992b60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NotIn False Passed
4cfe09ef53a8c7cfac812d4fe03c44ebb1dd4035 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Exists True Passed
ff2da9aff87ef0d16a882ea00e58bde5db9ad91b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Exists False Passed
e4b0b0d1451cdfd9a3086e23cb77fd1f69f322c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Forall True Passed
750cb68aa24fb1147b489f367bfe3decd85bc536 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Forall False Passed
8880da65dd5217ff06c5415d0a2a4b9fb6b70778 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Choose True Passed
6ade011d11e34c8122e7c8a5f9ca26a7a5504b20 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Choose False Passed
524363418185485800da092f4f4155e62af338e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Record True Passed
f81ab2ec4fd0b91c5d18e166155a49c87e5e931c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Record False Passed
273027890c6d3c56f04602d04cf4c706716f95a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Tuple True Passed
de20eed24ed4127b49097c082b3cd6a1dd0af01d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Tuple False Passed
dcdb479527d5d31ce8b71d7d870590926235abf1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime TupleEmpty True Passed
76a06724a206220c4cdc0e828c0383a630dac3e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime TupleEmpty False Passed
d518bc770143db4775531f1b79872e9928274a49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime FunApp True Passed
b3fc462ed885ecbad3b154ab4973068b14fae87f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime FunApp False Passed
4b740bfa21423784c4be2ad275d36ad085c2eac5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumZero True Passed
a57d2c4acb459e8d4a719f659da6bbd094b02fa4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumZero False Passed
6b389e1621498ca70d4aa00fac43fc05099348ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumOne True Passed
4fb7af404712f4b2365b2f2d96d4d05e03ad4f13 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumOne False Passed
6c80f649a466ed428581d0c2e31c74096b43a2cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumMaxInt True Passed
23636d3b219e61d6d79c08f4cbf3e22581437479 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumMaxInt False Passed
f7a02ff902a762532ca78256036c2d3cac2a9d16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumUnaryMinus True Passed
4cf240602a16ac4786da02a3d13ca924e3af8d5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumUnaryMinus False Passed
667ca9c9cd8892ef2145317fa30da0f8dc734e0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumPlus True Passed
fefda49b13d2bc5730617270cbdbe5530cfde4d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumPlus False Passed
57e2a44a374562683eae6a75197c6eb97909f4a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumMinus True Passed
679d608c6377418c8b69828cfa91a79151036c15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumMinus False Passed
5c561a7af1990683ef3ec8cf8376a78b6a079385 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumMul True Passed
de434b628433e5214ed193079f8cfceb775961fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumMul False Passed
3227e4b66127a6a66bbf9b397de58ff8b1eb94de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumDiv True Passed
df1ca5e7990ae3a80fe9bf6b8cd03c4b89a893ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumDiv False Passed
e334c6194125dd467fda45a0692a23f0c02a36f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumMod True Passed
3aea318df22a36a6fb4aa34fe69f4083aafef4de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumMod False Passed
50d1ede2b526702f634414f147bd1b153caf0f63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumPow True Passed
e1bcca1658894e7bf533ad9a83bf88913a453c2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumPow False Passed
342aa92dcc70b8d18e4cc2f2c7b4107fc952f925 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumGt True Passed
84c121fd3be9175c86cddeffc777a3caba8d05f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumGt False Passed
cc2bf456576fb4feae00f3a7bfcbbc07f7742fd9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumGe True Passed
e930b22629b31141cc0086e77495d11666b2dd34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumGe False Passed
ad6ae69ed2dc4ea61a0177b6c6bf692d675c7e10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumLt True Passed
72b0c6c0e3cacd005ab044c3820af5a74242ebb9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumLt False Passed
a8049893d984aca451ce5704b6d6a418ba5934fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumLe True Passed
d24708391ce4fdfe5f049e446daa849242f7780d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumLe False Passed
de6bde733110efdb211aa0382db3e073693794b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime DefFun True Passed
973c1dbb6bdab5b25e0e8654efc4d639023da397 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime DefFun False Passed
92222c202c0645c5dd3bc3445df0c484fbb170fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime LetDefFun True Passed
c87f5bb4489134a6c3e845646942ea1d9d35cb71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime LetDefFun False Passed
44eb2349e95acf2a7082af05bdba5cf31c6fc255 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime DefFunRecursive True Passed
ebacd5cb8dbaf8568c1639d13813a030038107c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime DefFunRecursive False Passed
c10eecb994be8d9a8a0697f55d633d68ef54f9a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime LetDefFunRecursive True Passed
aac1062c7aca22f63cbf2762e6c37d74bb8c8aae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime LetDefFunRecursive False Passed
3b3b33bf64b97d919610cf8563c9523fef53c980 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Def0 True Passed
623bbf4c924ea86ffe02e84e598df0810f359f17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Def0 False Passed
6d7d3ac1fbf70603817cdfac04af85b45c202ed7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime LetDef0 True Passed
7bac5d553bd484cec89665970a09c83b53a9cb99 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime LetDef0 False Passed
f5a1ba392747587296c5fcdcb9dbd8fb5bd21c44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Def1 True Passed
d8f3ac7aca98b9cc37e8ddccac85ffcd2ced4cf8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Def1 False Passed
4a7befbda46289e04558d9d8fbd4f2ebe467f714 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime LetDef1 True Passed
4aeae9c4a95020fc6731b44825a14dcc621ce226 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime LetDef1 False Passed
6ab7afc0ca2c02ef433b01d14c38d37c6c7189d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Def2 True Passed
4d1f17a72498c749adf99afad899175a1dca878c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Def2 False Passed
f38fb0d163c3ba4cb8ba49fb8203a7ce01506f40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime LetDef2 True Passed
961354e6ca192d6ee950627e9857b78badb749f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime LetDef2 False Passed
ead2a86c942054d99ec0c324c8513a38c61730b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Def1Recursive True Passed
be3e03206fdbac6b03e84780cda6134d7f893575 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Def1Recursive False Passed
ef68eb1460ba7fb1599123d89e344af4e66ef556 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime LetDef1Recursive True Passed
4712ef8515870bdce6d7f7813874ca6446d1d458 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime LetDef1Recursive False Passed
6525e3b8c3c7d28d2f36c6972ddbae341b29ff24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Extends True Passed
9156cc476602ea23da3836e2e47cbf79c5c8ee09 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Extends False Passed
e4bb170cdffde9f7995523ab877144ef990c3179 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime ExtendsInDifferentFolder True Passed
100e01e3ab85b8fbdca41a62be1fed3281e49b6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime ExtendsInDifferentFolder False Passed
3cd9da1d5aa9538d4b65beb0be11d2e78f49e7e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Variable True Passed
1edb599a8f0e3a21ce82b69768b5d3b0d6935916 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Variable False Passed
79ecf68827574d73b10b6807676ab5dea83af6e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Constant True Passed
ca9ccca1eb32713452efe7ee7c67993b3eaadcd1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Constant False Passed
0369c31affa1c06b48b968ef05dbfad22888198c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime ConstantModelValue True Passed
03c91e2ef32c0ed64f3de82d0fd4124c15f5c5f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime ConstantModelValue False Passed
78bcbf2c5c5e691d77ee87d580e135698024486f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime ConstantRank1 True Passed
b92a4a270f05df0713d98711f08ca3d0be19b03c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime ConstantRank1 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
ecb1b6c9e7a8b0d7f9266c81e5f64dfb1bf88d8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime InstanceWith True Passed
091962e0aa79ba0c277a32d5c7e7e4f85ba51d52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime InstanceWith False Passed
b01f22afcba74c2b324637f780d5478c9536be37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime InstanceNamed True Passed
4dd190973bbfb25cb1d1afc168be915b23bb8462 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime InstanceNamed False Passed
1764f0065f896f46e9c2d34b3d895335b92bb84f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime InstanceNamedWith True Passed
84e705e9447d444477ff729c0dd48bc085a27e16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime InstanceNamedWith False Passed
5c4ff78356353e4232f4b930620d0e25e5276713 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime InstanceInFolder True Passed
1ef75f20f0536a47fef0ae163cf12d17bd36c46d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime InstanceInFolder False Passed
6ae0f41bccf10c8e96e00029e4a9ea0100191e56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime InstanceWithInFolder True Passed
b14536434dbccb22a7f381f4ced569af24264749 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime InstanceWithInFolder False Passed
8b15e2c86bbad80170a11089bb4970738bafa21e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime InstanceNamedInFolder True Passed
dd4aabc79f37c13ca75d91b5934592fcccff9acb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime InstanceNamedInFolder False Passed
6bd9dbe0040940477bf01fe917f3169618495ec7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime InstanceNamedWithInFolder True Passed
b5c8e94c39e76f8039d0948e2af028c97c485081 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime InstanceNamedWithInFolder False Passed
1bbf1f3f1c505608f2c7ba3376d3040c25edd524 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Enabled True Passed
1bc1b4e0c903aed03064a074e562dde966b29298 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Enabled False Passed
87f496c612544b34644ac1d28a313eabdb78edf1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Cross2 True Passed
632844e459d24e9d90b987bd184f045fa86c26f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Cross2 False Passed
8ef05319b5db92a24828d90fa177ec5b4d499440 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Cross3 True Passed
a1b1aec08aca9cd542c507e46e109809876330f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Cross3 False Passed
609205c8657b4a5c599245e9abe1726e7511ad8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime FunSet True Passed
83b07c5eafdad7dbd2ea195cd19af2aac8fd3d8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime FunSet False Passed
7d206e74346ac3d3589a8d983bdba3dcf1091732 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime RecordSet True Passed
ab6138c2b79cd3f5c04a5855f13721488765ea8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime RecordSet False Passed
76ece9b26a2037c0151b9e63e911b2034ac0222b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SetDiff True Passed
d28f092c2dfe6e9db9271824f865483d43d3de89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SetDiff False Passed
13f57df81040c01ed01edabff7fd45caf2dec6f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SetUnion True Passed
ed850fee5213d54ed11f50ab5615634d25d2029a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SetUnion False Passed
ae260bfda71a60283a80d7a325d6637dd79b3685 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SetIntersect True Passed
594d0e67b10c64dfb2ef7e91f408a331f195cb73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SetIntersect False Passed
728bb0b3b3088ccb72303d695d7f25c6a6134215 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SubsetEq True Passed
d6114e024ba3fb29e1534e1d2283c66d996dd24c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SubsetEq False Passed
8aca6261d1868618da4a603606664610b07cd464 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime IfCond True Passed
2ba42d3aa74093815b2f75788ddc590d074d06db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime IfCond False Passed
3e15644cb4cc2ebf8d4deadf14f633bf4bc31997 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime IfThen True Passed
53317d39ee866c65b954fa1deb7502f650500243 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime IfThen False Passed
670866e3951d0369e372bfb701e9d6c0ee7aece6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime IfElse True Passed
566c2f6779c622f02be104e1a0e8840a8ec36b5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime IfElse False Passed
b971b5f784409244ef1c9040adc84593402b96a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Subset True Passed
bd332aca459e563a91c742ee94ee67262d45363b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Subset False Passed
6b4e9931250a369ff41a8d3761aee9a9f41b920c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Domain True Passed
65074504d2bc6f00bd262e693f76977a91cd542e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Domain False Passed
6827d59e9016f3d85a91cea1f65fd3f3da5a7303 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Union True Passed
a66ec979b7df75ef903bf339b11f18bff32fbec0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Union False Passed
2c32d0a642520729864f3229131a851afb786165 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Equivalence True Passed
63af8f98eb11fef7b5e120f15a5be655db1589c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Equivalence False Passed
9f660362ad4121a7d3a9f913d98b34373c2ee903 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime StringEmpty True Passed
9de60955d366ff24557b0620652fdb4e6cae63e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime StringEmpty False Passed
e446b3aa75068b114e036bdd9d14fdb28d4c4234 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime String True Passed
184ad15237fc11999ee4d283a21f8a8267d65c95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime String False Passed
e6b5670ea6484268d221630aabc67fca8e82b8db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SeqLen True Passed
1a847801f2f2fc9aae8f1e9539113cb85704f16c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SeqLen False Passed
fa6265a8ca9a0dfbd74ffd37a93c09833bdcbe08 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SeqConcat True Passed
c49c44aa69764c70f6c323ac7dd65debb8fb8647 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SeqConcat False Passed
d0d098fdc17aaf2335278f3104da6cf8cee9a6e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SeqSelectSeq True Passed
3247e61788644146e628f47f9b8cce3cdd0e4b7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SeqSelectSeq False Passed
a36b9e3756d7ed1a40cee43b35f7fece658087d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SeqSubSeq True Passed
e9d81d0fcfa220e154d01ebe5994f4ac3238f70e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SeqSubSeq False Passed
2ead1bbeb5feb1cd59ccc5b00fce555cb72fb0f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumRange True Passed
31190772363b584d98d0c8902989063591dc254b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumRange False Passed
e661f1c1281ae39d8e4869eb3e8b08c1a7b1b5c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime TlcSingletonFun True Passed
ee07375f39a605033787d13f6a0a109abc408e9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime TlcSingletonFun False Passed
3752f53eed3fa95044eadd6c13f798d1d79cd1dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime TlcExtendFun True Passed
551c0cbf7a6fceb32ccbabcad150fff578261f87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime TlcExtendFun False Passed
c7025b9c3fe8bd69d867f4b7ded16c4cbcc6584a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime TlcPermuteFun True Passed
4ab6342bff0e1c7a3065576d1439a920148e5860 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime TlcPermuteFun False Passed
e4b65922456fab03e017ee7fde0338b7d37c7021 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime TlcSortSeq True Passed
08917020a7307e6b72cb3c41d341b36717325f1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime TlcSortSeq False Passed
93b3ffcc807adff724e303c29567581a55fe3a8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime TlcEval True Passed
81ffc4cf717a58d9a162ea8deebb5016767c15b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime TlcEval False Passed
83ecba7695ee8cab7ffc17088d450a6ffabd2854 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagBagToSet True Passed
b4200ce0fa649a960f71c6dca4ff08f7473a2e15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagBagToSet False Passed
f8a4fb5c788e70a0ce0975062893bfa50fffd5bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagSetToBag True Passed
dfca6013fcb4360945c968570a7eb99d9c5de444 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagSetToBag False Passed
24e1fb0bd16b44663447b1d657bde96e6d1d2781 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagBagIn True Passed
d7ed27b07ff5c2e694c00fedd3e2905804e5a0a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagBagIn False Passed
997692ea40c3b56c30ba43145ccf66f7170ebddb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagEmptyBag True Passed
3bd02d274c8a4b1aa0de0e80588c7aee12cfaffe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagEmptyBag False Passed
7f787703a7d598dce67d15795c39e936be36f139 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagAddBag True Passed
90fc585037b1bfe20f88ef577d42a8a3ef0aa2c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagAddBag False Passed
77d38862c35aae5208fb40a43218273097f448ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagBagSub True Passed
e449a973a9e99713a8b202f2e64910a2e59e5b20 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagBagSub False Passed
2136d1e447686c398dbcfda8c8c5b15cb0b0a528 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagCopiesIn True Passed
806d9fd65e3b1470ade3dc316bfc7f5b8750e9bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagCopiesIn False Passed
e1cc9d8b0715c3ffc992877ff38cf28937f0ea43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagSubsetEqBag True Passed
d98e6839c6dc4b6de80e937ac3baa3f33d14aaa8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagSubsetEqBag False Passed
3abe99c331f1eac1a9eb0efc5690bf24b2863562 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagBagUnion True Passed
0745025aa91cceac7d6e6182e56e9fc3da56eec2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagBagUnion False Passed
555270615acc4526dd26b53eae2b5abf83f8c10d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagBagCardinality True Passed
0ecaa2ed1e36844fce2fc4505f98549256f34c3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagBagCardinality False Passed
fdb5ab3072c3437fbeb1eb5878ce9e65cc8463b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagBagOfAll True Passed
2018b91ef2a93852383919d2d58f4115b750cd72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagBagOfAll False Passed
d8d3af6b41e705ad5f3251e6de8aba3c692186d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagSubBag True Passed
098a7647be02fbd718536077b689b48231af9ba2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime BagSubBag False Passed
e6339ddf0c589c1afcdcdf4840c4fbec70c61c0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime FiniteSetsIsFiniteSet True Passed
9f4e35af2ed844eb3920963b25eeae946d110d64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime FiniteSetsIsFiniteSet False Passed
0b11025d17518dcee61fb894939991b7240e595f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime FiniteSetsCardinality True Passed
d7c9339955fca23a44e4ceb6ebc3b01924ae6cee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime FiniteSetsCardinality False Passed
d52300ec6bfc3fd5a694a851a03bfe77755f3fb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SeqHead True Passed
02225a066ddff5a991f88f8f5ef7e78f5af59cb7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SeqHead False Passed
05a7f429daa27daa494e893d38df7c54f08bdaaf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SeqTail True Passed
a71a3955112b8fefabfe824c5c75440da660adde TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SeqTail False Passed
7e03cfe4b83b9ae4ae41a842ffb6684e96dd1843 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SeqAppend True Passed
3f55a10d33649c4d64d74e165c14f1f2fa2ee160 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime SeqAppend False Passed