Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
8dc553aaeeee032d7f19d1abac61d244aea1457e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Def1 True Passed
f425fd6ddfacfd2c889ea7d69fec57561ec3a363 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And Def1 False Passed
fb421b40b1985e74fbc1d8cc7980cbc8172fc6f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Def1 True Passed
8dde86c4284c12f833e60545a9a2be88d9b2963d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine Def1 False Passed
d06bca1ceb3ba272c3047e87c378c17ec95ddb7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Def1 True Passed
79b7221e63bbe3e00316f164a39837a8772db1c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply Def1 False Passed
dd6511882fa2b39ff612edb179089ccf64303adb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Def1 True Passed
5bc6d06addcee09bbde648ec1c060193533c2e9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not Def1 False Passed
418d5d3194d55618754d0b547eab4b86bad55edc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Def1 True Passed
740d82e5378fce5f6ddae9f1f89837f5203f8224 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or Def1 False Passed
ccbc3e8acd32e266c834fb3f936f0beb7275c591 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Def1 True Passed
ac64aded1347115329dc2e72952bfdef3776ff40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine Def1 False Passed
10bc197023790ceca6ea2783c3a98985774ba419 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Def1 True Passed
a613f940aa2e6cccad49fc2c5b02e4fb43452c9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp Def1 False Passed
fe4092f99a9675afca108bf8fd8933141d2a212e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Def1 True Passed
7b3b2bbc0ddef4d88fc78142c3faa4972df7c95a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed Def1 False Passed
1cb924d375147e71e8505df4e6229b718d9cfb31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Def1 True Passed
ac61d2c3f218b75015d0c27e9b67fb94ab9a4c3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq Def1 False Passed
ff692f8b776007e2dddf126249cb1c78d3fa0d6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Def1 True Passed
0c4e68e0cd2bb2a046476482996ff5ac39b9cda3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne Def1 False Passed
c3120b7f81e3a0ea08f335cb2341cf79b209fecd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Def1 True Passed
f75d6668a10b084eae7e70c20687f1ff5f6282fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let Def1 False Passed
f1bfbe96ee0c3e7dcd3387fb39f593713006d139 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Def1 True Passed
ae69b039fd8bd0298218e383179525afda6c5877 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 Def1 False Passed
26652edecfc7cb39818d11d8902b07e80f9d3333 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Def1 True Passed
bc02d7ad5d0d6df4d038ccb432d0eb3f2364135d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 Def1 False Passed
a5ab53534bd3269746ef02963b01b95a5327a1ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Def1 True Passed
8a4c60a0dd77d1b82172d5885177d926c9869486 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 Def1 False Passed
cec0ec4db470b1c4f8fc919e07ea04caad72059f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Def1 True Passed
35e4bc933684abb2060e7d2cac0d157a8e6b8cff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun Def1 False Passed
a9f539063227c40ff8d3fa1ca587bfb40ad02e50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Def1 True Passed
75509b7db61b8043d57314a5685c773cdb777e5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In Def1 False Passed
204be0f389e39b789caa379c0d637d94d3d05284 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Def1 True Passed
69ab45241a863be1a0558faae54423cdd2c71134 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Def1 False Passed
9ad0983b673c45c370981d1e5a6dfc54fac0d052 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists Def1 True Passed
345ab44818f1d6086790f181286a96a8dd2ff742 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists Def1 False Passed
7d79b398bd05f65fc15ce9c90771e4b83788848a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall Def1 True Passed
142de5784f4c1889fbe4759f0a2b11bac731027a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall Def1 False Passed
8fa0fce34361fe9a638990a7ceb6e4cfab85e5f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Def1 True Passed
a3ed751551fbd43430eb6536f8a348f03cfecf8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose Def1 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
8f41e266806ba19e20f3bf12e309faa790f2b7ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Def1 True Passed
d7cec6aac837d6d77b36cc50fb2b51b5df5fa9ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple Def1 False Passed
ad655310fffb16fb3a9266140b10ffc1e077c57c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Def1 True Passed
22cda0300ebdb8abdbb01aa040bf0ce2166632d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp Def1 False Passed
9d9db2c009b8f9acf13362f8dc3bb968c06df3e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 Def1 True Passed
6d57c0c50bd2177a26ffffcec8a80814334b0c8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 Def1 False Passed
5e6492f7cf5dfe534e604f3ce949ed514cab268d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Def1 True Passed
d6768c7705f0a8354737814e22329b80eba68db0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun Def1 False Passed
66919fb8951d2b17ed5240ad4e1553819534e6d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Def1 True Passed
c20fd62c3c06001e75c38ebe429769586c9ef4c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt Def1 False Passed
4d616893beae9006cab5d1d994def84e76f2eb50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Def1 True Passed
7c9630a58b223b3e52272753ab09077cdcd7e38b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec Def1 False Passed
ddaa252f4d272f6eded28fe61e9b57da188b834b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Def1 True Passed
fd4b28656b5b29a5673e5a82fbfafcc23007c633 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt Def1 False Passed
bb27cbdec2604155da73bbd6e39597e92eb725e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Def1 True Passed
c67e5cfb615e1e71057a6ede3d555ee3d6ebfed7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun Def1 False Passed
b21b67be828aaf9158583930e4f49d6999656c38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple Def1 True Passed
cf413e22a9f7b85685c7d4ac8468f1c6ffd53912 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple Def1 False Passed
f5a1ba392747587296c5fcdcb9dbd8fb5bd21c44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Def1 True Passed
d8f3ac7aca98b9cc37e8ddccac85ffcd2ced4cf8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime Def1 False Passed
8349f2894ff07bc413aad5ea6924e9304b905fa8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Def1 True Passed
aa76b0953070ce1b3c4e0af0ac8cde897fb447bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus Def1 False Passed
dbc8ab4c9b8c460f1ab48f748287899726e933c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Def1 True Passed
bfc50921e710a8a591c20cab86f07647c697da2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus Def1 False Passed
6e9980ee16bba999b3a66005ac4bef4877160783 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Def1 True Passed
5e1bc10c4b8f71ed959b9164e5a4873e73b0b196 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus Def1 False Passed
0156f4c43270ca021766184814236b2acbfb257f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Def1 True Passed
1b6b09cd140364124c1a367f9eade8351f982e2f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul Def1 False Passed
8dbe76f9aac7fa8e69f216af4a1985d27cae3e52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Def1 True Passed
d50938c1537c77c02d954d2d7c5d4aad973b1f64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv Def1 False Passed
ccc162221378313a2c8e15fca4b71adbd142efb8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Def1 True Passed
891ebc89a966378d4b2a3f930a4651a6d019a2f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod Def1 False Passed
f8e2f9938fe9dea60019afae271df801057c18d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Def1 True Passed
5be1d95caab32bed1d7f7b8340ad8be4105989d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow Def1 False Passed
7960bf990982458c6cf6c6bd7a31f7651b292365 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt Def1 True Passed
b340c2742ce47be9f4e479e1153ba9c2039e0d0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt Def1 False Passed
ae6083ed0fc286663739e66ffcae0afcd41df5ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Def1 True Passed
d1ae17a15d21b126ffa411bda261585752900616 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Def1 False Passed
1573908c4848c71f0d008e953665651fdb5fc9c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Def1 True Passed
3abfc362dd10b19cf521d2140e45ae79a94b645f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Def1 False Passed
db89a9debf479611fc6cbbe8a5d181aa03ddec5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Def1 True Passed
4216132e4ed26bc71212ac07e29c7f2a32d1c28e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Def1 False Passed
2dad26d6f201c7c6df2d31e033289c799115ff2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Def1 True Passed
4229074f95e6bdc88411fa76c1b5f6a5a44194ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Def1 False Passed
7df558fa39e38dfcf94152aaacf42d9c59ee94bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Def1 True Passed
f10fb0dcb43b86017472a759d45917fc7d244e83 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun Def1 False Passed
89ab0b29002a37e5583eca83452e232bf11063a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Def1 True Passed
46acbc167d714cb9bef3e065a344b025747719f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive Def1 False Passed
f6a0593befc85cffba3370976cfb4ec227543c0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Def1 True Passed
50552f7bcb1c3af6d6c402f0f91e2942dd776fe0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive Def1 False Passed
b5112907ff5064845204b6dea65a2b28cb2fe879 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Def1 True Passed
c37a28c42eb137dd3c3269c018ebd2a1f3183e94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 Def1 False Passed
a5014cebe685971c43454727776e2f22acb4e9e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Def1 True Passed
22b6edbfc3e3737b5180365953208f1c9bf4cfea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 Def1 False Passed
f52f231efaca17e7b256642746bfe870cc7d671c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Def1 True Passed
943538c43a91909244e04c8d9d72c2bc9361d315 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 Def1 False Passed
adc7b9cfa6db576153a8a6b9ffd931139e148cd3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Def1 True Passed
17e234199211476b463aef734d6db21577ce9d42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 Def1 False Passed
d9d4738b32f09835840d77613cc7eb108bb95730 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Def1 True Passed
617ffed6485db035c8d9293cad128d1486a1d8c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 Def1 False Passed
1a7d560b49025153476a82932a5f46c3e1fbaa8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Def1 True Passed
28c9113a785d6f4d1d28f43cf359a652b916dd77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 Def1 False Passed
0a021dffa0d5c73f4b1030ecd58b844d0ccbf863 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Def1 True Passed
7f5d26531b18572846c3e3a412214bc28a777b47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive Def1 False Passed
1300ca5e345475d0772f81cad46ecf342534a45e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Def1 True Passed
24b840a6f952d5bbb48e4b3c766d23884be1ec6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive Def1 False Passed
794f326d986525bb3aeab543d87bdbc586f6720a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Def1 True Passed
fecabd00dac1d779aab49b4265854e364fdde540 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends Def1 False Passed
a7892f0e86617c9df9eddbc910783020b0203518 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Def1 True Passed
f159ac0611e3a02a2a49d055d75bb2272e3f3d71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder Def1 False Passed
72837f7c01f23253db75073f396b7e28b98ef613 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Def1 True Passed
616c1a2293e72a16c281a8cef6ce1ec9cf708707 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable Def1 False Passed
17fad1c75e97d51a95270eaebe2270c605ab628d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Def1 True Passed
4febab865890d6ac5dc57d58c22253f073fc6cf6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude Def1 False Passed
b004495b802bc757e02b1685245a240148a9f6cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Def1 True Passed
8c38d8d23fe2fb68f3c56e206b083fd2de961b59 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant Def1 False Passed
e201d0e3a29a8f615bd73758166cfe61e1cb8e2f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Def1 True Passed
e7f46ddf06dd39d518c17e511db00a7e4f8a4eb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 Def1 False Passed
a2a2437d8ec6fd5d8ed1ffc36ec3c0c42d4fdc12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Def1 True Passed
bbdea0cb59e290d9c2c941d20d2b39f3dd5d87ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance Def1 False Passed
e7807cb8d191ef75c3de1c502816b01840b1f799 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Def1 True Passed
e9deba1d1d47ea7fb046ecbd69eea0ea075f8551 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith Def1 False Passed
1367bf89ffb7a6b8c8b616b4403f90a1436df8e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Def1 True Passed
a143fe37e961d5ac93454957f3aa57ab38144fa6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed Def1 False Passed
edf860cda7c60b7b0b4bf2920990704759b0a25f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Def1 True Passed
04a62d1c541787e4008db818351541807f276d50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith Def1 False Passed
7a7c8cd26aacab72f0a961bc8ebcdf9d03e21352 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Def1 True Passed
b98400f5455eafa36e02c517322deecfdf9b7c91 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder Def1 False Passed
6cf7b0c5e696915b6ad25f97e6a1c8389ddb9443 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Def1 True Passed
e2660535404f8159f44d2742da4a1d6a0bc0b055 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder Def1 False Passed
d6b5e1f6b31f554395c0f3d9fb95acbb3664e9bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Def1 True Passed
0dd45af1ba96efea99f0aa4d7210dec576ebc73c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder Def1 False Passed
2da27ca2486806a64424a2f9c5968bdd0e308ed2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Def1 True Passed
fa7d6803c46a9cc94d760f14ad650f139d36e2e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder Def1 False Passed
2b4aeb1af2df9a88cc9970eae75bb69c091b3a25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled Def1 True Passed
2a500ff648fb1202d12c8887bbaa26385b13db23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled Def1 False Passed
2bf058134a2a97ebb6284c024e3169ade4b30850 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Def1 True Passed
b0080d2d8dfbec800578c50288ba106dd3d35a8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume Def1 False Passed
43e76dc0678a42497bcc336f13dfc97e24043684 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Def1 True Passed
c034fd9cb0892f77e3a07fa442465d7e1cbee2e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed Def1 False Passed
dbbc5911e4845279a3d7e1f0269c3c2061b31df2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Def1 True Passed
b272fcd65d029e1157283b8f63128ab182948f4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda Def1 False Passed
81b9badfcc0822395171a1122d116cea957e9c98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Def1 True Passed
482ce2000224e5b755bfcf4c6278f32a973157f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 Def1 False Passed
b5f46fff85e7f8f762f4523f4f204e49e21d73b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Def1 True Passed
4dcf61dba82ac62d2dcb1a625bee04d8ad8d3226 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 Def1 False Passed
a8996b035c62c7e323a1b2c8ed663d514f4a076b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Def1 True Passed
58a743226e1ae31ec585cf048eacc0773e39a390 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet Def1 False Passed
b41d279fe10264b86a70bb9d7d9a09bf28aeee51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Def1 True Passed
bd0711bdcbdc800a4ffbc4609e068785020cd5b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet Def1 False Passed
ad0ccd33486a367969fc3d5df1c6b530adef182d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Def1 True Passed
bc2893c62b1c674db4516a0b89868ea8286af0be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff Def1 False Passed
eed848e30c3d56745b4e12cd44cb3ae32a2840a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Def1 True Passed
70c56b1b394c6a14f7c69b6a28f16087f1309a73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion Def1 False Passed
502e6fe436ac86f13e217bc70d3d25c2b72e73a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Def1 True Passed
1912f7a8fa0fdb0cf2d9225c2c7d3a58a6a1486c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect Def1 False Passed
80939ab9deb3cb68df07b6434b2c4fc41d3a3ef0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Def1 True Passed
34b0182df80b42aba084393ca1d53bd9f3773b72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq Def1 False Passed
d5c14b881a8ab1e75bcb9c4c060740c8636248d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Def1 True Passed
24d79ba7bdf7ddd22b07083364b2aa2a51c1838b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond Def1 False Passed
3b65326d39076211c952a6739d11f7cb7c8b54df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Def1 True Passed
ca9c747a71e1c53a5d4fc5ab7216ca923ef59fce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen Def1 False Passed
1ae3b3307b6139dcb3aeeb83fe90a1593a993993 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Def1 True Passed
56c1bff7479f3bdadd74918f89f93942dd651d53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse Def1 False Passed
bf83bb2f0eb494f4f796329d5e748d7758cac359 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Def1 True Passed
bf848681d59a6b75cf06ee370774314d8e52bcba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset Def1 False Passed
690b477754ba47644b86cd8ccce06d3ab5afaab0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Def1 True Passed
a2f34485381033d626ba3796d5f80e1b182aca47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain Def1 False Passed
5fcecbe70b771ab4ec02e586e2c084148080ba4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Def1 True Passed
0bf3470baae78610c43612cdbbfa5293718a77f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union Def1 False Passed
82bd322fed25892ce2195b0948ebc5b47f3baee2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Def1 True Passed
41489106fee7274a4d8949673c20606fdb49b90e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged Def1 False Passed
53999a6d27a006e2f97087d1e0574b1332386f74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Def1 True Passed
751ff3d9851a7892f20b1854d8769517d138e532 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence Def1 False Passed
4081b84462d4122db058630ab64a44058e113c82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Def1 True Passed
d7764385c8ca63673e3b070f46ee8a556ce3f9fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen Def1 False Passed
c35563a3ae3681109ab8712713a47f84228a977c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Def1 True Passed
7b6bdee720bb4fb140ef894b30d48618be5dd0c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat Def1 False Passed
ae711203e5e3f16cff204b20605b0d595dce20bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Def1 True Passed
9b84c7981d5e870e519cc47e527416159661686f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq Def1 False Passed
ac50dd7d0d164d31d2ededa04000a12d24b3b451 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Def1 True Passed
076383afd64f4fe4abe6a39cd599b6e49b599557 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq Def1 False Passed
823b0e943ba4cb9cb547122e50f718507cecabf5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Def1 True Passed
839a5a85e0ab79a619d17276565a7c15aa5acba3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Def1 False Passed
5cd88c9af7cc0deb9e957f56998d5e4bb107182e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Def1 True Passed
6aed4b4073d0ee50d7d250baff4365858459fad9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange Def1 False Passed
ccd15c04965282cadf24a7bf88fe4c8ae877794b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Def1 True Passed
53b6faf332db5b273d735848abe9d9af42e88f44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Def1 False Passed
0749fd44d03b3a3323e72fe2cba5e5220b15ab1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Def1 True Passed
24a0ef059916f3bb07fe80fad38245f0e95b159a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun Def1 False Passed
3f1106d00baab3f0f10ba2b684844b3ed568ed77 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Def1 True Passed
3a7d01bbc94ff68a7a6cb3009a7c293a2ac26f7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun Def1 False Passed
6043a1ee284d253910ffee6809034410e9b2f414 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Def1 True Passed
d8f7f6aacfe62b6f3512f2ae1dfd3517d8d0ea5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq Def1 False Passed
d35fd92cfbac92cdf1d4376343a8aee85e8311c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Def1 True Passed
1eaac559f933b3039fd174efcb4b86e199a418cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval Def1 False Passed
0748a92dcd1061ad9e8abbd693f74e21bdfaa92a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Def1 True Passed
81941e53ec0b174904be2282c438c3e64d373840 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet Def1 False Passed
4de01199c97ee0ed3cd690c1cf4d943816da54ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Def1 True Passed
b3e713d895ab1058dda9024f40f48c673e7d6198 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag Def1 False Passed
b715ad799a234d0150887b35ab1b7585c9c4351a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Def1 True Passed
47cc40bd1b963cf48172ccbf5a49d89241154a35 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn Def1 False Passed
9dc226c5fd891029887cd7b727707b4fe61faad8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Def1 True Passed
6c1cdb66bd11b5c83bbd02a0bcfc9ff5cc5746d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag Def1 False Passed
5f16d0affbf518379e6cfd3f277002750e5097a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Def1 True Passed
43356c7807963197e5d0ab52dd89d8f1b31e2f60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub Def1 False Passed
5804a4f03f1bc51038c4626ef55139a1a0d53051 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Def1 True Passed
256f40313cbfa0d2e5d9c01150db458224572127 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn Def1 False Passed
889059818ea6cb579915861a583d07ab37f47522 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Def1 True Passed
058bedba9bd11ec64bdad664e80a474d718d9c27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag Def1 False Passed
3f32266b67a0b822ebdad950d0b8cfb030bda094 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Def1 True Passed
4f3bcc2ea1cd7432a7e863d0c42829b757a4d563 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion Def1 False Passed
80ddb9047266223f70f9252c88f5b26d64d9bb2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Def1 True Passed
a666a8fd356e41dfb969aa87585e792f77d21004 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality Def1 False Passed
e6e81c6faa44f11c6af398f654e347616d46a538 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Def1 True Passed
88c0e96ee71e4dce7b426481ab61f2a3c1ea5b88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll Def1 False Passed
e66daaf883474f54377b99b58aa48008cb266a95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Def1 True Passed
f8af129a647173f8e1f6f7508a5edb435a577800 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag Def1 False Passed
303f5140f0234d9849af0d491fba33b0ada7cfe7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Def1 True Passed
0afcdc59ceb2251f4218158e87c2b84b3a0437ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet Def1 False Passed
f4fb105bec0cbc869aef94e07f7c05c4ea619dc2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Def1 True Passed
dd1c9d10a5f2b6e5a16b856b4e99a27a6db3c150 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality Def1 False Passed
59bdbce9e18d3796ebd2b0f443bb41fa855d3e81 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Def1 True Passed
fbab7203c648cf55ff66aff6f63476f70cddefb7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead Def1 False Passed
395bead67dba3869ae90c0e3b7e6af4ea7354410 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Def1 True Passed
b59f8e68cbd0ccfe1dfe1b17a47824d62b8081a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail Def1 False Passed
d9ced012b851d1d5ef2b47548f4149fc104fb60a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Def1 True Passed
3fb0a8465fd97b5dadf412a6f0b5361a057f4a96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend Def1 False Passed