Index

Tests by case feature Set2; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
4a8a681811a4180b7dd79e588da486b5c11ac39a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 OneLineComment True Passed
af73e89630c7ec1c895b4f85eaca256c69144993 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 OneLineComment False Passed
227be039d32e274b3f8184ad003e2ff5a565f810 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 MultiLineComment True Passed
3232dd61a1d2327e0df4c66c217e919a98439c65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 MultiLineComment False Passed
677bf64784b71c7398a700d8b35665cd2a663b3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BoolTrue True Passed
82cb1f37d81a7a5565bc3020b77c543712f16646 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BoolTrue False Passed
c854097d430b7cfd3fcc1694cc1662eec0f2ae8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BoolFalse True Passed
b2e1b3f50ec57abad51f0d2a438df0ed09394310 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BoolFalse False Passed
23cea5f69f554df99cf563e6752b438803bf430e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BoolSet True Passed
c732c56025e727a81ae191335d95a02ab7fd011b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BoolSet False Passed
899aedd507ee3b2be247de6377408c71249e4ae1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 And True Passed
db33b6f8ace53c5d5e0977ced47313d9dcd350bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 And False Passed
a326f9e25cae345bc996fe5bb6b1516d84a2e060 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 AndMultiLine True Passed
95bf1b96362259adb33630ef3d8f935da51e1c4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 AndMultiLine False Passed
2dd3fd92ffffcec458589607f7a09e4f29f5cfe6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Imply True Passed
bde53a10b9b8af734e3f5f050eebb8f5480d496f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Imply False Passed
90d8cad59d5c79a2d9c5681a44da88d07e533182 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Not True Passed
e9179552fdcb4b3a666c1feb7aa4c73145e185f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Not False Passed
73e5b33731baac33674d3544d8372feed9900fc6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Or True Passed
783e4e5f6bdd571c1dcab621d3659e92bc634769 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Or False Passed
61f51f46fceab1ce431ba720e45573d69fa0a5bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 OrMultiLine True Passed
c9d357dad02fe904a2477d30e56bc78709688243 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 OrMultiLine False Passed
1ed654a25f2d184e11df8e1260f2408bfac4a398 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Eq True Passed
54bfdc3434b97f7ad6a8fd8cc9a27507b2a2b62d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Eq False Passed
c9b2e4038bb46988297b617ad946ac9f5290f26c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Ne True Passed
eee6caa2219e846365dccaf50b54ad3e9d27be45 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Ne False Passed
21df8d2324452e55aca29d70a818d2ccfbc2df35 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Let True Passed
2429a5ec6367a189d853d953cd8f490951665523 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Let False Passed
2cba592730d48fa908e2d8c388cc726fbd2aeb12 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SetEmpty True Passed
16b4af57dd913765354b7a2b4ec9ca8626f28c7a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SetEmpty False Passed
f4d77cc5f69973c428a773d53e6f525872d315e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Set0 True Passed
61bc67f23946cfaa35955e89c549e0804aea34a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Set0 False Passed
0713724e77910659c3d6a585f4abe3e74d93237c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Set1 True Passed
f15cdf5f2bf63ff4d8d2bf87b71446010f309f7f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Set1 False Passed
f8cafd914cf378f947c1562a140f0d3e998b3304 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Set2 True Passed
886faecdbe625d7d135128804bd9a86eb0f59542 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Set2 False Passed
91dcdbec58b33e6c5913f907e656fca20f9f7c5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Fun True Passed
28aaaa79429862e2bab36c4094496b793fce5828 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Fun False Passed
72578a8fde03392d0f83e20a899658191df36209 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 In True Passed
42c5b319882dcbd6e984d5b6d796f1752ed075a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 In False Passed
22707ca79fb9d8ed2f07634b2cd0d508e38ebc5e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NotIn True Passed
f956a55e5a14ebccd8cd2624c45229c19606e2cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NotIn False Passed
24b4d5fd92244ae86d583b1954904128b65edce2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Exists True Passed
49a649c70c8b3a056705cdeaee577ed454c2308d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Exists False Passed
36e8f42e1233e7dda109c90427816269e58b753e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Forall True Passed
749ffa9812b34b940ea6b7f06dd5cae0eec3aa7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Forall False Passed
65db632f1bfe72b1fe902c31c2faff43c77957e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Choose True Passed
3c265baffd37e5157e88d84369bf12900540eb7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Choose False Passed
8464a714cb66a394f29cf3c36b7b4f3914923f8e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Record True Passed
0e7675738161250a878efef555bfb02e5702957c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Record False Passed
1624597333a3f6e82c05c5244b54d3d748e2fadf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Tuple True Passed
d7d7697848afbc5eebf491b9d450d9054d50bbce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Tuple False Passed
54235f86a59842f3e087c3d5eaf051e5ab2f545f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 TupleEmpty True Passed
0d31e0b297797a3b1511f689c6bc457aeb973956 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 TupleEmpty False Passed
a470c4bfa9b9be49ccb817e341aed1781109f96b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 FunApp True Passed
a0db733d043d8c30206c6ab927a444dd11a6dab0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 FunApp False Passed
0d026571c8503e395d5b9dfd0f937087cbde4d0b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Prime True Passed
66e3f1c880ec5b30985e721f62712198bc540c1c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Prime False Passed
c0312d56c328d6f8768b98a3464d0c272794703d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumZero True Passed
68900b9bda9461172ca9882e4ad25d7be7e5ad5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumZero False Passed
805fd837fbf5b5d793880a172cf6ed2ff6ff21eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumOne True Passed
b149bafe66139ac33807966c8dadb1de3aaf97d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumOne False Passed
6498e017026d6286b097edb3c92af743be6e8b29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumMaxInt True Passed
580f20a1a553192aceff01ca11190b644869436b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumMaxInt False Passed
9b0bec35eaa1df86c3d1764d8f12e281b457aa9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumUnaryMinus True Passed
be054d0c67d5268198f2cc1d7675eef8ec7e40b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumUnaryMinus False Passed
4357215517431b790c2b2fdf0b0f077b81fd7467 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumPlus True Passed
0a1df40ec4c1a08f10bc9379f48dc6e5aad24680 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumPlus False Passed
809f076c4a514d16367a497d5cebe05384710132 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumMinus True Passed
9a98258d17e52402f6bdeab610458212d277f6ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumMinus False Passed
39212f5c92feff7b3ba943102ab834715e2bcf37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumMul True Passed
01c5c476d24449688ef9616208ef53baad1ac871 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumMul False Passed
abaf6019fcddd8777b0a611ac643d1ca39ddbfcf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumDiv True Passed
7b6ef1e6fd9dbb7f664c28055539932449621f87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumDiv False Passed
09b9366032c58323533bcb8326e861a016b6118e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumMod True Passed
f2586edcff9deec241c470d27f08e31844f68e4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumMod False Passed
228d5b6fa94c496660475d2808b92ac9740f56a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumPow True Passed
d82b892a98bc3c6d1124d6c463ffa54eab5a7164 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumPow False Passed
ef4f9809ecbeb5165bc0b31cef7e4711c8de5777 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumGt True Passed
8bc8e438f5b1797fe5f4de6429293ebf7532f55c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumGt False Passed
b264487d4b21498b1ef4d8e2547239873fdaed7f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumGe True Passed
4a633c1b1d3bec11317faf6b758b2fbf3e6d98d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumGe False Passed
27563d1c1308914dc4be2ece7de9d77156d11e91 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumLt True Passed
a5f989d88272e9d2cec1ce1c9f612bad7368884f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumLt False Passed
8a20db9099aa724634b19553812b5c6d7e2f489f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumLe True Passed
d7847cc799d49dd7377c84f8719f8f8aaccd9ede TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumLe False Passed
b570c397daba260822044036b6d9a4d9e2e51dfd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 DefFun True Passed
5696f9dc1ab8e7008104e4b6b33f9fc5392045a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 DefFun False Passed
5775bdab6b5784c189dca9e8a2635d0fc75737d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 LetDefFun True Passed
1313904bc6ab1c7d1a4fe2e1eac8565effd1c16c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 LetDefFun False Passed
a51e7583471755501dbf93961bf5e9b3ac428da1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 DefFunRecursive True Passed
bc3cd7689ccd12ea49a140c2b2a0ade50b79f66a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 DefFunRecursive False Passed
84ba9279976aabc22cef6e0e8f33cf66bfb28f56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 LetDefFunRecursive True Passed
30f7e463037c2cba035b196ed90b0b71c64d90b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 LetDefFunRecursive False Passed
95fa2e9e156ef35a00f41b07620a5e8f2d0f42e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Def0 True Passed
a4416e13bb1a795c9e033015aaad6002a6c9bfc2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Def0 False Passed
b0f6e340bebcbe08bb70c83d10d351f8ff0d4b42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 LetDef0 True Passed
51f8c1bb933419c7e867d5daae0fcbb6bce72fb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 LetDef0 False Passed
30837f2a8b41e5e7540950167fff8ce4fc7f9ee9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Def1 True Passed
057dfd0e764a1fb2417f2936a5a3073cb35e5d8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Def1 False Passed
331f718838fdec8745adaad8a78ac4ee36c177b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 LetDef1 True Passed
db07f8b5f3cc5c3dde8f37f66c5df50091f91c0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 LetDef1 False Passed
a1fc52d9bac27f6553365be27c04968b24a582fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Def2 True Passed
d7149df749939f4e34d75d92c1d57a11d8a4e76c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Def2 False Passed
b6e5a731fcb46c409652a8bf63170918686b0424 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 LetDef2 True Passed
c932cdcb855ed4b71d4c07a7e8273a48a0fa7f98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 LetDef2 False Passed
ed637a0cf718c87abf5bba6a41c22cacbf073579 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Def1Recursive True Passed
4970bcaec62a103cd98d55db12e125f9f5dc5f49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Def1Recursive False Passed
91198e04c1e22c4c5d4f968ed5205f86f42e8c3a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 LetDef1Recursive True Passed
a16de271ced3b18557359cb06bd4f4feb56361ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 LetDef1Recursive False Passed
1f23bd3264f72c9b4da672f43f6a82d5309fbdc4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Extends True Passed
e54abbe74b300b38355c0e638cf67ee1a653b1dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Extends False Passed
6b483c8e99bfd56598d8477c11ae888ea0d451d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 ExtendsInDifferentFolder True Passed
60aa3617909b468b9e004b6d54b2cf5110879b73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 ExtendsInDifferentFolder False Passed
04d6e0c85239655c6ce702d06f4bb6392eea3109 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Variable True Passed
548e66bde2998b44448900c357c4dfd5b1e0bf97 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Variable False Passed
5465020643516902d9284670ed9b32ec76f265df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Constant True Passed
9905fdfa8d199e4d4530032eefc6a53f7c533bc1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Constant False Passed
bfcf60ad06068dae6f8035dbad5821fc387c1b07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 ConstantModelValue True Passed
14aaccc9980aafadb2ecca2fbf30c27151cca0b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 ConstantModelValue False Passed
ace947b9e3e3d1afd69deec18cd1a5487d345c1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 ConstantRank1 True Passed
cd4cb269bcfa7d228fcd7ae0e145e55756d7d1c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 ConstantRank1 False Passed
2af72b8bfd00b903ec693d3984c90f8cd2fd13cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Instance True Passed
c866412634f85efbe86a4ac8ac50b4a78ad439d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Instance False Passed
b18c3d0413eb7d2090493b6cee45612fe5664699 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 InstanceWith True Passed
9eac4cfcee1c87620b2eef5cd2cd50096d422977 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 InstanceWith False Passed
a749d291dd7eb6e176237e9f063101f934fe2930 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 InstanceNamed True Passed
cd3b396a65261f6ed118d7ca1dae800bbb344068 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 InstanceNamed False Passed
f462e1f7080bb95e0c67bd07ac54eec11cc62bc0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 InstanceNamedWith True Passed
aec10d96497c3c5812c5c633321efbaae605e06c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 InstanceNamedWith False Passed
ff2fe610423d2068c981767ac6bf40802ecb59e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 InstanceInFolder True Passed
df9c7dd8b93348816a67933ab00001547a8b543c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 InstanceInFolder False Passed
7a8092d078d467cd8e22cfcfc169912aa6345d65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 InstanceWithInFolder True Passed
5cac22886f93927692cffe4fe5e1f71b4693d463 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 InstanceWithInFolder False Passed
7eeb5fc237ae84c1922b2cb971d9e09ba62218bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 InstanceNamedInFolder True Passed
ba14240cb4d37db49698f7b841476cacb66fb510 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 InstanceNamedInFolder False Passed
316096ee1460513c97edb67ad228fd956dcc03df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 InstanceNamedWithInFolder True Passed
c9bb991fdc1c7898a779edbb0c0944a9d43b07ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 InstanceNamedWithInFolder False Passed
aa08676505314b76b87e367b02df54e6af00dddf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Enabled True Passed
1852753bb58d17e620a4054f22b49d6dce567857 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Enabled False Passed
a0010f82624b83188650a4b517a47af019455e6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Cross2 True Passed
dc1e7b77976f79ce27fe60ce1d18e30b7691ebc3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Cross2 False Passed
d0c01ba84e21303efc2320696a4de2480b272221 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Cross3 True Passed
fc089cf0a64eacc612666a1187f01e26002997e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Cross3 False Passed
1eaccbb2e5c2c89c48ec68a075e29b0f788fc721 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 FunSet True Passed
27333c20cf874714059e9bd9f8948ae2ef6798d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 FunSet False Passed
734464359e7abf95ed1fcdc1d974bfb17e5821bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 RecordSet True Passed
865fdeef37942a744afc74c67586efa269bbd6d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 RecordSet False Passed
5f53a0ffd30418192ef51899c2d62ff975d9fd6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SetDiff True Passed
050a19f4a43e3ae5b9e3e70c6343f406cb2914c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SetDiff False Passed
d4e3dcb00f73df4aa2e6aaea10ea9737bd77c0c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SetUnion True Passed
fa6257308d7815f4f8eac6a9a40f3faab50c7d72 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SetUnion False Passed
894b5949013a7f65c12a246d043b5c07624aca26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SetIntersect True Passed
b68ae36c6ed97ed49a705718adabecb68a8b05bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SetIntersect False Passed
4f66fd0adf62af84a08ae15aad29c6a2a2937f3d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SubsetEq True Passed
19f57ec940bf80fec756edeeced38555c07ab685 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SubsetEq False Passed
f6da6a2af42c7e236da01af676533b3a2c469ed3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 IfCond True Passed
90845b4c9594386eeb4f8b0ea80ca74260526b15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 IfCond False Passed
4ca25bd1c93539650ad521210a583e75c0417a38 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 IfThen True Passed
75547633e0a57c2d13ee3a348cd93bb1e43a5161 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 IfThen False Passed
cef43745665ceb6573eb3f784d983421fe02226a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 IfElse True Passed
a512539a2813df7d49b36709f9184630f00e248f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 IfElse False Passed
2e573160acb730b180d02acd3a8a81b5d8552c80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Subset True Passed
2e3a52c674ed561b2ab9d1b69a1a8b48a02a9aa1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Subset False Passed
efc1c6d30e745afcda39e8de61d74b769a59d033 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Domain True Passed
4263e8e2676aae3e62beec88cffaeea236506be2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Domain False Passed
5b33d4b73751a064f98223908be61af480e8a838 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Union True Passed
08a80c345d345d80065d94cba374154bc5751b03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Union False Passed
a64f0567e1158673ee081def6c377c622ac262ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Unchanged True Passed
266c95234cab3f30bf396646d25a3edabb06464b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Unchanged False Passed
e041b54435749578a3b4339616cf48f58eadd9a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Equivalence True Passed
7b6a472a576ab9fa0a8acede6fb94a0d580c4173 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Equivalence False Passed
db3eb737a174bf32a5e63a9924e7ace842a5322e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 StringEmpty True Passed
aee34b9fc44ec3e8f29fae8dede11aeec3425fee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 StringEmpty False Passed
c2568b515cf9aa6048c7562dceb669bfb794aa69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 String True Passed
60f43602bbfa832e834d0ca7377c3c26c11b3b38 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 String False Passed
720e17bb948a3a078bcd7d5204f6fa6670990c00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SeqLen True Passed
f14cafd398e189788401683f6b8db596d6bb32bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SeqLen False Passed
c252831a55d2e6b032aee7c929844eefada8eb6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SeqConcat True Passed
4edd82d9c31a96a0d2514426130b0d943c56c8a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SeqConcat False Passed
0ec1e99dea5c7f457dcd2ae1db06c999aac5736c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SeqSelectSeq True Passed
2eb9e5499c20532d0c5c193ddb79c76c3809247f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SeqSelectSeq False Passed
cf13ad67e74164a8827d7bda198d978d65ad4867 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SeqSubSeq True Passed
785da70d6f7c7bf795c86b7199d627086f4cd95a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SeqSubSeq False Passed
716687bf98cfa9cd2417ab0892c3e73ba19dbe7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumRange True Passed
12cfcc89f10b992d6fb732e2b8ca74d36e884120 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 NumRange False Passed
4d50e3f95527e73bf4b50b9f456bdacb2456c055 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 TlcSingletonFun True Passed
a5d7e0643fd9d297f52d55fda157d814be942424 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 TlcSingletonFun False Passed
10f50876666871230cc0d2ed6458f70f50643141 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 TlcExtendFun True Passed
7fda4d1aac4bc0940a3c457f1dcc130a3a58d52b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 TlcExtendFun False Passed
ee5444ea09cf8921b0a20452e7c36343d9bf97fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 TlcPermuteFun True Passed
5523e88f692e1c914870058ca43d8e9fa42dd6fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 TlcPermuteFun False Passed
81fb05458943a35dc6c4f6afe9a0705524c21285 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 TlcSortSeq True Passed
51a94be5ce0b5e9c073d2bca1f21a24199f3d049 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 TlcSortSeq False Passed
fbefa2d6aef7488b936592ee7927ea227346ce80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 TlcEval True Passed
58979a9be073db04bada439b1279d0d3f939e5ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 TlcEval False Passed
7e12f8b40edda7a246519a6c29986201905fc0e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagBagToSet True Passed
193e963262359c9c5de918a3aab071774f24fc64 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagBagToSet False Passed
d0e2bd2cd5bbda938af41ac5ef52b395437716d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagSetToBag True Passed
4d168ccfb626b79cdca4b28cf5e589beb4299ee6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagSetToBag False Passed
82bb952e97d53795871c878117b33c92c99f351e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagBagIn True Passed
5374c849e89f1551025422a67a48918582a4195a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagBagIn False Passed
fbf4112c3477b9b5781033179b64cbafecc19886 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagEmptyBag True Passed
9254c5410c322dc97befcbfb5d30648d81e9e74b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagEmptyBag False Passed
2c4ef4fbb14a9d785b659a15f2f47a4ba7ec2806 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagAddBag True Passed
721230c4de494c3e815af09ade13f46f89bc4641 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagAddBag False Passed
37d0112ad329c242bec24521dd9c943b14bcd3e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagBagSub True Passed
a52668695b2267a6ca84a91a200261105b408885 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagBagSub False Passed
90fb0d486c0f9538ccc02a6a3769d64628b63c6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagCopiesIn True Passed
9b155cdf835543354fa35492dd8ed3dc4829bfc7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagCopiesIn False Passed
a436159c4586fb66486828003a0f3697032e68f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagSubsetEqBag True Passed
5400b7f031a2184289a3412a677428c446d2e808 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagSubsetEqBag False Passed
ab160929e63d21399ec9c9a8b22827bf9b09405b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagBagUnion True Passed
2e0d6848e47e3282633b41dcd52f23732a844ccf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagBagUnion False Passed
8753ea53267dfad5e59fb3c1d13c30f075960e6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagBagCardinality True Passed
d8b7eebe9e3777f26ae17d641593c4babd91d24f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagBagCardinality False Passed
398bbf560fd34283e3c6686966a655a07db3af5d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagBagOfAll True Passed
136d447e216eda0a81b2f8cea03c488302d1d53c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagBagOfAll False Passed
91fd83993094be4f8298bc16e6b37fdb74a367a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagSubBag True Passed
0d1633093c58cdc9ab8cf87a97fb93849e9bed9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 BagSubBag False Passed
ccc0b4e1fa9c3ab305dafbbb60b45b17fc75d4da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 FiniteSetsIsFiniteSet True Passed
fed38c656dd73ec499d0b9717d4ce126544a68ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 FiniteSetsIsFiniteSet False Passed
dc0a1df6bf976797401ba1bd9a8ad074ca33000f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 FiniteSetsCardinality True Passed
25efd897cc4978f9bb734081d28c1d34075e729e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 FiniteSetsCardinality False Passed
9ec6dbc76f5abeb090a88823acf396862c5a4b96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SeqHead True Passed
dd18ea4d82d59265f5f74dc9dc75f8276dccdfed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SeqHead False Passed
e219e1d717b39c22417593e013fa041fd472b549 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SeqTail True Passed
4ab0b0d46c09128d0e2c2c04c8d6e789e9045e8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SeqTail False Passed
95e64e2c0803efd15ac2618435f66339cc79fb87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SeqAppend True Passed
4ee176730855780d1ed36f9dcad83acfab6c2879 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SeqAppend False Passed