Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
df7ac9f5c62f4f5a9fdc5507eb875eb9d766d150 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Def2 True Passed
50afd4ba4663256161d407bbb46ffb58d07b7371 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Def2 False Passed
6af919e0f20c3c272f4a06bd2210f62279d9c1c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Def2 True Passed
e11c721ee011974fcd006ff467c24fef69e349ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Def2 False Passed
8db4b272c8cb496b2e6a4558a02b43e143080124 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Def2 True Passed
acdedc263be16006aefb62d7728c2b089ae939e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Def2 False Passed
5793085fdfe7d548efa9eccbecc70187bf362153 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Def2 True Passed
6cfc40c28bd15150403328ed3a8785cf5396e2ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Def2 False Passed
4ef0701c75f7ca8279af1eda496eb0cc03dba324 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Def2 True Passed
dc658c4a6282d53c623ed9e8ecb40fe97a251741 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Def2 False Passed
c3dd68bed56255df23094399c66e2413bc44f446 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Def2 True Passed
ce5ad224bc77f060e1cf79ee41b24e1e0cd05434 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Def2 False Passed
deec5fff7312fc70bde17bebb5579ae05f1dcfbe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Def2 True Passed
a971377dc11a1cfe28f7cca38551bd6daaab4fef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Def2 False Passed
1402edb1945e23971106fa2751f161da416800c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Def2 True Passed
8296941d51935b8cc48aff2819e564ed1aa6c502 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Def2 False Passed
3522ea11ca30fea16e066dfeb7bb69c5332fae44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Def2 True Passed
ef2c11b689208705e5fcfcf1c92579d3b5b6f9c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Def2 False Passed
947927e669aabd37ff16f6f398d3867167b76ce8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Def2 True Passed
8f089c942f2e7daef233b0f3801f05e39ddc92f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Def2 False Passed
66c26434b4dde4703297a9c9f48fd1be394d397e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Def2 True Passed
3cbc248958c2bcce5bd4878ad929e3885e753a11 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Def2 False Passed
45a6524700d3a344a653f5db927e1fe58626ef4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Def2 True Passed
068c75ac595daeed096664bb97cf4fc99060b610 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Def2 False Passed
49a0916323217b65a7db566ba201958a7a03cc1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Def2 True Passed
c4bc03f91c7586f3d29676bba4e1c2f4109f92a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Def2 False Passed
a354c37c802e24ae00710b4ed71f48bf3f89723d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Def2 True Passed
2068d6a4b5d837dc31ffae3a4ac26bf7e1066ce5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Def2 False Passed
5b5557029142425d63bd0344066eaf13a930111b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Def2 True Passed
1aaa9880eba1796d2052941664875a75abcf060f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Def2 False Passed
908d19722938d20184a5cdc852e94217777463a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Def2 True Passed
b8169323b71c57ee279a775dfdbce503b6d4c2a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Def2 False Passed
e35e62e01fa427b8a0ddfe4071c8fdb5fd268029 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Def2 True Passed
457bc8796d5ae5e9ac24837602b25b0263fecc99 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Def2 False Passed
2be48ad1fd27f4ce22fdeb2817d9ab4b3854905d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists Def2 True Passed
e38f19dc0f336afed1020c3d686b6818654370e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists Def2 False Passed
b5d83e01bfdcb0b0a1e33aecaa2684f1b8f27072 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall Def2 True Passed
9f262bdb54faddacfe64e6bc85cb4a749819cfc9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall Def2 False Passed
524102074ec8603bc5d027dd444548d44b683105 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Def2 True Passed
e2fe13ee148db8ca3ca6fd34008f5a419aa5430a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Def2 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
8835ed1829d590d74783b89d28c0d6c4ffb16c07 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Def2 True Passed
d6324822f4a000544ef1d30290ea64f28a8d7f28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Def2 False Passed
bee69e0461e05552fb82cd23b1a8208f240cc4b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Def2 True Passed
d110d0cb621b6b1332c5a11e8f06950dccf5b0c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Def2 False Passed
51169ee9fbf4cd90ae82cf75833f0278bac28eaa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 Def2 True Passed
b666fbb77e32b4779977c5a529da220c308d0fb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 Def2 False Passed
bb1226fd16ab19e3ac61368914c9fbc1f538e8e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Def2 True Passed
c12b9a2769860506899115f09502a4dc4a13f22d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Def2 False Passed
560bf990554485dc7fdffac169a0640ccbc87cc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Def2 True Passed
74122d85c73b5bb247b3518d9746526c3c287e0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Def2 False Passed
d1f7b4013af1ed585599f3fd622b84fdbb504fe4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Def2 True Passed
f787da29c75236d5f2a5e26f29ea73d26ddf35c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Def2 False Passed
2047b64c0d823a4b8fd3a412cccba430374db851 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Def2 True Passed
a7c4821c963cac3db19b73a4dbef86c3d2a1f0ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Def2 False Passed
69156ee8bb921d2f4253c710a83e62e830842132 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Def2 True Passed
52a0cbc23b17adbf85374afd44191b8065459941 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Def2 False Passed
1721c64d2080599aacbb59633ea4e244cb3a23db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple Def2 True Passed
c6c19b9bbe0db84098a5668bdde6f27e349dd0a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple Def2 False Passed
6ab7afc0ca2c02ef433b01d14c38d37c6c7189d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Def2 True Passed
4d1f17a72498c749adf99afad899175a1dca878c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Def2 False Passed
d849fb5298ff6a6b7f5d0a6965ae3b0a7a68a0d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Def2 True Passed
b5e7c27e2131541f45dd2c705cc7afcee34a7ea3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Def2 False Passed
280f70c8ad91571253ff20b8f9c4f66c29fec0c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Def2 True Passed
cf97fb894abca3bf67aecd18f1e4bda4049ea362 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Def2 False Passed
9817d07d8707bce793fd965889851b0e0d459171 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Def2 True Passed
fe0f6c0d86e9fa0d01dd1315616d1f96ff11d18d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Def2 False Passed
637ff0c6e43fdfb473cb8a85aff4257f665e1f56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Def2 True Passed
3bc7b47a7574802ca90b9a5059f8007b2c998d4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Def2 False Passed
22562b481c94f725a43a74c9439841a2d79f5085 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Def2 True Passed
077ba08a3cfd425fd7a7836a19aebeff6631c127 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Def2 False Passed
9df3a4dad9e0d65a60d48179b319ce398960c219 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Def2 True Passed
8bd8ba07316cb1133baa806dd8cd0c3cc0c58412 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Def2 False Passed
c626c2995f82573a49d43b9046f18796ce75c7f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Def2 True Passed
52b6fa5f5ab73341a9b1fc05620b53254b4f3867 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Def2 False Passed
cfa2ec2f2c13136e78fc94604b7c3f65cd34164e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt Def2 True Passed
37a74e77aa465dd727db0e697e5bb84a41f01ec8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt Def2 False Passed
2f7b3a5a3a1a391ce1c8009073f25292bb294a13 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Def2 True Passed
99be8a1653a8d29f7a57d510fd41915aa9b3dc3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Def2 False Passed
475a6401268d7f58dc1685cea354b90a1f4c1b80 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Def2 True Passed
ab2ba864d575c2dd52c1c16794b0d5aff1223417 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Def2 False Passed
6d0585851014f3032e0ff16b5de146308c674ff9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Def2 True Passed
6bc67d4d31113d1d7925920a8eb133aa4e187e5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Def2 False Passed
5387450e8ee028f1211e7bb8fec8fedf0949a5f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Def2 True Passed
927b39c0621543042fbe0b79da1b5a62a9860759 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Def2 False Passed
1ac4ac5b14cabdd79805fed8245310632e196ef6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Def2 True Passed
eec272326e20b96f00cdff111ad7ab4850ab8741 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Def2 False Passed
087c4c8692ac343e4adaf3d5201b4d6541fe09e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Def2 True Passed
caa4dc68dd2b07eb9275d32567770d2f71ce60df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Def2 False Passed
c06d07af05ca55c76109a991b4251309d55f4550 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Def2 True Passed
2652168536d51c46ce08a77cb3fdb49d2322784d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Def2 False Passed
e5dbc03d63eebac89357864c54740bd8a52b9d92 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Def2 True Passed
13e750752156cedf67c97fc87d9daee04903ba00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Def2 False Passed
12978d074d5733a16a5750de004fce763c90d428 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Def2 True Passed
a95548fb29827819a5408de50b88cdad14c21b5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Def2 False Passed
dfb042a0ea234dcf43249da83eb7e62fa4f60e92 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Def2 True Passed
215b85fba24d26cf620a3c9abbe6fc9948946397 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Def2 False Passed
13a9f832c5c72f9bfdfc1c710525c6f5dd15be78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Def2 True Passed
d69e22602827b34e4fba6a58a5eb9da15d5cffaf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Def2 False Passed
c2d3ae0ea8bffbf01fe71872b27a098d566a3b02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Def2 True Passed
60cf9e9e81f2d3d7e85a50fcb324a72f362c3689 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Def2 False Passed
6be17a31e0d2ffd9afaeea117cb0d4e852c93dab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Def2 True Passed
ef111590e6f09173688f3856b89f7de9ca2eadc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Def2 False Passed
905668082a25c28acbbcc90ec96d08d4a4715e52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Def2 True Passed
a900b9e60e75dd4454f2328d9cdd7aeba605e5f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Def2 False Passed
0def3e6d8b867dd5e6f99e2aa99467bf2668cc43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Def2 True Passed
6d81c6075a71f29db4b8a60ec655cde0e676f6d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Def2 False Passed
78935836b21ebdd5e074bd820d97eb5500e5f4e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Def2 True Passed
fb587e3b58d3a41d20251a5532bf959517afad66 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Def2 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
00bda085220bc9c34963bbdcc2e5c8acce9cbe38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Def2 True Passed
21dcae2d99c32bcdd097b9a919913e62b7f75d8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Def2 False Passed
1c07063c6e0c97022ef099af162e7c08f7ba78fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Def2 True Passed
418b46f41a02b80b0dc2bc076cd697ea59c6b06d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Def2 False Passed
fb452d8467e2eb3af97e5b91d7d4954cfc91603d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Def2 True Passed
6eb0962bcb5db4b30981d922ae02fba762ce56d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Def2 False Passed
b04fa1c996f006b37e58de9b19e7cd20fe469090 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Def2 True Passed
dc1b59f62786a65f89e1c70027d16284ced84fdd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Def2 False Passed
55c993d340e351a8c208dd5891ab088c260b13a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Def2 True Passed
856732588e31c37ff0d2a2e23c5a3b1282c4bbdf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Def2 False Passed
f43ed64415acd8cdc845fc266df4ba5fdf30ac3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Def2 True Passed
84f9eedaec18b7ef25f88a5ddb30efe897f94afd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Def2 False Passed
4b38fff219936bfeafb7160fba6d1a3c63f1fe0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Def2 True Passed
d36a437aebb0f10f57bec9ec85dd1c112d4e5a3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Def2 False Passed
eaf99072da640a1718b190c53715623da4ff96cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Def2 True Passed
603c7d45f32013bbc0b7a46009a1be004581da97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Def2 False Passed
6628642f7c54b91b9e82aeb8963b7b1e10f042e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Def2 True Passed
f95c6d5ae22408fa9f664a7f15d3f4b8c6cc80d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Def2 False Passed
eae9a2b292a45ec473f9ed6eed185f59497daa91 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Def2 True Passed
3cb0c39064ae64492419f5dd0224f12207a0e46a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Def2 False Passed
a5fd2f6cda15bcc4093b012826081e45d2616875 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Def2 True Passed
fdee00e93f55d31fed19303a5ad8a6adfdc7a9ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Def2 False Passed
2d639dc59cfeec1d38e1108c9b66e3f2d8845cb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Def2 True Passed
b3d7af4eab6995dd5b754ed69d551482f1e6409d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Def2 False Passed
cd3b5f90777bca1136c7e8678c6c85efa24cc442 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled Def2 True Passed
60352d9c9e1eeeb7519ae66f68c8769618e39d5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled Def2 False Passed
9f4febee0422ccd59496bd72c6d5602ccc0619cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Def2 True Passed
dffd099343b60bd231924c73b77c2f49db2db79f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Def2 False Passed
bd0c3f1919f35bafbe1cc6aceed6b5acba0e8aaa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Def2 True Passed
0765ead193355e45ff83ee3f7336c7692c0a61b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Def2 False Passed
23401dad482e74a44ee265d7d6652e0f5eb58581 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Def2 True Passed
e6037028e2681ccfa60b6320ab12ef84b1d8795a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Def2 False Passed
f4d11f243d0c0b2912a74d6ee66a3610087612fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Def2 True Passed
dc2ddb8e8632a01a580454c56b5c68a5c7174ece TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Def2 False Passed
51f0fada82de278e9ef109e737e2f37e13c500b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Def2 True Passed
b20de0d429435282040a453772918382881583e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Def2 False Passed
d2ebc1ab847fe54f102c562b91c0c86e350c1be5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Def2 True Passed
f9c4e878da080e5d7ecfa2c7d830bbf280140183 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Def2 False Passed
4a51d3577f13802e36a0058b9383f1ed5e86ac17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Def2 True Passed
52d3184f06a681a1aa30636c44b1499d887c93e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Def2 False Passed
badca26fa76dca7c4a97e5ae1fbbddc65817b9ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Def2 True Passed
1696f9464b35fe61d632258dc86a4a6ebabb5787 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Def2 False Passed
aa3231e011f95dcbec1e71bf49246096a5d08753 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Def2 True Passed
ce973c68f6750c70a84a382d6762bad4898cb9ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Def2 False Passed
a220158186f2fe49d61ff32bd4b92f7200ca1e87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Def2 True Passed
9527eeef97486f5dd5fb15cbec246d6fddc89d58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Def2 False Passed
42ed71e5f8f900006aba564bd2ffcab5410f08a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Def2 True Passed
b96290c6aba4f7ed30d5e5a3dfe652cbffea6d96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Def2 False Passed
1f61b99ccf5d02cb8e14638faba90fc63e710414 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Def2 True Passed
90102d899874dbdd06a9daf3a617a38b783b0c8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Def2 False Passed
67ddfba1e6b2d9cc150cc15cda67bc07c49566c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Def2 True Passed
c74fc8436245b51377e36dfeca5ca721de4b07c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Def2 False Passed
8b31ad36f4c56bb621beb246ec43161617af4216 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Def2 True Passed
1a7835612a9bb4d95ee81f793e95603fea9c652b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Def2 False Passed
acd430e4e272714aa2e6224214f27523e5908691 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Def2 True Passed
89e45641dad86dcec3b768f70885ff452812fbf6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Def2 False Passed
539534f3b024fdf44a1cf8bf030821b2c6c3b34f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Def2 True Passed
ec30d4bd248b4caa6576eca5d7281a8c6c5cab01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Def2 False Passed
9ecbc44b0410ced03a60060544d1a4d76df258a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Def2 True Passed
91590ff839bbd3cb346b30fd42f58c93862c9ac5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Def2 False Passed
cc96ead9843c49c7f81855a70c98a28857210018 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Def2 True Passed
b44e34fdbfa331260e1b676e4b600fc96bf0d4c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Def2 False Passed
70588d2d8ca8ed077cf395ad9302b6cf2ce1ad65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Def2 True Passed
47e0eaa3fa48daed93a4f111bde72f596156901d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Def2 False Passed
9f982fb46cb82ac1a4f4cebadba70c8bbc266f1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Def2 True Passed
796cbc5a4c2e7fd197f79040b8ad8904b99cb811 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Def2 False Passed
a26a5ee97eab300ede68673cb492810da0f4a49b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Def2 True Passed
21177a903758f0c52d0d25102a4cde1f587dbd50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Def2 False Passed
60f3c9aa032bfb129cfe2b433ec8b303093bc36e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Def2 True Passed
1f23858b55e2dd70ec3e34ab7c8ff667157e5954 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Def2 False Passed
a9fe91ee935fab6b423de6e526908a132f46cc03 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Def2 True Passed
911ac33c3fdc8511331a0c120f705446e0a1f6b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Def2 False Passed
5a1f859bb744d59da3b548bbd17250d2b4c97e05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Def2 True Passed
7aaf10d0affc00e8c9efd95ed281837a726ab02a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Def2 False Passed
4818925da3a38e098a4e8dce4dce08e4eed38247 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Def2 True Passed
489c1b6d2b7db2a63d50fe693380c385d73ed2be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Def2 False Passed
f7728939dcad4bd71ea54f2d2b08f01892a4b517 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Def2 True Passed
daeb2c8d399332231ceef6818e2a691541b1a442 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Def2 False Passed
44c1e6fba390088090689b0fb5ba205321304791 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Def2 True Passed
08a975fa78077ffac73570067dfdac5586fc18bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Def2 False Passed
d2c4d73c5533324001663ec26861146f68c79f6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Def2 True Passed
669313148a551e11d04f12e57b76376b60d3c473 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Def2 False Passed
bb8193ae030bf329fc23624d440946f2fe066b0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Def2 True Passed
65d9e0422fae754ce73ae073ca3fb9ad07de876b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Def2 False Passed
ce21a42f5e89869ee896baf6e1918fbe2dc89803 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Def2 True Passed
0441ef75fe2d26d50a470353d93e4bd854cc09f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Def2 False Passed
450d83bcfbbe919636a13c7fbc282d5bad569613 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Def2 True Passed
67494ff1880b9c89e0448e1d254338793d86552f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Def2 False Passed
fa5e7e1c994d60507313780aa7adb5afd9f6ac6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Def2 True Passed
3f5e892d5374c466b6a8d918acdf5009c3fd1f0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Def2 False Passed
f9e19c6145a70ade0c6aa3eafa3824ec46c13f74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Def2 True Passed
43c276cfb6aa6656be8186b978f81ae612ebfce1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Def2 False Passed
15107d7ccdd4ad6955287ce6ccf703ad60d98533 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Def2 True Passed
efc3eb457a07638906f71a9342b233d4dab5a0a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Def2 False Passed
881b43aaa9449ca3efdf3e099f7976842b03812a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Def2 True Passed
9f8a79d9e454c5ef2ddf04b6fe9dff75c6fbf6d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Def2 False Passed
67ceb207c28d42fd0273a1193793768b3645233c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Def2 True Passed
d7a171d0eec1496b17f2feba22f3d04c1c19518f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Def2 False Passed
f143b48afef8c31fa7356297a0197a44efe08a71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Def2 True Passed
4bccc196c492a6780fd6c8782cf9821accd69d78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Def2 False Passed
6867cc365483309c13ebd72afcbff99656d0ed22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Def2 True Passed
f007573f97310928f61cbe6125174540874290a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Def2 False Passed
e3388843fb057f99dda0fce2933483ab9742c608 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Def2 True Passed
52b0f6f007715219f54e46437c4b3bdf5b48ee81 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Def2 False Passed
38f8586316998381824c983363c07767614b88e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Def2 True Passed
6cafc0abcb4fc0f258d8e976d45026b781e5e6f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Def2 False Passed
c5ed806d3f325ad60912a46af3a59b65899ed154 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Def2 True Passed
bb69b38d2778a695c74f2da3ea57c88734e6fc56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Def2 False Passed
0aa8bac793026e2c1e51eca8354bad6360ff1de0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Def2 True Passed
c79d97909b190d416df5470a40c9a32d5a855467 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Def2 False Passed
5e7069222c590680c8fbd60ea9bf7693124aa618 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Def2 True Passed
9b24cb35e0e8d61a34e9dcf210254658d7ee6c98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Def2 False Passed
37a324a6b3c11d17694f3f17cad4175990b815c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Def2 True Passed
c19bc77ae65c2bf594e1d331d5bce3688723109e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Def2 False Passed
16f278b1390d779baf75fc3faa3cd0b89b9df422 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Def2 True Passed
907bfcbd594c97395b3fedf038caabbd1da59b1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Def2 False Passed
aa0379df020e0c8f2d3dd27c691b2930d505cea2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Def2 True Passed
f7290c8919df37488e2aa3cc22ec86f49366f040 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Def2 False Passed