Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
e37d45a69fc3dd0c8078e3cda093eedc54214311 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And FiniteSetsIsFiniteSet True Passed
f42a6813add23c5b43a24ef211255984ffc9c530 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And FiniteSetsIsFiniteSet False Passed
c4636531b9f8482b58577eefda8d0140b9aeab3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine FiniteSetsIsFiniteSet True Passed
ea89c1d5768d665c00ca74f7162b4c1c45360fe1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine FiniteSetsIsFiniteSet False Passed
22a2bc53ee319e2331e3ddd3e763242e559ab094 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply FiniteSetsIsFiniteSet True Passed
2b4623760f812cf002463a83b6a15d456b8357b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply FiniteSetsIsFiniteSet False Passed
23f5337208cfe0d5c9de1cdb9c345c591cefb420 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not FiniteSetsIsFiniteSet True Passed
85054d560f1a87a65c7a4de21372e09b5a94179a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not FiniteSetsIsFiniteSet False Passed
4f54835ed804b42b08b384eeb8a1a7254784faf8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or FiniteSetsIsFiniteSet True Passed
9d25b6cfede25523cc567ee37f8dcefb60c3f4a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or FiniteSetsIsFiniteSet False Passed
b3c12d1026a5f65692fea727479ade67dd5f502d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine FiniteSetsIsFiniteSet True Passed
a5744358ad8e73f5ee6ff902a14e390edf8717e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine FiniteSetsIsFiniteSet False Passed
33b4ba6659a7f1cf2b7ec41296b7f0d95319824e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp FiniteSetsIsFiniteSet True Passed
7039d58ad251caa85d76c69c14042643f5d71905 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp FiniteSetsIsFiniteSet False Passed
e723b3afbca54e87fae8cdbae2dded0b00108a80 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed FiniteSetsIsFiniteSet True Passed
e01c7d41c838a6b77213a162a3a1c5430b42c79e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed FiniteSetsIsFiniteSet False Passed
16775e9076b2a18aa62f3124e6e685610690f9a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq FiniteSetsIsFiniteSet True Passed
7248cb0221ca969e6742f458a5400198938dd32b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq FiniteSetsIsFiniteSet False Passed
ba7affec78c192bef04976363a806f4f0d666fc2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne FiniteSetsIsFiniteSet True Passed
1c28dee483ded6236e1453a5f4867f364eee3493 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne FiniteSetsIsFiniteSet False Passed
2e86b6c07af9207c98804be966839a06a4038b6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let FiniteSetsIsFiniteSet True Passed
09b894b992f92c911289973b1991fa1197b8fe6f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let FiniteSetsIsFiniteSet False Passed
6cf19458bb96ff42d291d4038c261861448c068f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 FiniteSetsIsFiniteSet True Passed
bb234c6f4f235d8ab65b141574c74701cac8ca6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 FiniteSetsIsFiniteSet False Passed
af04688861633a20decec8e04e947195e16bfa91 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 FiniteSetsIsFiniteSet True Passed
a362e624b109ffb8b11dfd14b69c3f2b9251068c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 FiniteSetsIsFiniteSet False Passed
f742d9fe6685cc9de7fc2e56e308a63797cdd5c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 FiniteSetsIsFiniteSet True Passed
c00d112dcc8b66029bb7d26fb9345e5bdee16e25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 FiniteSetsIsFiniteSet False Passed
f2c0f9b17b30d4e9ad0465995de48358c45afb0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun FiniteSetsIsFiniteSet True Passed
53bc6c8fbcb15d37087d3917b7ca46bb60082a3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun FiniteSetsIsFiniteSet False Passed
02e6002f587da04cadbbab0a5d56fe470f05bd51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In FiniteSetsIsFiniteSet True Passed
bae16f86618123a8ae7c104496a02f7d9e5ed636 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In FiniteSetsIsFiniteSet False Passed
de042543dd92bec8d38883f59f9008957cc79791 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn FiniteSetsIsFiniteSet True Passed
231589c8cb59e4b419db9caf3f52c9215ce7aa1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn FiniteSetsIsFiniteSet False Passed
0fc8aeaef1bc0eda76cdff3904f641cced266424 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists FiniteSetsIsFiniteSet True Passed
e0798fc9c2ca526fd22918d63f885467d7d9a811 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists FiniteSetsIsFiniteSet False Passed
27045822b7983a5235ad0a6405a325618751eafe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall FiniteSetsIsFiniteSet True Passed
2765bf29f1d769759f4ded516f4f8be8682ecba8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall FiniteSetsIsFiniteSet False Passed
57809c90ce56bc1fab4ce7468af5a53130fd623b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose FiniteSetsIsFiniteSet True Passed
a1ec87bef33e15deb3ce4976e060bc991a4fabb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose FiniteSetsIsFiniteSet 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
409a69232e5c30088701ca2be1d0ee4860fa1e44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple FiniteSetsIsFiniteSet True Passed
b7edf1ca8addd6cbabc6584198a65add35e09538 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple FiniteSetsIsFiniteSet False Passed
bf9b04cd529994ec19dd59e6e621b84e33c14862 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp FiniteSetsIsFiniteSet True Passed
d2a44cd8706b0afc3dd1106f9abb78588b6a5335 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp FiniteSetsIsFiniteSet False Passed
5b8ca3b82684c6d7070fae935c6d775383d71c34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun FiniteSetsIsFiniteSet True Passed
e1473519c31b15b83358f692876f7f9f12ca2959 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun FiniteSetsIsFiniteSet False Passed
78cbfd4639855e58aad62d6720641dc27aaf0e19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt FiniteSetsIsFiniteSet True Passed
a5f9ca2c696ba67f8a19b61c3e9c447ecdfcab08 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt FiniteSetsIsFiniteSet False Passed
4b27891e42600f55546792016c3f7b76522f5e88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec FiniteSetsIsFiniteSet True Passed
818ffa3c078c24814fdb5341a69609747e6c2375 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec FiniteSetsIsFiniteSet False Passed
8065340912d85aa5c2152572cd15786ad59dfdb7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt FiniteSetsIsFiniteSet True Passed
2a5f9e5f2d6a490ca6d023458b44df56cf523283 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt FiniteSetsIsFiniteSet False Passed
81d0e78a7efb7dd2af85304ec5ae5c60d0c57d8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun FiniteSetsIsFiniteSet True Passed
b8ff45f672c085d1ae60f502e30f15560f4539cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun FiniteSetsIsFiniteSet False Passed
e6339ddf0c589c1afcdcdf4840c4fbec70c61c0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime FiniteSetsIsFiniteSet True Passed
9f4e35af2ed844eb3920963b25eeae946d110d64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime FiniteSetsIsFiniteSet False Passed
0370ceb83bd4c4d6d148c7b80d05674b87f736d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun FiniteSetsIsFiniteSet True Passed
8e9f61bab36ff68c5eed72dfcfee93d7ae0d43ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun FiniteSetsIsFiniteSet False Passed
68e60013b22179732b2f589770c4e5a269cb8a1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun FiniteSetsIsFiniteSet True Passed
3f3779218d45a582eeb5d94fc7f6bccbc54b3663 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun FiniteSetsIsFiniteSet False Passed
7999f1325aefa921e5818470a03046d3ca3c648f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive FiniteSetsIsFiniteSet True Passed
0970a38f64a771300a8aacb64a32bb19a4cfac0a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive FiniteSetsIsFiniteSet False Passed
2b7e6c74fcf8ed09dcf323cfd6659c1234c744fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive FiniteSetsIsFiniteSet True Passed
6a199b7b6f3ee1610d53fa28a8b9d712b368508d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive FiniteSetsIsFiniteSet False Passed
4e590ec7d79cbde9b191efa5078d306924fc5542 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 FiniteSetsIsFiniteSet True Passed
f98bcf17bd6b3032d8b70bf97579f8bda0147abb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 FiniteSetsIsFiniteSet False Passed
8edaf87cea1d46cff034f705ed9828555b061036 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 FiniteSetsIsFiniteSet True Passed
297dca07ac3f00964ed2ce51bd22e85b019b7fc5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 FiniteSetsIsFiniteSet False Passed
f19cfc936984f9b5e3c385a137439efd73c5a32d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 FiniteSetsIsFiniteSet True Passed
114d7be8173fbee62191b3efb06a5c1bb242d9ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 FiniteSetsIsFiniteSet False Passed
cf06cdd60f88802e207fd3f3b798af0af22632fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 FiniteSetsIsFiniteSet True Passed
be28378314ba91a5603bdcfeba875bc3569a6485 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 FiniteSetsIsFiniteSet False Passed
9f352e6c5074030fe213194cd248ae1333f38378 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 FiniteSetsIsFiniteSet True Passed
c32aae4766bf7badfa0f3a17e1fb3cd3cc4e8d16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 FiniteSetsIsFiniteSet False Passed
5b37dd3b700741187ba82d875005d4a420605d59 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 FiniteSetsIsFiniteSet True Passed
d7d4944d6f5f5c9164ae7da653c294ed20de258e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 FiniteSetsIsFiniteSet False Passed
aacc5ab0c20d5c69dd21f4c177a08e1bb27823c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive FiniteSetsIsFiniteSet True Passed
78ff17138e8ae0c907e4f8e3cc0d6eea55e3525b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive FiniteSetsIsFiniteSet False Passed
d6b55d209d031cec77c002c8648bba1b3dda671e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive FiniteSetsIsFiniteSet True Passed
6302396f6de62b340d6aa77731f0fe80e0828737 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive FiniteSetsIsFiniteSet False Passed
5389f09dd057ce64639a81f8137e9307d6c85866 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends FiniteSetsIsFiniteSet True Passed
651d6057b1e61aada6aee4aa7e6d460ad86cd237 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends FiniteSetsIsFiniteSet False Passed
de23cf660bf8163ed83a81cb5462f44c4cc45b6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder FiniteSetsIsFiniteSet True Passed
47952ac1d850b7b38a95eb40b2d9016cb65e7dd2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder FiniteSetsIsFiniteSet False Passed
bb8a371efb7eb6b9d79fd78438c5f2ea2266d65d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable FiniteSetsIsFiniteSet True Passed
bf5ae8d0951ab11e9b9adf4c25b24d1f40488a1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable FiniteSetsIsFiniteSet False Passed
238ba7ef70554efd698fa18b655fc4a7fcc1d236 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude FiniteSetsIsFiniteSet True Passed
f6122771105775508afbbc7c4bfac2d7047238ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude FiniteSetsIsFiniteSet False Passed
e7c41918a1ce91d79016760922900ad5bf6b55c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant FiniteSetsIsFiniteSet True Passed
58b64883131c3eb79cb172aa4e0a9b93a4c27070 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant FiniteSetsIsFiniteSet False Passed
e5427ccb2d95a2bb8aa74074da273475e7df77de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 FiniteSetsIsFiniteSet True Passed
25d7edcd6473b85afafd202c56ff3d10498b9c21 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 FiniteSetsIsFiniteSet False Passed
6cb56d5b11366aa9006abc554eb49ff0d0499866 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance FiniteSetsIsFiniteSet True Passed
698e34fcc9f1054d93cf5ce29a4f9f44e3cec65a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance FiniteSetsIsFiniteSet False Passed
e932ae043e62ea9f5932ce68e14a256abff519ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith FiniteSetsIsFiniteSet True Passed
c69dc7b94f61574512b6b58d61649e7c6e46a720 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith FiniteSetsIsFiniteSet False Passed
2699728784b2f10a9159ae7a503a7ea6f16c2857 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed FiniteSetsIsFiniteSet True Passed
605e2c9fdf6feb6a94006103a2fe2ae11373d07b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed FiniteSetsIsFiniteSet False Passed
991ae0fd5c8d38138cc8edece8a043bac2063ae1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith FiniteSetsIsFiniteSet True Passed
ee0671bd727fbd8bf59de562ee690b79219fc6ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith FiniteSetsIsFiniteSet False Passed
f162904baf8f51cfecc0b220ccca0cd1e82c99f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder FiniteSetsIsFiniteSet True Passed
696ca14f00f73bf75307166cb213fae274704de3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder FiniteSetsIsFiniteSet False Passed
0ad1b6953efba66b5f7ca8bd561383816f40074b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder FiniteSetsIsFiniteSet True Passed
0b487f5194df78a7b7bfc58d712b6848b099e719 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder FiniteSetsIsFiniteSet False Passed
cbf1a2ca487ae6d5045f449fe7583f2cf8fe7bde TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder FiniteSetsIsFiniteSet True Passed
44d848cc534ec105cc30c2600da132f6cc0793f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder FiniteSetsIsFiniteSet False Passed
59603ba366eca3720d0fb2397b8b8edab5693b8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder FiniteSetsIsFiniteSet True Passed
48bf814619fdb0d3949594f65872f2a1ef10a3ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder FiniteSetsIsFiniteSet False Passed
14297a39a58642cf8a599d296c06ece2ff3dd4af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled FiniteSetsIsFiniteSet True Passed
24458122997fe2ac69c60fc23e1f35ebd20939a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled FiniteSetsIsFiniteSet False Passed
1c42b3d30e508c8de0b2b5630478633c2289e667 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume FiniteSetsIsFiniteSet True Passed
52a725888515fd6c719918379d407731698ceb92 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume FiniteSetsIsFiniteSet False Passed
e4951a40f42a83266060e96691c9539c78ca626d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed FiniteSetsIsFiniteSet True Passed
016fedc688cce8a9eb24102422cc83d4cc35dc06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed FiniteSetsIsFiniteSet False Passed
6658b042d498426ebfca2b31bebcd208fc3f4c70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda FiniteSetsIsFiniteSet True Passed
194ff595abf1fca4fba296be4dcfd5d4a7138e24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda FiniteSetsIsFiniteSet False Passed
5944d9ea725f1016c326fd1133a48ee37b49128c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond FiniteSetsIsFiniteSet True Passed
47ae652df9b28b7ec215075142f27fce4e9f4eb7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond FiniteSetsIsFiniteSet False Passed
855b9b5d59c2b6631c33d631161579d2b3a08ae5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen FiniteSetsIsFiniteSet True Passed
535312b457d25f6b8d3106fada481d63fe181782 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen FiniteSetsIsFiniteSet False Passed
557c34d7e14c6db2ac761a2999c97570949caa46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse FiniteSetsIsFiniteSet True Passed
79b61141af19b5ca41229392ff013fbe8274979d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse FiniteSetsIsFiniteSet False Passed
7a9809c85dc47b134b2f954aced1054b3906e4db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged FiniteSetsIsFiniteSet True Passed
8cb3d99a6d94dda597f4f35bd9291d1c2998709d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged FiniteSetsIsFiniteSet False Passed
f45f4a100dd137e5bbe1400924f70cbddb153766 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence FiniteSetsIsFiniteSet True Passed
4f01dd5e89860045d853fd94bc7da5f6994673c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence FiniteSetsIsFiniteSet False Passed
bd60bbd1d8e162a20f5d0cbe2917c0b3bbcec429 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun FiniteSetsIsFiniteSet True Passed
5a4c138e46fb3b226b629bdfb23e11aa987dcf96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun FiniteSetsIsFiniteSet False Passed
7927f18d0a3388fb75a8793be562e7cb1f4e355f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval FiniteSetsIsFiniteSet True Passed
eeb3331a0d6a5115bbb59016d2a51f0c631413ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval FiniteSetsIsFiniteSet False Passed
c85c39efb447ec55d88b04a34c9648695c784555 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn FiniteSetsIsFiniteSet True Passed
4da779e614b2105a061611fb68993e344c8117d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn FiniteSetsIsFiniteSet False Passed
599b07eb082d344e43825dae5cd24b130699a8a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn FiniteSetsIsFiniteSet True Passed
5c46fef3af4407b43b0d1f76a6159b9ca904e91a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn FiniteSetsIsFiniteSet False Passed
20255a9fb8533c61c66404b7a1f1ad1896517896 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend FiniteSetsIsFiniteSet True Passed
75bc103a08c81d9ae2f8c2aa609fea885bc99502 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend FiniteSetsIsFiniteSet False Passed