Index

Tests by plug feature TlcEval; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
7cc1ee619a7afac8666670035d69258e5b6ea054 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And TlcEval True Passed
b5b9745073712001ba2d2533a60e18f54ffd40c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And TlcEval False Passed
3f80d8ad0ba6ad83873a4590fcfc2dabe0a23e85 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine TlcEval True Passed
b929a9618b21f203fd211da7022b80a88b62fb34 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine TlcEval False Passed
9892a39cb7102828dd365a8bcc405dd4f465e1b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply TlcEval True Passed
80ab49d5a74c47dddc3747784a8ea0d326f6d7ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply TlcEval False Passed
e4b9072c6f6ef7944ca517d6ce3c5b3a92766a2d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not TlcEval True Passed
649b24dcdbdb8789dfc0b2e824cfddaeeb10f38b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not TlcEval False Passed
6168b6c55a00e13fb7d0b40f17ed92d1d3eebdec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or TlcEval True Passed
243bf9f1c21813557e9d5d8e9bf47a54571e45b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or TlcEval False Passed
1f67337b9821f4832dda09c3f76e681bde4b196c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine TlcEval True Passed
ef9b6c9ccda202b1c8a91b73217d0667d4a923ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine TlcEval False Passed
19c42c61df92b288de4a474794c837d4f7a88bcf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp TlcEval True Passed
6a2c682b90fb31487d555c4c039346ab1c3ccdda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp TlcEval False Passed
ee316c1539c867bb01046bde1641815876a46fd4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed TlcEval True Passed
f1192704c268f0640fb52ad0753514a19dbe1022 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed TlcEval False Passed
bd434aca84c0b2cc6e5071d70b4cf3754856f498 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq TlcEval True Passed
bc545f81c0d03b4f5f9046ce9c07ddb67941dc32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq TlcEval False Passed
377ce9d28d77f8318b590b8af6b3337a766a3cab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne TlcEval True Passed
f28a9c2bdd1fd234ef139260ca01136b46b13107 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne TlcEval False Passed
c15bf25f2fb865c999567d8f13e75bc8796c5fe9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let TlcEval True Passed
e7ef3f869b3eb11845885c197c3a333513d3d518 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let TlcEval False Passed
0eb4252fcd50431843795e739531ddd95ce5d48c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 TlcEval True Passed
cbf8beb6b53e6910e722654d86dfc81bb6ad2dd2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 TlcEval False Passed
3751f567fc594f310e8de2a8dff108e7b78eef3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 TlcEval True Passed
ffed5207229866deed4e7f8026f2d0643671c7d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 TlcEval False Passed
fbefa2d6aef7488b936592ee7927ea227346ce80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 TlcEval True Passed
58979a9be073db04bada439b1279d0d3f939e5ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 TlcEval False Passed
392603c1933cda2d457c7512bde8760d7cf596ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun TlcEval True Passed
3de0a30b6aa03e0ad85e9975647595cf819a788a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun TlcEval False Passed
1b1584b05ecfce12ee26af18b2fe9c7665dff940 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In TlcEval True Passed
57a839e86846f8f13791caf363778aa0fc31adb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In TlcEval False Passed
2940830277bf4dd08a2753d3f85767de30c57119 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn TlcEval True Passed
1389adafb52c9c098588370fd30d89926c74f1ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn TlcEval False Passed
87411b22c42c53d8824a433bae8dcf65b08e5894 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists TlcEval True Passed
f6aeda4dc89d17a3e3e541cc3d822841e3b793b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists TlcEval False Passed
f97f94ccd43cf8e6d868b53ab8e988eb34959c08 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall TlcEval True Passed
4a66b0ecb5f059f1a8a359b3c9f7f38c0fdcdf50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall TlcEval False Passed
b5abbdd57f09a259a676132ae9e98befdad1a763 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose TlcEval True Passed
0d5a2f4f61c59f5118df894bdddbcf62a3d8a529 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose TlcEval False Passed
8f86744c35878deeedaab2133766ea9af2a6aab1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record TlcEval True Passed
f2f303f5bf684e56d9b552ed1381990c3a5c8fc3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record TlcEval False Passed
43d883e9a6c8ccb99f9876737b7c2c720e67ab6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple TlcEval True Passed
da581cc885f9e9c20d3867dc2bf487522b48ed2d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple TlcEval False Passed
b19d58a4f0a962e0f45527c2355df2216b751651 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp TlcEval True Passed
03794947d7ad9b01b194dcc4d392f21f83a2bbac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp TlcEval False Passed
fbb8c712616a356dd1525cbb55dc39728fd8a2a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 TlcEval True Passed
c38c33e1152fa089869266c97b79e20200cd11bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 TlcEval False Passed
f1b16315c0df63c1c874808a4c5ae2aa7c08ecf2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun TlcEval True Passed
f48b50b044a13ce3e47c5c9615a97be4fcc813fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun TlcEval False Passed
87d66236ea3ea3cc3e22e67c1d4d40082580b395 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt TlcEval True Passed
eca658f03ff01187edb012a3961e9c554fc0e248 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt TlcEval False Passed
d84d92ee3357696274bce4670cc8dceb51ea0cba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec TlcEval True Passed
1d1fa9267665cab683125613800d9c763c9ba963 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec TlcEval False Passed
70daa26e936ee5472d101f0d67bc3b25aa17c0d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt TlcEval True Passed
7062ea3307d31f990876878d99725d660fd0b27f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt TlcEval False Passed
5fb6f3ca5dc357cad2b2e087fb72588ddef98bda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun TlcEval True Passed
03ae4a0d1fda5d74ee66c6e6b37dc3919e5efeec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun TlcEval False Passed
246b8c9f7fae566bc32c5003ee7626ec9e776170 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple TlcEval True Passed
cb4ce133faffc5172134dce768e45d73ca91f618 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple TlcEval False Passed
280ce0421adad837d0e11515e63f7ad8c373557f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime TlcEval True Passed
c2068a041059ec984ecedd870e04b10fba8d326c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime TlcEval False Passed
1d922494d2481c4307669e0037e6a6f07437d8e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus TlcEval True Passed
e5f30d7fb3f426cfa89d3737edd2e301641d7aad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus TlcEval False Passed
be6ddc9e6b5c6b15f5d696ca7fc2c1d1ca0d79b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus TlcEval True Passed
ac83455270502bad7bf3e5bd53075cf328712209 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus TlcEval False Passed
4ed713234901b3e0839b8505aa374655e8ea7b6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus TlcEval True Passed
3cc148e8307a90867c0cbb8e947f419f27190d37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus TlcEval False Passed
79bfd11839a81441e8fc407e6e1a35535348938f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul TlcEval True Passed
38a329868e28cd43535b0cd84685ec4853074db6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul TlcEval False Passed
161d9eea53b9784a5cbd8eb6a691c61c25b9d302 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv TlcEval True Passed
38fb16d9278152e74327144d70674f535ff19aff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv TlcEval False Passed
a3da45506ff964b8ae15345cd2623ff9f9e13826 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod TlcEval True Passed
e3beeee17b1d240bc5460e2e0600a3019e4f82aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod TlcEval False Passed
146e9293c62bb519fbca22b6b29fa450a909f54f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow TlcEval True Passed
7c69b01e0aaf87282c87791a3f424670f0438d68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow TlcEval False Passed
8e1a35b650d1af679906f992f89d681be2dd9c03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt TlcEval True Passed
99386dafb70ebea90568949dccbc502b68955a0d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt TlcEval False Passed
c5cb2cbf323d51f853c5ccc91d91bd0256b839af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe TlcEval True Passed
11f2ff565819e53d1568369b2ba8fce7599873e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe TlcEval False Passed
f283c3c5934273d3dc88f208c023ed27081ee4c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt TlcEval True Passed
00b59a047fb0163d979a00cfba1bda43a2365a2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt TlcEval False Passed
1e88299e9e25bb035600807cb27951ab911b0572 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe TlcEval True Passed
cc06e28d14d1a947cd6514472b758786ede56611 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe TlcEval False Passed
f88d2ac58b3faff1f251236421d6cf9d39477794 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun TlcEval True Passed
6c8620bc87906edd86683031d04c95e60773a6f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun TlcEval False Passed
bc9a30d1e903bfca595df1126ac6e6b7f157f434 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun TlcEval True Passed
919c2b8fe26b804a15b07b7a500e19fae35ad646 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun TlcEval False Passed
4b8637c94865755a0404a2773f84c4432b5d2edb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive TlcEval True Passed
63b6bf901ac6d1cf6c5969ccb8d91fbb32ab9609 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive TlcEval False Passed
8f193d2320de0df7face5995ffdb193d73a01fb3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive TlcEval True Passed
2db1a7f2ddeabc47759c33fecde1e49cca4803eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive TlcEval False Passed
2610c52aa81157a567fc3f3bd5eb2a6b2e99e42b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 TlcEval True Passed
2d7b76d0e8400f792cf299daddcab451a0ea5b82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 TlcEval False Passed
04c388f895ae4bcde622b5550394a0a6337b5010 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 TlcEval True Passed
9f0a09319621ebc1e0813f2f0424e8035006be5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 TlcEval False Passed
69af889225ce5fabbdb1b1d483b89eaac75a13a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 TlcEval True Passed
70409f0704d27c846b4d808df77190c954a4a71d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 TlcEval False Passed
3c210f36fbcc467b9841e2894e372d32b707643b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 TlcEval True Passed
86966e7cc8e58911671b138f3fa658ebafc8b835 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 TlcEval False Passed
5356f41a70d968f4bad4d1c5212c942a58c9d275 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 TlcEval True Passed
694c0da725760cc7fbd7d2dd839c6a51678db8ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 TlcEval False Passed
eeb0dd94426e108f5c3cb487e9736d9c87d6ff68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 TlcEval True Passed
2aef169591cf0dca277f09275d1df93d7a4719b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 TlcEval False Passed
bbb4dec00650944be72c357b1954dccbd345d309 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive TlcEval True Passed
b3994e1131a4308542996e2435e692ce8941437b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive TlcEval False Passed
740f012a7f7070628434771bb842c59a6b9a56b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive TlcEval True Passed
c64bd31b2f534e8dd34c5e376ea340e27add2a85 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive TlcEval False Passed
f564b9998d889fcda74f1177037d9b932b750bcb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends TlcEval True Passed
0dc224f8917c1591ebcbc03a408ff8a0f758f9b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends TlcEval False Passed
9237056a8e8dff0b0a8bd4d8d155570dc2c7d370 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder TlcEval True Passed
337a9f85884a26658c52c9e9c801f92b338336d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder TlcEval False Passed
9cc19ea34a1efb086cfa6ad2368343a4bb34b461 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable TlcEval True Passed
5ec5cfea1a93d4a48d83c9280c713fc6701504ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable TlcEval False Passed
b4bd584dc9652152d97b280c2168510fada33659 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude TlcEval True Passed
a209e6e139d3c1da44be8e194ab5a87d88f56a83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude TlcEval False Passed
612f8cc6aeb291bb941e390d195cfea85094b92a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant TlcEval True Passed
1db5c00168b7f0fa3fd1a230dc91523cc72aecbb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant TlcEval False Passed
bd08ab14eaf1b2a2fcfd741a1ec912ac23e23c73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 TlcEval True Passed
bf6e5f588accac913a21aae8d85c38e7ed1073ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 TlcEval False Passed
beef285fc61d6e9f755e3ddcaea561b950de2459 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance TlcEval True Passed
f3ef91bfccc84ee8d735b58daf2f7236889f5bd3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance TlcEval False Passed
56a1eb8dfdcbdd66327dd3e66af2b10f85c61898 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith TlcEval True Passed
6ed9a826d5058c1687e84dd67edf5575994dcca3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith TlcEval False Passed
c524644742daab6e969ad52a071fc9201d8b5ee3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed TlcEval True Passed
d1823cfcc033faa55219951aea784aed12574580 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed TlcEval False Passed
3ad3e7bbe99974aadbc4ba40a17e495485d83b74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith TlcEval True Passed
45d89dfd3b3fc6e6319bcf094aa4e3c994fdfcb2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith TlcEval False Passed
e0c5ca290909d3f375430987060faccfeb4bcc29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder TlcEval True Passed
1a47b1e353c865796db9be2700552eefa7b9930d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder TlcEval False Passed
4f427f6fd0ac528a47cfedd61c79b486a3438e66 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder TlcEval True Passed
3959aa8ae46cffe40c9221d4c729b4bf3afa81c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder TlcEval False Passed
9d662c29a60a4c95d85884ac4d36fbfc95f15c41 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder TlcEval True Passed
b2ff5b001aa1568832a53d3cb1160186c8f26d20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder TlcEval False Passed
366701b0708de26043f166d709977ee2473f10e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder TlcEval True Passed
1f57dcc605b654099bddfa824e6d7f27c1524ddc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder TlcEval False Passed
ac372a054c96c55df88631fb629a212277902f08 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled TlcEval True Passed
76694e342ac2e20fc1e40b33d956cd1f8aed49f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled TlcEval False Passed
bbe187cc643856a15c8f4dd6accf19fa59bf7584 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume TlcEval True Passed
f70f1ce5373324ecdca0ec23ee3dd38bc11ed6f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume TlcEval False Passed
2d62182733f7de5b881d01c65d1806fa19e94087 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed TlcEval True Passed
ea4adb93dd6ab1de5f8587821195364fd382c235 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed TlcEval False Passed
d9bda3077339af8009039c94faa506c07ffb36d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda TlcEval True Passed
3cbcf8bd384e823534e1048f1f285e3362d0c54f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda TlcEval False Passed
ee9814bc9e118147a52050736ad9ac89304cc3ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 TlcEval True Passed
bbb4149b1e6a9ec28310f367f9a47e567d9e2f15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 TlcEval False Passed
55d85e7969f131e42c1cab10c4b5a36db81cec3c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 TlcEval True Passed
ca6842280512f2d0f8eadc513417fafe52fcca37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 TlcEval False Passed
f47283c0685f951754bad697e2dc67045470b5a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet TlcEval True Passed
bb16dddcbf6976c1c1fa8280ca50785345d8bb5e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet TlcEval False Passed
6d1543dca041730b2f0c5f1930b6d24615c3f4b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet TlcEval True Passed
0ec3b8c625e944b66e13ef073f26c6d83b599b83 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet TlcEval False Passed
0a260f1e3366ee0fa9a82d2d31d5db69e39ffecd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff TlcEval True Passed
51b8896aad57ae21db3f8d4a66826aee3bf8a0fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff TlcEval False Passed
5f5fb0407767290b31d04629afd6c5d2b61a6341 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion TlcEval True Passed
4352d85552df34b777346720966891670de111ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion TlcEval False Passed
9406419ab1ee31bb76bd2197eab3618fb06b6556 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect TlcEval True Passed
1d301c45133ce75657445f14229244fea874f151 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect TlcEval False Passed
186aac8d14817a467c43921928c9b54d29af80c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq TlcEval True Passed
b3862b8d8996f232096fd859f1f9f0054cd2202b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq TlcEval False Passed
85efae2865369a4d78477a8fa6da1c1d337dcee0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond TlcEval True Passed
c0d7450456ae69efc63df192bcf3f25cd74f998f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond TlcEval False Passed
3f75a868469e7aa59a5b241b0dd9f82282eb4fed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen TlcEval True Passed
42184dbd47c944e0291e7d91f071973d8d40f926 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen TlcEval False Passed
d2fc3f26b8ce3196cd4910f6183856252aa22176 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse TlcEval True Passed
8c8ba2bab1ebc5a672903d9750ed7cef9e44a6a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse TlcEval False Passed
6380658db4f361062cd9958e9e70c778394c615c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset TlcEval True Passed
a4210995a5ead0f51393780a5923f7eac66e758f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset TlcEval False Passed
3f244c8bdeb115aaf03a288e55e5ad09f2cc1689 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain TlcEval True Passed
1512067aec7f0dba5cdbcc7337a18098534e6dcb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain TlcEval False Passed
778cb61739312808e5eb30c9ac43408af575372c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union TlcEval True Passed
6b7c01fbfe302121c4a05ff2a5e76ed09236bcce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union TlcEval False Passed
268cd1e31ee3029426e28da175e95e028ecc5a5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged TlcEval True Passed
ea9d7e379768aca749e52a6562887c254b0ab178 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged TlcEval False Passed
beb45271d01beb73fb184eb5d7661a7d8ad0c5af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence TlcEval True Passed
ffae997db89cb4986d21274d7832aa9615d76613 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence TlcEval False Passed
1d89c7ea821c4de307028924d353c8904d1edf9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen TlcEval True Passed
cd8628c1ea87e7ff4893dd83bc0785df263887e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen TlcEval False Passed
4f79d8eed40ada03dafa7522e1554c26734c790c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat TlcEval True Passed
37749a67b82c795a1b873c68204f9c9010aaafe5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat TlcEval False Passed
5bc1d5567f34b0879294a0033256b5b0f8a7060b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq TlcEval True Passed
be9abde8a2b2e989757bf8e0f4dc099e2e064ae3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq TlcEval False Passed
f8fd6aa2b47cee48a3decfcaaffc539aeb898454 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq TlcEval True Passed
3d87e0753fec617ddaa73df11b1abdfad721bd61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq TlcEval False Passed
215d1ca4912382cebd831babfdf735e8ec4c64a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq TlcEval True Passed
048717fe8743f07156c3246ad105538a412afe16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq TlcEval False Passed
975cb8e75b5d13ad2bd7ce081883de9a14441b6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange TlcEval True Passed
9a275d58403a5b7c7cc1622f26b58193a378dacb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange TlcEval False Passed
4bd5e380cdf9b6b25a34c762fd96424adbf299e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun TlcEval True Passed
71768be30ad138c4336047579204ab882b2b0c57 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun TlcEval False Passed
f255e01939d7d52f54f3750ea6e52c529a4825ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun TlcEval True Passed
9b935a95ec319df085402606f90b9b31dc9e0676 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun TlcEval False Passed
253c458613df889dd0c4c323cb00e91fe7faf85b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun TlcEval True Passed
b0889567c91ac684cda0a67c44eee78c8ac81f70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun TlcEval False Passed
4999b3d04d67160ed6f98ee056048525283a9f55 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq TlcEval True Passed
91b4ba1d77b63a8be7a13effdcc991becf1819dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq TlcEval False Passed
ff58d97e1b74a962551912ca2e6ba831a9ec79d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval TlcEval True Passed
9d130f01e063f7382e69b5bd3883aae501778ee9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval TlcEval False Passed
68c0724b72a6fb5f3ec357ddad6a0142ea07ff5d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet TlcEval True Passed
cd4398d49ace28805b0633a2fc6591ffd8b8b136 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet TlcEval False Passed
08c3f6a2b0ff74d864db291343657cc9a757f996 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag TlcEval True Passed
0324afd17220a5e8a3a034a37f14f6e5ce95123a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag TlcEval False Passed
63c7f26aa1f8567f6e4b4fb2f662ee8bdf8323cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn TlcEval True Passed
3a77a550fc0292f2b7fcd7a9df03f6dad02ad3c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn TlcEval False Passed
e19276adeeba48d7a1c178f0ee71ad988d02abca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag TlcEval True Passed
22d4efdb55d9753ed9b0fdafc97b5b1d112a76a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag TlcEval False Passed
6b6d8bbe3c44fc91abfa66e0e51ee39853036d28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub TlcEval True Passed
3f9e0919f3452e668121f6babc5ab4a07b1f155e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub TlcEval False Passed
af237dba81efa48a7b604e0a4f4c6640e1d34f03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn TlcEval True Passed
319b49f97057d8ebff609f12cec8cef767819021 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn TlcEval False Passed
c1c883bcb74d37b8b6a7a862db44de0a135f53d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag TlcEval True Passed
d9408ad37f629e26f9da37c26a842e8c87bad763 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag TlcEval False Passed
6b3a7abe0939785febd3cc7b298c5f4dd3da427b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion TlcEval True Passed
c0bc1224f0f3e3f62d8005ce20370da660f617e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion TlcEval False Passed
e9a10f300daa9d74b7a95d7dd36675938a254708 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality TlcEval True Passed
d13e324b7398f0196c82bf41bfe45972e75c2506 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality TlcEval False Passed
9a09e66ebae76dd71e31a7b1840dfaa0449b8c3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll TlcEval True Passed
a4ffe4e720dbcb7fec4aa07de933e997179f54f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll TlcEval False Passed
019a7eb440466464d715c2b20048ce82efd756e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag TlcEval True Passed
fe050ef2dc78e1ad6b415455304fa6085e9920eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag TlcEval False Passed
6d0622c482aacd6713c850da5c7cd23c234cdfc5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet TlcEval True Passed
be439b478f4539ca7a0d08b394fdb1e46e444d02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet TlcEval False Passed
9b0c1c9bc0a879d0e95bdd97e86de59207627f56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality TlcEval True Passed
918e249ce411c91e070eea7c697144ae6edb30df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality TlcEval False Passed
68118a6e89c814c0b261055f0b5258cd2d1afbc7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead TlcEval True Passed
3f49fde47127d2fe7adb221d9da965cfabf73c24 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead TlcEval False Passed
e0a7a4752be74deabe413dd69e8359a041c8d380 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail TlcEval True Passed
30fd941edc9cd10f256177bff60aa04099cbb5d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail TlcEval False Passed
75d3ac18af065e1773461f3ec89b127063c5aaa4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend TlcEval True Passed
d996b13cdf8225908adead4a09d476e5a9509eab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend TlcEval False Passed