Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
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
b1f066d2af7fcdcccea18c72e8591b4e615617e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder MultiLineComment True Passed
cdfb86d0d783ab9627cfe079b7fbb7d152626c17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder MultiLineComment False Passed
2264c8feecca5d9fdfb77268da9fcb06b858ac9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BoolTrue True Passed
bdd5121e3a1d1d806543c334a230428ef388144e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BoolTrue False Passed
6366c63ede8ac83c308131dec27b0f976b3997d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BoolFalse True Passed
1fcd15fe385aa2f0fb5b58fd03d36116e9e1878a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BoolFalse False Passed
754e0ce7ce56e913cac3b7dd43b2d028bda2a02e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BoolSet True Passed
3d1199c027b17f21a4dcebc2d13c13a67f99d850 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BoolSet False Passed
1187742bd399c6c93b6359a99d8ddd75d1298716 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder And True Passed
8015b4f6d512f67eca3fc3a1f2b91d76f3ecb14e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder And False Passed
ae7195fc77ea397266a849c510125e40fa63db71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder AndMultiLine True Passed
61572d45b46aff7920fe9d85863ff81284f56953 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder AndMultiLine False Passed
1325ab898697bbc1b1297f0a3f75b338bb827fb8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Imply True Passed
c42ad25386b7f30cb5ee98bc4d2bbc701ea0de12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Imply False Passed
54d7c66e4caf8a93a8b8c2c2df44e0a7a4eb8861 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Not True Passed
aa5f3ae573dcb8e486826cbca09aadadb8113ed4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Not False Passed
ca186208338ddb79304c95d31429d969409bf402 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Or True Passed
626509645834f27b34c7770d4d77ec574b6caa93 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Or False Passed
3e62bf687055996ec9a7692634110fbf94fe7416 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder OrMultiLine True Passed
e916c8ae2ee087ed6980964ea2b1edb8c3962c2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder OrMultiLine False Passed
81337e464efada95d1bdb6f439014522f7d825f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder AndProp True Passed
929240f66d60cb0fd643528dd2307d6cb7196a90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder AndProp False Passed
e7736aabc220fbf35c569528ce613e0e0c120a1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Boxed True Passed
dcadecb391ed439b53c0eca6ea122ba7e115492e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Boxed False Passed
4f95fbf0bcd98dc66dce1088408ceee8860d4a9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Eq True Passed
74d325c224da9c1c46bb0b8b3d4100148f1900b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Eq False Passed
c9a92851348bf9b625b987fc30eb43c6b2f4b5a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Ne True Passed
cf96c0d169852fe36391cfc1865eb9df6e5410f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Ne False Passed
6c9fbf710ea8dac694b52633f3b946f24b82ee82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Let True Passed
704c145f0218259e0999234e8760cf0791e1f3c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Let False Passed
2204bd62e37798eee709ea08ab12491f042f00c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SetEmpty True Passed
2cfe01e56b1cd225cc920ce9019df02bb6830062 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SetEmpty False Passed
a8eacae4836f721370912ae55008ab768994b370 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Set0 True Passed
1345e7b4da6e8c3e0c36890ea432042ccc39b1d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Set0 False Passed
23c3dbea7fd7e9dcf65c7337d98229d759acb134 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Set1 True Passed
f44f18b9853eef3906c51561be1dc2487bf9b485 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Set1 False Passed
10f9343544fbe4287116088aea0ca53b63f8bc67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Set2 True Passed
38ecb46598ab663485448d17764a55be06d6a3fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Set2 False Passed
a3bc7cb24b1c4f5026668dd55e277a0393b30d22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Fun True Passed
13797ab511f9bdb4e030bdb632bc4ab3e9cc327c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Fun False Passed
bfa2c4bbf4e4b0877942abe4348ee8dee8259daa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder In True Passed
2d130374f3891ac7bc64c5bba7dbd430b2dc782a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder In False Passed
e85c3eb9cba6b918735a74ae8bea7b83297edddb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NotIn True Passed
8d575f3b1c0d6edf59dac433af9f322bfc0c8eb9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NotIn False Passed
0bb349f7db4b4b89544a3d1f55c08ac390820cb7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Exists True Passed
b33db9177de15d09edab920ac130e4107b2b409a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Exists False Passed
6dd9d122d4eac2af757c9b41b0b317c03bc939e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Forall True Passed
2aa6653202fcd39aed66398d51178075963c4883 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Forall False Passed
624fd77e4218695fdb53e00e0f1824ab3a1dff56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Choose True Passed
7b63418e13230788f548b4b03314a1404b69e917 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Choose False Passed
0ca7d0d900ab809b01c4e38f8aa70bfdbbfce4b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Record True Passed
0cf068287ca4f73b1b3d2eecebfeb9e17db6285c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Record False Passed
073d1cd21d906d21a97bd450cf4d7a31a7fc8a93 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Tuple True Passed
c623ef09c818d7e03f54ba41a084152a6d809326 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Tuple False Passed
97c6a700b2b5d290329051e752c676af18951bc2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder TupleEmpty True Passed
4007b7f6b63ef77a5678baa228a26b325bc3bf17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder TupleEmpty False Passed
a74576d4c01f7cececde75e59d7fa0c642e78bdd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder FunApp True Passed
f6086686494211a296ceba70a7e327caf20d508b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder FunApp False Passed
eb30a5e4ddb21d50c442549ecaae1968b15a7a79 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Prime True Passed
92fd8e045cc4a65390cb47e3959ac834053406a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Prime False Passed
757caabe77af957458b5887a5ab3019448566576 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumZero True Passed
b077841533512c923a8874de58435540b072599c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumZero False Passed
f441424d3be7611b804deb6457e4304a1e7feba1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumOne True Passed
ca37d98865e967428add218a07fd6985a1cd6d98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumOne False Passed
790f4ed7fac3b2d92a3e0ab9a1d8c0671c16ac63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumMaxInt True Passed
c7515c48681fc0d017f06d58f0ee077bd12ea6d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumMaxInt False Passed
139bb0e2dfa261b9fa33343a437e611d85c44639 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumUnaryMinus True Passed
10d176dc567e9d4d9a817a1391b7a10977ed3540 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumUnaryMinus False Passed
5f3ebbd4d218e1fd9eaaa59df4f740f02ec171d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumPlus True Passed
13648b670f5c2d3a88d52cf2f586be49c1bd4ec5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumPlus False Passed
bec3ccc6e8240741967babd0864df4c9ba4d249a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumMinus True Passed
3fc67ce76661fa05b95ac4fa3f6ed0e146634ee9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumMinus False Passed
79863d7ebe42f526d2edd027a1dd7fbe06d09cd6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumMul True Passed
a188cb6819349b1a499084ce81bc54d2de4810a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumMul False Passed
b3f129b7e07c67a548755fbbbe1028a7cb404958 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumDiv True Passed
edb75dac68cc4031db12052283717cb3b8dd77b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumDiv False Passed
8390c4ad82c24c7aed47bce2908ce991938549b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumMod True Passed
c00ef25effefa919db33adcec8202f9fa51b70d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumMod False Passed
340d2ff4fb8dfaa135793ef1c2d1b6a266a091eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumPow True Passed
73676b3439c24aab39f4b76284b6f771727e591c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumPow False Passed
d359cdb8f730b9b5e9e5ce2dd8b4315acf0b3142 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumGt True Passed
7d96551f58407278fe85fea6f8774e0aad1cbbda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumGt False Passed
05a0ac83e83a062e43810dc4c4d80d4964b73ff8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumGe True Passed
98ce1ddd13d2ef86170b7d7b2db36ebd6464b2aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumGe False Passed
5f476d98f3424c88dfeb0cced877d61bada291c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumLt True Passed
a9073ae77450b9064ffba516f3031489667e7d8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumLt False Passed
09100cb3e4461b9b2afd923c37225fcf32bf3660 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumLe True Passed
dcf3ed852c516a3a66d14e57e5165c8e419cf3cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumLe False Passed
e77b7d1e85f632e50e28e18affbddf7f9fac7b83 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder DefFun True Passed
d32c6f7d5f5d538d49d9a0b6bde73dd066fd30c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder DefFun False Passed
780dd8b45c87b767023b6f2b3bafd01f08fb0438 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder LetDefFun True Passed
8c22c3894bed11a59c5d8f9310c38b18390eda06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder LetDefFun False Passed
1f542ed65e878f9b335b8a44d3460a4f51c98f73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder DefFunRecursive True Passed
c9a26359e03a82c7733b79bbdbe4b98e3aca9a1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder DefFunRecursive False Passed
f581f5ed0a0e987392179a95c912a525dfb9384b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder LetDefFunRecursive True Passed
3652e0f02f438195052a9b4c906439684a2362ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder LetDefFunRecursive False Passed
348cdd05c80de0f23b5a6966d368bd95387a42a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Def0 True Passed
bb40682fd141570310d00026a6e2f378ca55ec92 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Def0 False Passed
4553ebc7179cb1e1d13ec98360fa8c72a15c0bd3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder LetDef0 True Passed
ae676d8c4ef3aec90cb060e912a53a700b45a81f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder LetDef0 False Passed
a7892f0e86617c9df9eddbc910783020b0203518 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Def1 True Passed
f159ac0611e3a02a2a49d055d75bb2272e3f3d71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Def1 False Passed
3eac4d25c73844a408cfa8588812efe80af80e9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder LetDef1 True Passed
750f522659404640cbb81f6240702ae7a674e69e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder LetDef1 False Passed
4fbf2ba6114999e658bedacb333085da069f8d89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Def2 True Passed
29b23518d48983e1bb3df07fdc92090943d11535 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Def2 False Passed
5cc3dee4b1d458f00171c0dd16237b53783e9312 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder LetDef2 True Passed
0e10330e24dd45fa3df91d87de0c93579fa13923 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder LetDef2 False Passed
4b915a7e2907e4f0125baf8bf97f66070ea91437 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Def1Recursive True Passed
f203978cd95705de2beb3611987e68a395ca2466 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Def1Recursive False Passed
d3607599314e31c41842cbc24eb4d1d99454eaf1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder LetDef1Recursive True Passed
4cd969888d5f569a122ba76d1ce28cf043905b9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder LetDef1Recursive False Passed
7e39b7d962d34ca7cdce92249bc229ca22557e3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Extends True Passed
70c28db642699f7df471cc94915b8fff3ae05d1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Extends False Passed
05741e2e54a3b8dd839cdd59bcc1d7d0caa77983 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder ExtendsInDifferentFolder True Passed
6f22747087ca2ff3ee5b27a94cc3e16edbf21908 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder ExtendsInDifferentFolder False Passed
d3354632596506aa384d7308d417e68740f4589c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Variable True Passed
fa929a70a2865bdcb8574fc6afb10a8b755cef52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Variable False Passed
215c3f60c925e93babcb540b31a7d166ae683a7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Constant True Passed
71022128a76648278ba2954bc042ddf42d7569fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Constant False Passed
ecd4503d374ee2940afeea81da8491d9db78f83b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder ConstantModelValue True Passed
8a28ebc30ffa71929690c2de836b445e969fbb2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder ConstantModelValue False Passed
7a634a2167620ebda68280a5ecbd55644a2713d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder ConstantRank1 True Passed
4e389949074e31cc3d851d6f504f036a39e892af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder ConstantRank1 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
cc3752fac7c514d6a95199a3034676c785208ec2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder InstanceWith True Passed
bc0866762af109db563b1dd65cbc4aa25138168a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder InstanceWith False Passed
9b79f757afbdb9458f658693e9d24443956e7383 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder InstanceNamed True Passed
b4e2db9b79697e8c2ee9c30ff22f7311f4d1b709 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder InstanceNamed False Passed
37803ddaeaee7d8056728d6fa35370440a563941 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder InstanceNamedWith True Passed
903f12d90d76872ce2cee380207fcbc813c8a03c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder InstanceNamedWith False Passed
ededbad50a8a7eea5ab33ba9b7ba4e52528a97d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder InstanceInFolder True Passed
6ef1357f655adda065c79508ce8a98277b152a64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder InstanceInFolder False Passed
fe5dde39fad8657977b567874b29b6836ca4047b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder InstanceWithInFolder True Passed
89dd44ff9545d3c2e6a28730e2280e4b6b8d9630 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder InstanceWithInFolder False Passed
d3a0d6d551d3d2280f59e30249f62362877242ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder InstanceNamedInFolder True Passed
0c8af16b9254888ad1fed7adfd943b7cdc1c8e5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder InstanceNamedInFolder False Passed
5b70cb7fd70163f95f38356cdb5f1500bee621d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder InstanceNamedWithInFolder True Passed
726b598e61426b0b6fc8191f42b83899ac08d9a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder InstanceNamedWithInFolder False Passed
451da1c382cb9f97599adff83e0e6c887e037b21 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Enabled True Passed
e47a147a50bb92847d3bfe3fa593c577afb52fbd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Enabled False Passed
ee54c2245f7d5d90d4d5073e1182924d88ad929c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Cross2 True Passed
f498500c55e4e6061952bb7e0c0536fe33157206 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Cross2 False Passed
d5a3ede91bbe5add525ffe72b923f537515fed6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Cross3 True Passed
af3df50d957060dcbb4f3cd947c419ed5330fe77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Cross3 False Passed
40ff1755a504a4b1aafbc38e9a823c21cb6eea6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder FunSet True Passed
94f3f8a4ae2cce62a1b90dd0fb010600f67040b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder FunSet False Passed
9a1b355b7f6493a527cb7652e594f661f65ac3af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder RecordSet True Passed
4c86dbb1d3dd0373689969d1fbbcef52f5e3ad69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder RecordSet False Passed
9d77ea7ef72a946803e258aff5bcfe146d6fff9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SetDiff True Passed
4e2ce4ca89c231a82bf113862de8cf6c3ab1fab8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SetDiff False Passed
89a47b737bbe4c8c4fde3f35c299de34523ae8e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SetUnion True Passed
4db670efd7a4e1ce6c647d54636a7445a94f803b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SetUnion False Passed
ed4f57c064e1719aedc457c596f8bdff8b464342 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SetIntersect True Passed
044150284097c64823bf2fd2183fbde4eab62af9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SetIntersect False Passed
ef28f785985029d89610472d0d78a26bfe9f413c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SubsetEq True Passed
177749d00cf5edf144c61f4fc4e6b42ecb2e035e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SubsetEq False Passed
f70b6151208e0e052749b2d243768579ea9628e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder IfCond True Passed
f58962365e28ab991991c088bc28568ad4641bd8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder IfCond False Passed
0132d1935d66f0ce656efdab1a20332787ecdc95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder IfThen True Passed
bebb454812a75cf539e8d9662e6a4562dbca7da0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder IfThen False Passed
e8c7812928d84dd7cbedb4eeb25f3626cbeec4e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder IfElse True Passed
8bc0a5928e9bc3dc47a800edcc2bbf0d42c7bc41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder IfElse False Passed
65adbc9916f322153f461af948d6d1f4c95c77a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Subset True Passed
d681be2390687370af2805dc58e83ab6a5053ee9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Subset False Passed
1349cb81df30a8e4385f09cfe328655f076378da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Domain True Passed
833d8d7eec2805c38455b0bc50ec662fd83543fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Domain False Passed
aa4ddb5c0bd2f8d779af6cf50f6af6a8b2061c58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Union True Passed
5beb6a7fd5c7d285b1d5756c1c47277b63f1bd10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Union False Passed
94fa173bbd5d5c42051931687b380b2ffbb5f90c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Unchanged True Passed
8c9ef1d9e24669c2fdd5d34f6c9506f4da2e7833 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Unchanged False Passed
40927fef1844ae5ee89b301ba69d4e81e87a89fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Equivalence True Passed
1972e8e132a9d326b59e6b9d89d44097be0b1e78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Equivalence False Passed
582dab7e714ef29cd630b0e69395344049699d31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder StringEmpty True Passed
8419d9c75eccd72bf0f0b0983a33a4c052118201 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder StringEmpty False Passed
882677271ad9c1cfdb49512645383da82ea59613 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder String True Passed
d91352880112475b42377f4eb9ef38ab311643e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder String False Passed
0f0902ab04dd5d103140097f49ed6ff83e1db770 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SeqLen True Passed
e065450c44bfc13a922581abff345816eb72f141 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SeqLen False Passed
3d3a62db65b2e83cf5692f725e18fc0872540e10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SeqConcat True Passed
f45ddd8d9c7b6b79c4e55df2c6c755c7b3a01b22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SeqConcat False Passed
4aafc1a911096ce471d6dd42331977dd1b6f1222 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SeqSelectSeq True Passed
7306e6bc8db290723af09c87b390251599a501e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SeqSelectSeq False Passed
73fc8c53cfe37b66f138a4eaab60e53e3b61b591 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SeqSubSeq True Passed
397ffe4546debcc4ed63f890e45d470b1bf14c12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SeqSubSeq False Passed
7d46c0912360431751a424948b95ff09da38b6c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumRange True Passed
dd4bc2f39fe21f241f915e068c18f6cb14109fe9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumRange False Passed
c53796ac23f33bc4ed191eaa24c93308dfc25678 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder TlcSingletonFun True Passed
9003e8814a0c43e73873e3458900fd4334cbb301 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder TlcSingletonFun False Passed
7fbba9e20cb7caf252ecfa6a4c8ff0b516fca187 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder TlcExtendFun True Passed
9cb57b894ff6e8f015b034d7feab373847f58d14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder TlcExtendFun False Passed
fb87949931bf8f64b7c5094308851dd1760f77e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder TlcPermuteFun True Passed
848dd644445339a0019f10114caa400a56442246 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder TlcPermuteFun False Passed
ee7f589370aaca2bc9080000746eb51629a6d14d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder TlcSortSeq True Passed
815d3c4bde70910d2a3d15ddd5005e2af3431322 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder TlcSortSeq False Passed
55478ba82c6218432fc5c398fee1a20afe1009d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder TlcEval True Passed
017abc9a2c9eed45d402eddd0efde3167e97bb6f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder TlcEval False Passed
ef85b691ac2a72cf2539391a6ca76c4badc2ae55 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagBagToSet True Passed
83203b46594b167fb8e461e7f02a2f088b5038a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagBagToSet False Passed
71724f7e44dbd8a50ff1738f87f47bd5d57b2086 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagSetToBag True Passed
16795b251f62dcc6dbc2ed87c39cf7fe4cae6faa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagSetToBag False Passed
492fe8b507c6c27b93ab75ba461ee4a2d5579da9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagBagIn True Passed
b14e246f477d012259415da433deddf1516c17dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagBagIn False Passed
e6a41077192b6cf2147d7ac632a1d0016d543d31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagEmptyBag True Passed
f21ad02a351f0aa6f099642bc587920f10d4d3c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagEmptyBag False Passed
b380aa157d37dd4035d51082d92f73d284eadc7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagAddBag True Passed
e1784778ca7287e86e1ef17dc866b8bc8cff6865 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagAddBag False Passed
a8ca2f5f474462a09efd90623d17d9ac0d58d45d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagBagSub True Passed
116d27da789584ac55aa2b15440da053d7da8e53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagBagSub False Passed
b8891630c1e60038fa0fbdcd2c40082c04164bc3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagCopiesIn True Passed
cdad9a1d2ac945dc5c5774c46839a992c853562d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagCopiesIn False Passed
00b3b5722caeb0d2d53c35dc7c8c3ddb67f30cee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagSubsetEqBag True Passed
e2daf322247347e41efa5dbc819c652f08845fa4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagSubsetEqBag False Passed
0a16c7a82b1ef4b3b1fed88dbcb81ddfc3e3fa86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagBagUnion True Passed
aae6c7ae560216aed39d2f5c5bf3413ecfe21905 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagBagUnion False Passed
af284d625f9aaab27b15d59cf3ffed7e215ebf61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagBagCardinality True Passed
48a5a37043effec79801b41adf08807c225c60d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagBagCardinality False Passed
e46a7a8bf632f3458661864592274362ab7ae8f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagBagOfAll True Passed
da8192df4aa04289dfeefcdaba403386abdc2129 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagBagOfAll False Passed
a614b507ea6b018f7fa4147561550cb81ea9cb8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagSubBag True Passed
c0e698ce7635f6e9cfe38f2e2ee1e4058384bf8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder BagSubBag False Passed
de23cf660bf8163ed83a81cb5462f44c4cc45b6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder FiniteSetsIsFiniteSet True Passed
47952ac1d850b7b38a95eb40b2d9016cb65e7dd2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder FiniteSetsIsFiniteSet False Passed
cf4bd4c205d638e262a067c4b4b7065a3900300d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder FiniteSetsCardinality True Passed
3397108b03fdf94982c289d4c1173b6e15d07a0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder FiniteSetsCardinality False Passed
ae6463d02fd4ecb10e28a690c5b47c3b25879fca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SeqHead True Passed
1f4ae1949a442ff346525d4c74066d68ba46f465 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SeqHead False Passed
8fc32b3ea1431c1bbbb8d3b4a6be3d605f35e409 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SeqTail True Passed
483deffc7ed9760a947c7ac9597c0e3ee064c46c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SeqTail False Passed
a4e50b5af834c99d275157a817fb686647cdbeec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SeqAppend True Passed
814a850e145d3085ac471095a5a473dcd7a0437c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder SeqAppend False Passed