Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
f0c74230f2ef81b44d6bdbce98019e80619f4d58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record OneLineComment True Passed
7df1981798cce855d8060c565ae50dd52f69dd88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record OneLineComment False Passed
5ab8bbfa2d71cfea5841f6312c2fa5ae1c3c61eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record MultiLineComment True Passed
2ab9452bebe436e3cc5558ae7ead495346a5c30e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record MultiLineComment False Passed
3060475db3ca461127af2f317c25b0bfecff1c12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BoolTrue True Passed
3c5f2ea2e914e4f28e27414d9f63ae85ce436e77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BoolTrue False Passed
65f815f8c0492f90c26c63b200c40b0356dabfc6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BoolFalse True Passed
7564597c9db1e2463957cbac89d03bc1c91f1809 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BoolFalse False Passed
205ec8318170f76e38551396d21d475e9122b3f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BoolSet True Passed
a155e91222b6cdc94d855f4945940272f5679833 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BoolSet False Passed
4ce4ff0b58f59d2023910b8edb5a3003bd6d8371 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record And True Passed
5530a53a0925d5f460b53c17a546c34125c47f4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record And False Passed
c4fb9cc9cf84188dd2b47b13f598e06f9041fce8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record AndMultiLine True Passed
140a677b1a5737a75197b80ad10dd1593ae8cd82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record AndMultiLine False Passed
0336e5d4795f29c85cb4707c7d3ae2b717ce6cbc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Imply True Passed
50d835c84e4cb3f3f595163046d35969e74b82aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Imply False Passed
744884cd305dabebaf91455150d728220ce73c6c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Not True Passed
471870ef9cdf8373b35424e5e313d35f1fd3cca3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Not False Passed
48001ee2abfbb4daf98f5c64c9e6926c03f90298 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Or True Passed
a022fc14934b5118fd29e28c870a9e04c1b7f358 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Or False Passed
0600a4621df0dccec883e08f7903b540dceca530 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record OrMultiLine True Passed
7930a21226f0db11ede570ef68dc5581a26e3c0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record OrMultiLine False Passed
29006314675776be2effc117455c0fbdf175e47e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Eq True Passed
10cf2247886dc02b78e1dc1d21f16a1f1594d706 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Eq False Passed
6c7f7639a6b90a5563dbd86ac9f816322c5b8f77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Ne True Passed
08022c0717c6a55fb5d3645ea5a66ece150882d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Ne False Passed
c66bb30cc4e108b3b02b8e600b0f028b41aeb981 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Let True Passed
18ceba851bb1b8c41d4a8e29853d4f7779a2feab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Let False Passed
9d9f4f28b3b9fe86213e52904e14d607bef9b851 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SetEmpty True Passed
1e9cbf5ae9d64ff56a5cca78d6b2ac123be6008b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SetEmpty False Passed
deee062990604bc1d49fb6195ce0fbe4a18bcd69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Set0 True Passed
8f71e7103266562a9249d557c4ddf868582c4257 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Set0 False Passed
227d7f81d137b22243397440d16ff5b97d0f1929 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Set1 True Passed
4bb84a1a9e854f5dd5f371ebcf77c220839372f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Set1 False Passed
9799e4ea4612a79b3d2e7a609b4191f518747507 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Set2 True Passed
9dea03dfe6fb1ea3a79f44c633d9c32650700207 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Set2 False Passed
834706dbbd3bf11d96a20de50391229251d2e425 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Fun True Passed
dc031ea8f3b6a9cef1a55b8986bc18597f90514c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Fun False Passed
a48994bba773a767c0fe832d144495278f08ea61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record In True Passed
79ce09ef8b4464a993654fae6a77a5057569a816 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record In False Passed
76ee8878651acd3c95f531a274115d83a7257eaf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NotIn True Passed
77996e9412029d8d970c6f0f006fa84b5fc93a2f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NotIn False Passed
7772c6df50dee7f65411000c345a0ad2587b73ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Exists True Passed
6ab544515af0c83b42f531dc89fc8d00a0c42b3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Exists False Passed
d59677e0ab5221b41db132ea3371759b24764fdc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Forall True Passed
06affd410c4a6f8947336b56135cd0fec91625e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Forall False Passed
5c1c2c55acd9497278bd48b7eee7f9f1c00c8616 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Choose True Passed
08119ff2bea90308ece2db8289405277b76c8343 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Choose False Passed
d20fe3bb6996c0f23edd8a7dd9b0a11790dd9c76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Record True Passed
1ca7ad07cd049be95bda3b4126c15e77b0a3c32f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Record False Passed
afeca293477e5b5960b80ab1dcf19f0c0604349b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Tuple True Passed
9c0eb260b43b1d5104a624a2cb90a1ab19f02a4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Tuple False Passed
d4a853552fe54883b741512f07d9a3ecfb363332 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record TupleEmpty True Passed
09dc4bbbaa4acdddc2853d3ebc9021833a28b044 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record TupleEmpty False Passed
438eff9e2b5eff2239938d8bf5a0bc5ad9629d70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record FunApp True Passed
f9c9eadc015e45b33aa95a850dd3b03ab49912b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record FunApp False Passed
3e64ab94ac43909237f1b25834226646e1117f43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Prime True Passed
2796bf53de6f03515a8cdd205121e3ad81ed13a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Prime False Passed
da1f2fa39aa20f26f288b72034e710ac86b9e912 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumZero True Passed
2abd2f7ed706028f3d2ccb94c744d91532afae61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumZero False Passed
1b66f27089ef30f5b1fd8a5c1dc9f532bd0d8d9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumOne True Passed
69fcce5dd4058c289ec5bc6fdd93af39edc683dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumOne False Passed
3a38dc0bede9383a71861f33267edb99c0f30507 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumMaxInt True Passed
4a78c863b8b7cd4b2a242a9e2cac8f6deefb3d84 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumMaxInt False Passed
fcf0d07ceb9ee5baeeefa6a153ee600c73c00667 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumUnaryMinus True Passed
2056bc2d462cb0b8a7b532a92e67a65497c6a723 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumUnaryMinus False Passed
06803137b7dd82eb181e35c4c4a0f547306361b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumPlus True Passed
45fb4b40b88f1fc1071850a06fef5ae0aafc60eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumPlus False Passed
dfd8b2b7f8b14e03b35aa0d1a447b21000881e57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumMinus True Passed
be46c48552f4493fdd8d0db004e296621f173495 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumMinus False Passed
c1ef4add08c77820bf28b69e0120747689f6ea90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumMul True Passed
95d4840bf8c5756c79975bd5194e6194e9018c1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumMul False Passed
4d037b1e39d10c8f43425b2f4fb313d832233a06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumDiv True Passed
ad1a031b6a94a578bcaef14198ab86291d8cde60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumDiv False Passed
32325ee8bc721c882254eefa8428c5cb2a5c434d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumMod True Passed
3e6342c26d04926fd02e6659b6b82f7b0eb6afe8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumMod False Passed
69fabdc892551d4ddca62bc5ba956baa9bfbd5a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumPow True Passed
351353cde4968b44d6eaa45fa77cd03521b499f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumPow False Passed
e58ca6f24d728613203f8e11bbdd68b342740b84 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumGt True Passed
21449cf8b6867e429cd7e1643d0449d0484dcf01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumGt False Passed
0fb391939397ecf78949512966dd2420576c95cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumGe True Passed
dd7039a097800772b5370496234f528679f39204 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumGe False Passed
98c549917da39cc0fbb9b68130164984bf696fec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumLt True Passed
674bf530531db4eb3b7cd7413edfe3946b4c77ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumLt False Passed
d530fe3e30f6fdf623155b7f84507e978ffc78fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumLe True Passed
351cd058e63815c84e8b254d4f08a8e258db89d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumLe False Passed
9db89970b7bec579ea0055bd159b9d4b82f51e8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record DefFun True Passed
9a89783bcad842e8ddbd7eb134dbaa259fc2ccc8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record DefFun False Passed
eadb122350e5f71d3aec957b93cb3ef700f8b62d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record LetDefFun True Passed
3b46ba655b4015df5b14ca0a64a414e2259b212e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record LetDefFun False Passed
a4621b10d9ffa4ae730ccb057ee6a509578246c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record DefFunRecursive True Passed
ef229cee681351f096281d2ea6c2ad39c293f97d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record DefFunRecursive False Passed
bbdb38bca3c8eee937b7d24cd3f4ed104eea7488 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record LetDefFunRecursive True Passed
2cea16cfa118d367bd38981ba8e55f615eac076f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record LetDefFunRecursive False Passed
2ac53d877ee8078a620647d78c03b00aa2d4cdb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Def0 True Passed
a9fca5fd54fbad901de95503e4e6a000a748f689 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Def0 False Passed
2185319946a22e878488f31e069f11f1390cf2b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record LetDef0 True Passed
712de7d2b762cbd9d887db821a347e1f6d254014 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record LetDef0 False Passed
4fc377e30c3e62b3b855db8f50b370d73e20f71a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Def1 True Passed
90c1f6c8d7f543135302bad2e0441e8ebc0e6590 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Def1 False Passed
bf19d02c11210e525489849a57b8c2a7af0a4a46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record LetDef1 True Passed
73c24e06efde2aa730fac2555d505f8fa4a4c404 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record LetDef1 False Passed
d36457285304d922524b712ed7594895c59ab44c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Def2 True Passed
de075e9f4a7d739047ba6c8a6a5ad154dd707116 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Def2 False Passed
248a9184fc46637a8e7adce4a9e7a73deadf17d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record LetDef2 True Passed
0b607073d0be66e4b3469999ba8e280cc6c47453 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record LetDef2 False Passed
1baa203f2f56e125086d87b58dce71d7c6363f4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Def1Recursive True Passed
d218635e8dbdf26a433605704e419db79bf6d4d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Def1Recursive False Passed
da2e514fe245aaa41c82ee1ab1a27faf23f57c5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record LetDef1Recursive True Passed
99c47597128e05cf65150949a385800e46b12f36 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record LetDef1Recursive False Passed
cc9dcae17f0b8f6f8e4a9cf7d915f195b5401404 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Extends True Passed
4ecf325204600a2ca7485b3cf51ab3d17a26b09b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Extends False Passed
407b7b650bb9a106dd4b5a23cf0a44e5e6594cf0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record ExtendsInDifferentFolder True Passed
4c2b09db19b4fc40a53b14851187fea9d1722984 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record ExtendsInDifferentFolder False Passed
1fb248b6057784809c082932b8af31ce400cdb26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Variable True Passed
f040639de0d36c89da7cbe887c8206d623b7f915 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Variable False Passed
2b7296c3929f59392642336c18559417ce82945e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Constant True Passed
52cc3f1d4a2b9059e49552658da7fe1b95a81b32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Constant False Passed
9095077980623a38c90e2eab0871b29826ed251e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record ConstantModelValue True Passed
a14c664336100c49e98339ba1b43b24730aaf072 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record ConstantModelValue False Passed
f53a0f0e36d668ca7b8fc8305b691ce1aefcbb58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record ConstantRank1 True Passed
a7b7b90eac2e090063882a7e1a325a221548bf44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record ConstantRank1 False Passed
e84745a1371afa95320e57cc81162e41bc4069b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Instance True Passed
9547540759413076670bb77d8c2c1a6ee7e33629 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Instance False Passed
8e7f2be866fd72b5a737c1aaeb43c01c6fdc239b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record InstanceWith True Passed
7ac6bd9288177310eb04bb8b0610e39cbe2cad4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record InstanceWith False Passed
a6398f956c6f0430416c65607c4e385761abdf3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record InstanceNamed True Passed
6b0e8218566f5005dc8d9225440009856799c3fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record InstanceNamed False Passed
3c2ccf1e5276c982c46ca578cca7573ccebcdb8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record InstanceNamedWith True Passed
0dc3e2e4d051d62984ebe0039d9b31ae16afac5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record InstanceNamedWith False Passed
36d09be8b410e7738532babe69b840f734814c15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record InstanceInFolder True Passed
03058f5839a448b8d1ce8b807b79478124d6a3df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record InstanceInFolder False Passed
ebf93bfae4af39829810fcf9affa27511a571101 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record InstanceWithInFolder True Passed
211d274e8e57d93d1f87af23f4326a15426d14a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record InstanceWithInFolder False Passed
0b1b8ad219f3cc5530cfa769bdbad0f21f09c0ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record InstanceNamedInFolder True Passed
a212ea4efa23b4110deae860f0b1eefca75d79de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record InstanceNamedInFolder False Passed
c9244271e6af48dd73b1e56dccdf3f96f92ca9ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record InstanceNamedWithInFolder True Passed
537e126f2686573a476a6ba3592256277d5de2a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record InstanceNamedWithInFolder False Passed
9865665690a14d249dd23887fa634915fb2855ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Enabled True Passed
f5da7dddff14ad8e0941beb5086aa26cf82c1828 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Enabled False Passed
b6a71065e8bba7f67346600eb5b69f2becb685c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Cross2 True Passed
fd39b0f63c7ae4c33f7cf84bd8ed2ce2c8a3824b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Cross2 False Passed
20b20610e414952a4bde779729c9072b33c925dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Cross3 True Passed
bd402d938425be954d9796c6c13f76de619af622 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Cross3 False Passed
b2dbd27b04a6354b97c5d83cc246856e922a9ae6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record FunSet True Passed
ba738e6c1d048256d6f07a36430f62e2398d9a14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record FunSet False Passed
7a49418c35546f4b32669e3973559dcf33a9f133 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record RecordSet True Passed
1dcf15e7ae9fc32f4cd6acef32f10f92d7a559f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record RecordSet False Passed
948f093baa2e659cc7590143bd8b428b5c871232 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SetDiff True Passed
1b1ccf743babe477641c7017002582d0c2bc2694 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SetDiff False Passed
a9d217c3e3a2c10a240eea2dbef36232b2672716 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SetUnion True Passed
a11610b1b6c8c9e6e8452e174a7b3dd5a6b02f2a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SetUnion False Passed
e6286a875590f3a7375fd8181226684579804720 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SetIntersect True Passed
f8d07544bec8087e1464ac0cf7db91387a99254c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SetIntersect False Passed
4f2b6eadf6b4fc79cb11c1b433aa4d180b23c7cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SubsetEq True Passed
7c50ee111c17c7d4821c9183668977855a51026a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SubsetEq False Passed
42d52ec33561166630f492461e642f7b990a6f82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record IfCond True Passed
b31cdd040c1cc606288072cfd303db65e0df9afc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record IfCond False Passed
13a58a578f44017cf3d7db3feb4b450234d0d59b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record IfThen True Passed
29918be12594b92408f0a639902626a6a8d23c6c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record IfThen False Passed
e3bbfa7bf9b9885c6d0fce1f041e7fe07ee81f40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record IfElse True Passed
c838c1ae76a3f5415023b619888b3ab0fc9aca8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record IfElse False Passed
f40eb4fba3435b771f52f2cd0f406eb1897436b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Subset True Passed
c491db624c3d7819d6aadaa8a7cd7b9d1cbf09fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Subset False Passed
c07373abeeec2d2ef46a22d15db2517d64fd6ec3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Domain True Passed
349445d606d8b6d764fdc105db6cb263108b0b5d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Domain False Passed
9acc56717ef30a5bc5992e2e4fb85e921b13930e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Union True Passed
142eadb4832ff88b8870aaa5af561c229c498480 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Union False Passed
3647e5d2891a01818910c54948d92feb151db25f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Unchanged True Passed
a72cbb031eedaf55c1fc94ec830e090ef3463a58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Unchanged False Passed
54b6aa671006dacc76fc4b3992150c24e48f2a78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Equivalence True Passed
c8a7995319ea7584b35102b85f7ef4f63ae2bd6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record Equivalence False Passed
2d38d98ce64f44f1fa137037328ea24e66d1ecd5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record StringEmpty True Passed
ad6f32eba3fbe59ccc8a97a418cc9d0d13d20a66 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record StringEmpty False Passed
8cada75e7b1a1f68f764b75ff919a14eb3eeed3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record String True Passed
c498f909a4a67c778d3e8c287333da97d341b0e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record String False Passed
bfb4ee3165185a4fed266537b89d36f80bb84402 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SeqLen True Passed
6d30a970647fd4ec442352cfed4326e6cf0c06ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SeqLen False Passed
ee042bd9a62e6f3e5f7df5b1ae442a5c49643f08 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SeqConcat True Passed
8fcd7a0d38fa6fabbc20289e6e0592bb1651ed80 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SeqConcat False Passed
29cef74fce5d821919d879178d08dd68702d6c69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SeqSelectSeq True Passed
5ea9a5043059ced6088c34f014fe16acc02f0a76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SeqSelectSeq False Passed
ef46852aa5e7e4d0a732b285da04d46375b14a9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SeqSubSeq True Passed
da857fd62c77d4c49a83eadf658d34424612be27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SeqSubSeq False Passed
0ac94539002e8c3b7f56b7db6638fe9a3272c427 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumRange True Passed
5ee21957d2bc632748f667c13cf6200890c808de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumRange False Passed
e0067ac8c1198956e7014830dc94fbabfe1a91c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record TlcSingletonFun True Passed
1e92964eed162fa239170ce5b4665a07bb93900b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record TlcSingletonFun False Passed
2ec1d89fe95d4648eb7c1bc4fca3774d7128ae70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record TlcExtendFun True Passed
31bb92cbc65c68ea459fe9b25958b2391e908fe8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record TlcExtendFun False Passed
b1dd1116bb7528f113c4ccbe54b1335f29d63ff7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record TlcPermuteFun True Passed
dec2c41fcd5f0b5054ef50f3b4b8da6556319807 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record TlcPermuteFun False Passed
d3bc9cd527109f9297c8d8dccde7c8c604de5882 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record TlcSortSeq True Passed
341be19410e8ca0cd99b126226f2bcca751f0d32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record TlcSortSeq False Passed
ab0d3282266d3f464371b8c19d22637bf03ee772 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record TlcEval True Passed
d92649d0d0663f10ff62344cacbb4e92d1839402 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record TlcEval False Passed
a87da96f565b34d5063c960d8c519981f8d58089 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagBagToSet True Passed
f08a0009dcf5d2a7ddf0b387c613d8b8bd976335 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagBagToSet False Passed
0573b94db4b9a97477261324539510d1f7a91e4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagSetToBag True Passed
dfb7ce7f36de0ca5a37a410cce34264aaa3758ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagSetToBag False Passed
628a181181996e4b3c28c9b1dffd5fcb4cc9c34d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagBagIn True Passed
410e804f7a10c2d279b0ee5db6b3f428b6ef290d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagBagIn False Passed
7f4288d4e9c59b79f6057d8012707ded73923dba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagEmptyBag True Passed
03d4f278095b1680160b6ff972e4ebb7689e620e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagEmptyBag False Passed
425bfd3db19008bee8f5a7463f78e95f8c7de1c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagAddBag True Passed
d3f1d981a5b9a7a80f259d4f30e17090811c6e10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagAddBag False Passed
6b26ca1135c16e5ab54fee6a3eb25e002b3637af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagBagSub True Passed
4d8974552c05d02f5a2bbca20061ee468c8b0ce5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagBagSub False Passed
ee93b1e7fe9e4514cff0c493b34da1fa103cdc98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagCopiesIn True Passed
500b24b282886fb462c2f1a7d1bae0a040b982bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagCopiesIn False Passed
0185fc8b483a2732e1c52096c475b0f3160786e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagSubsetEqBag True Passed
74578c114d5d9dc49c582dffa14be0a30df6d1dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagSubsetEqBag False Passed
110e34de1127ceb4b5378faa04481286d2eb20e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagBagUnion True Passed
9cd1f26d47a4ae3ca3b2b72f908067d13c49f590 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagBagUnion False Passed
4ef7790016cfeeeb2a3d30a7a57721817905f5b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagBagCardinality True Passed
8e63e743642e1241b1a3ddfbcf205e93e29985cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagBagCardinality False Passed
83a699888ed77d7bb6f8d6542ef483422c3ca6bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagBagOfAll True Passed
cafa3e04c4fca7e7ce2398d0b6f0937922836404 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagBagOfAll False Passed
84d87d040a8bf840bac943d4fbfd6abc72a1d451 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagSubBag True Passed
36d5c6da787822a296b37823a4028a2d73766a7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record BagSubBag False Passed
31daeb165fe28dc089653723f165016dd763cdc7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record FiniteSetsIsFiniteSet True Passed
0c76c12b486ff00715f3757192a30225e8763780 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record FiniteSetsIsFiniteSet False Passed
7f567b90e6943405e27766207bf6898f175b176f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record FiniteSetsCardinality True Passed
b71cdad632dc993199f39f70cad2832322578378 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record FiniteSetsCardinality False Passed
8a86c2137824c988605ca7d0bf06750181b133fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SeqHead True Passed
78fc3bde48f111ef5d5bd5904622686919f043e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SeqHead False Passed
fcefb6652ba9bc628d61a79b0fad95559efee19f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SeqTail True Passed
31a67ffc4855c537a5c1627b64a6a4db10ebddd6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SeqTail False Passed
879de803d436aa9d22b796600f9db723ab3f572d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SeqAppend True Passed
a7bb625b81d3ef5cd5eaaf9d04514fe30acf0520 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record SeqAppend False Passed