Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
779166d6c3c0f24cc2911499533825b4ec6d96ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Def0 True Passed
e92458189f6a859d53af9580c0d37a0f793d55a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Def0 False Passed
34ed3f8ae986009d53891805cbb57d1e132ec89b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Def0 True Passed
e998d13d6464ef8b9c629603e1b11f88920f130a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Def0 False Passed
46c1b81d68c263f9a1e11da09fc6e9cf584f4fc8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Def0 True Passed
f69fd5102b835e0b6ef48c83f157c958048f2890 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Def0 False Passed
407daa42e301065324e3252c51aa23835d54c1b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Def0 True Passed
0eab8efec190b3f54fb3923840b0f7ddedd9d912 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Def0 False Passed
4e27bf9e1107f863794eed1f4c5579346b4cb96d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Def0 True Passed
c9ef53907e14a41c630404610d4f3d9d5318df0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Def0 False Passed
2f7e6060538d37c64f7b1e4f31e3b25eb0d7ae53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Def0 True Passed
87bb574814e5be4fda3cbc7760647fdccdaa8b4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Def0 False Passed
002be8642fb1d2f6b1b443aefee731fa7b4385c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Def0 True Passed
3d9adb3b2f484b2d3df951c56baf70b88e2e23cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Def0 False Passed
e4b4b620abcce957f001e435699e087fee2b0855 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed Def0 True Passed
12110a836ee988fffc0c0bad0422109bdba08695 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed Def0 False Passed
836d9e7e9dbd36e92b43effcc4233b72eea8b199 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Def0 True Passed
0eea46793b2cbc8144be88d2143d80ffd66492d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Def0 False Passed
dabbee8cc9e4e1c26556fb3c6cd43a779dc5c721 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Def0 True Passed
9b2500cecda8dc67df3e51251fa5ce33142120a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Def0 False Passed
9eafad2787ad78d9fcda8733d2bc7ad39586d88d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Def0 True Passed
f3a1f90a00c3bb5c26a175029d255494d978713c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Def0 False Passed
e8580dc050921a4ecc49e6c4bd3308ce3609c442 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Def0 True Passed
a6bc3c99cc738e096d7e663636973754b6d8a911 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Def0 False Passed
ac7b77a1a6e68331f1f4578f1b36bd468220b346 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Def0 True Passed
0f54eeace956e3ccb3c53d63eb21d096b87ca139 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Def0 False Passed
95fa2e9e156ef35a00f41b07620a5e8f2d0f42e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Def0 True Passed
a4416e13bb1a795c9e033015aaad6002a6c9bfc2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Def0 False Passed
d225fb95ab7aab39126c091282bb84b48869476c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Def0 True Passed
941478ea491fbdcd559f8c3dc6c8b38f7b57b251 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Def0 False Passed
f3af1187020cb6403ef97bf6a568c847a52733d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Def0 True Passed
ec9de85fb2472b64ad757d1ebd4cd9fcd49d37ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Def0 False Passed
e2b392a41a4e97a7b0a2e71c4899ebffe40bd772 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Def0 True Passed
a64f70cb8655c1280aa85857c61d59d1b3401483 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Def0 False Passed
2c5e2693ca06afc5578c263aa3feaf3afa4a1aeb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists Def0 True Passed
6f97438c1d712d98456fed7878b9d738a5e26453 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists Def0 False Passed
5f1b54b0a040ba2238cbf66a8c647d66bdb120fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall Def0 True Passed
c36318954e9b0e0a1aaec7d378138dc1f4cda7c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall Def0 False Passed
a0cc7d17531c59b41caad3a69852d2b7a4d7d3bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Def0 True Passed
95cf1474a2ffe057643ef2f81563dc08f0ad95e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Def0 False Passed
d03650bb15b57cd620e1022be9a6fd905bfb91a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Def0 True Passed
c9372889b2f52dc4562e4ef831ed3987fe7f7141 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Def0 False Passed
726b8657f55ae292fe3da9b472edca7a4fb6fa28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Def0 True Passed
ca7b11b1b76a9afca88a2fcade3a4ad7d47246a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Def0 False Passed
8ed1aaa3d7957f2d36ad5fdb83891c673ed27835 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Def0 True Passed
638d2d80e5a2c0b5bb2dc4e2db8ef1aeff499cb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Def0 False Passed
46f565850ac4d886ff37d1e4c32a3a0c85672b78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Def0 True Passed
0df785ba23cca30e65b4bd1d56f5fcce3d387823 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 Def0 False Passed
46a05c64a903639521b7458fcdfdc03087ed2082 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Def0 True Passed
3c9cfa46e8913600c5d0aa06705c3b613297219c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Def0 False Passed
4a0e5a52ae808744477406c4dcb3004f1fe55973 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Def0 True Passed
37579c3d0d244b5ef492ede35523a879c0f85b24 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Def0 False Passed
e0482cbf7c3a1487de878d0719abc0d33d50c6dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Def0 True Passed
9230af2b97278ebd64252cf8444c696e93965895 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Def0 False Passed
cb4fe3d5b2dff76b93d0460df0cca5f6d687b180 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Def0 True Passed
1ecdb0a89a4381013cd3f3882f289e15fd12466d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Def0 False Passed
49e8858849390f1aedab1f8ad8596fff4eef4aed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Def0 True Passed
300898e640de0c4b3c34bfb4bc9ce5267b13968a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Def0 False Passed
8edcace3ca939119d194d6e1c2de2abe2db109fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple Def0 True Passed
eeeca061b56acb9378d21b4725bce19259e4159a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple Def0 False Passed
f9776b1abc2d0ab3ed0be017287ddf20f430de57 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Def0 True Passed
20c94b133d7aafbcbbdce31189b25886b542aecc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Def0 False Passed
b8610e4ec089ab69845b3d3773fad2a79e824310 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus Def0 True Passed
4feb9efced5a7f655d4fd307f41049f0ef9fb9cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus Def0 False Passed
1846f5a62de67b47e2356f53e8647361d12960e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus Def0 True Passed
a8c3a5cda872c9b7e2b5f445ab3ab24475a20f58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus Def0 False Passed
b3777d3585391bc09a2aa35f0ed2d03940051479 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus Def0 True Passed
5d5933b3584609ff8dd21c611a85ca3beec621a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus Def0 False Passed
6144c7732f6348140d6691c5d2d0ea04cce7edb8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul Def0 True Passed
e156747f9a77658ae86498ae966c2000e8fd9069 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul Def0 False Passed
236e69e0c1184fbcd5e5e9b96943b75787d53cbd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv Def0 True Passed
4609b65b6b70d0944951592c1d4e29055e381eec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv Def0 False Passed
cad1ca06a7a7b2961d3beb49d2ca58e432b386c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod Def0 True Passed
bbb2db3afaf341827e96155866c3963c22fabc68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod Def0 False Passed
23d224ec45bf779211449d417f3ef7a90654ce05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow Def0 True Passed
951d76478c3def704cb5fe35d7ae42948770adfb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow Def0 False Passed
b58589da15f567f8baba1d9ce5997d44d6cc5718 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt Def0 True Passed
2f0b7aee97284b40cabdf5a571ef22ecf1cb888d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt Def0 False Passed
e5fc5459efb797a341860cfaeacdf5bde05b9fd8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe Def0 True Passed
52aea7b743a4ae84433f1385f38973fdc60904eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe Def0 False Passed
c7b67007798eb5ff2e8cee1644336a80f1f73b81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt Def0 True Passed
e44c8900d37c39683db060a41513210d1a9487a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt Def0 False Passed
376fa3dff5f327fc627b207bfbc246285b71859f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe Def0 True Passed
462e6229bba2d8c0e2035c8881560b575258fab4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe Def0 False Passed
fd79fbc315bcb0a9ea275d792fbd288e2c9a517b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Def0 True Passed
683af5d72d1311c423eed3f030bda8d1b1455ada TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Def0 False Passed
6a380519673dc6d5fdd97dd1f4370d4da2201111 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Def0 True Passed
c605635eadd67d1f8e07de6ba05f8f22713f3844 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Def0 False Passed
c852823ecfab35b20e2748bb9b5e175dbee322ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Def0 True Passed
50b26cc35dc19c3a855196ad59eb9e99d228db40 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Def0 False Passed
9efda0f4a2e7cfe1e986acead25243099f49e5b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Def0 True Passed
a362c8c3fb86b557c478f678d72279f050e6b41d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Def0 False Passed
5252c3462eeb0c6c50ab0e6d2c263970e3d4b5fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Def0 True Passed
9ae74ced418599dcc817d7895530f36c06564083 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Def0 False Passed
dcaa9a883cc7b816acb9bd996e1bd5ea5448d007 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Def0 True Passed
2a95ce146c46708f900a5865aa3b6fea4c9bd54c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Def0 False Passed
3fafe427aa7e785f45db1d30bb0730ccdba24e68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Def0 True Passed
5322ba69a07af06278e0a478edb98839e7480175 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Def0 False Passed
e711c13e0f501db9b269e0c838de18d151c3f63f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Def0 True Passed
c728aa3576231fb2bd6aa8738d8ff1fbd69e2d9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Def0 False Passed
1b2dc2677a9a886014a0d6963e581fe0daf829bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Def0 True Passed
bdaa8e371861e2ee730df2406289817e3fa9b490 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Def0 False Passed
c8996019988d93a9862a4a3da299312a74270657 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Def0 True Passed
2e8ac2672b6915bb3702f9a33940c241c4ef5344 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Def0 False Passed
12c9cc936846084ce9c594bb51c00772798bcc78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Def0 True Passed
8e45bf480b98c4aa5833a8f4f106c5f24e37bd9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Def0 False Passed
ad433d48e0cf7664bf3ee72a08e254a4ea4fa57a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Def0 True Passed
fb29fe9d8bbb882e00a0d79e5efa613d13b0ea2a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Def0 False Passed
7e5345bee9a6e20b16a684025a13670b9115bc25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Def0 True Passed
33f43049caa0d9c12442f2c4687b4182808aab2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Def0 False Passed
b2f3b7f0cfa39848cc15ee585f9511dc56bf1446 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Def0 True Passed
fbe0e07e4fb8fb26aa61e26d5e08d5c6a3c1d537 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Def0 False Passed
2a63c4a1096ef7cc0f79f6323b0e0e3ab9288b8b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Def0 True Passed
3913a5368ea4f582c84b9fcf6be60d645f52bcaf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Def0 False Passed
1b44608e369bfcc7ea29d198f63a759eb37dcea2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Def0 True Passed
d8c13b5e8113244bf9f239868836295156646616 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Def0 False Passed
b697fc32a8722a6efa9160ca02ffb2e1a2e2ac4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant Def0 True Passed
9a6903ac0ccc344283070c142f7701d76aa3c1f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant Def0 False Passed
394688afb9f34169c02055f0eb8378956798d16c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Def0 True Passed
d544dfaa295128b71b17a02766ab9baa599cb77d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Def0 False Passed
56f5be94d997ea4827058c8eb7efbb10950d64fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Def0 True Passed
abe5cce39e3ea9fc857faaf257c6759bc0e23e3c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Def0 False Passed
49987d581a9aae626d548da7634d2286d30976ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Def0 True Passed
de08586a2440af1e85d42c4028f92a63fb0b06c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Def0 False Passed
26ecbf0980ed21e1a7180c26cd18b58e14b40ee4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Def0 True Passed
1000817897698563b272e20936142ba6bf9ee4b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Def0 False Passed
5880a124c3d8b69461c4793fb253982af6eb8011 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Def0 True Passed
edc59c301d77992f2db75db0d8707a41e34989b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Def0 False Passed
6bc5118ff1e7f1a16ddce2f0ad74c11de0b25668 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Def0 True Passed
9e5c2edbf6d83efe0512e7dfe5deff8170a1bd9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Def0 False Passed
3a3d32a08c9a74fbaa5b7a9bd844b797b7fff8d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Def0 True Passed
b024e4d12180d46504621ba96cf257b73cf7eabe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Def0 False Passed
97f4faa90d072c40a7942d2e8e9996a7d11bb75c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Def0 True Passed
fe9ac32ba160b8fa4902c1e84582496919387118 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Def0 False Passed
2e5bbc454cb92871e9edea3c27eff2a959fe38fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Def0 True Passed
97bf283924a9fe0e31961c1934a0eb264ad5af3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Def0 False Passed
724fda60107a54b67b9c92e94d3fffa618221b65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled Def0 True Passed
01131724da62f6fb782f69800b81c78a97d6392e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled Def0 False Passed
5aa8f983bcf23c244ccac58d91d2edc6b053dc22 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Def0 True Passed
0a43ca413ee11a37ee582148345ec2b84a5c6513 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Def0 False Passed
1f7bde6228175ff8c92cc38c81bd0047b272569c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Def0 True Passed
bc48549a301fe6706a9b865152ba005785db8e2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Def0 False Passed
777a24247bef78197f500d715687c992ea00ba8e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Def0 True Passed
f33cc8b986383d533ed01f645dd08c50fa7db6d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Def0 False Passed
4d422beef3f74b12c96041aa03d1c31e2e3cbb25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Def0 True Passed
863b818da7ce1365507ebfe495fa39d5af6ab427 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 Def0 False Passed
ddd61223687e58b2ccbe8203060c4f53454226a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Def0 True Passed
8d3f542927dab0f7f1407308f39ef98fe5fe4ab2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 Def0 False Passed
8384f3b6fa480b2f80cc03b4f187618f9bcca544 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Def0 True Passed
72a6ef65c1030a823fbcab04209db950d1c8a158 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet Def0 False Passed
7bf6981e26c855dce9ee72dadfd3477b809b43a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Def0 True Passed
55685ec9d167873a4fbba11a950a4a457dd4aa43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet Def0 False Passed
3a75a85159b787fb2591cd96edaf83696c7dbfd3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Def0 True Passed
38956ee73fc7fc749e4600c329615d1d856a8496 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff Def0 False Passed
77dda6e142f4a0a59c75b2fa7718c39b9c1f55e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Def0 True Passed
d60940be0c2dec66f43c17768c2277b199848319 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion Def0 False Passed
a4a9cafad783fc03e64b7e12a030af42eba91ebd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Def0 True Passed
7eb64583b7f907ed07f7fb6cb50f0cc6ff76a4d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect Def0 False Passed
ee21f2edd3cffc84c369bec5d6910200a9b34aab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Def0 True Passed
96d6c4b57c14851dae3b1568f4be134848638ab1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq Def0 False Passed
9c015f9e3eb27f7dfb758110bb819d83bce9b4f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Def0 True Passed
e25e33e8b4aedf03a5b952ec90c46e80d8be9679 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Def0 False Passed
576f4ed64a7c3c9f63b5579a9af52f50b77708a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Def0 True Passed
fc036d01f274238541cf437316eb7be78e185a99 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Def0 False Passed
2aae191b94e877d92569db756d5c26a85279a1e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Def0 True Passed
8620230462a0be838311575021e09948f589b6a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Def0 False Passed
5b7b4990ab3508321d832c6cd688b2fd32de9266 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Def0 True Passed
369e287749fbaa22713cd094e184a4a352d041b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset Def0 False Passed
3288fe0ed367ce242baf782076454aba637eda25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Def0 True Passed
330e5d58e5344d1edd71393f1adb65d11cc2ae7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain Def0 False Passed
6717fc530ca6e96f87bdd05fdc539a53b75c3779 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union Def0 True Passed
8b82ec550340eb829e05baee21d74eb690df7523 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union Def0 False Passed
6d231609860a3240af8a6321a9b71cb3ffa5dd6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Def0 True Passed
aea37cc82c67b493b61612d9c53ccfd21d9badcb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Def0 False Passed
1cc32a189e494f511bba458a8d857fcc713ec23b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Def0 True Passed
17e200051dd6994107106f2c2ba0628428a1f6da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Def0 False Passed
b4e8813ccba096cdc5e5f65ea98f4f5953303e05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Def0 True Passed
f5ca05d0a0a841a930ddfda1fe3c78ed2c41257c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen Def0 False Passed
b80b5d793627d4d7a86272431c552deb0db06626 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Def0 True Passed
8abbdf0e10ebd925b5739333faf0d4b7cfd84e9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat Def0 False Passed
acad84c8c0813bc266043201d51b4477fe68e77a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Def0 True Passed
d172bf5fd5ddcfffe70375317919f810ce6b6174 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq Def0 False Passed
2dce2bb424fda39e6012c3921ac9bd1f7232655f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Def0 True Passed
82408d7cb9627ebf53492f5c021df4d7fab3a2a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq Def0 False Passed
baee64dcd07cd606706d33170d87a66168edc29c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Def0 True Passed
40a1436acd1342a23495f3255c82a4b25da6357d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Def0 False Passed
10843436ed2085c13efc15332ad260b39195cbf2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange Def0 True Passed
9785cd283503e002268483562bad1eecee4a8fba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange Def0 False Passed
887b5508c52f0c233f75c2bf4a39167d300efb6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Def0 True Passed
c228b8c86c93f651fd419905531c1b5c26e6bc82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Def0 False Passed
a4230a5c10176b40dd78e630b211dcdc586fd271 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Def0 True Passed
aa950d579d9a41bb48ec5312bca24bca84f557a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun Def0 False Passed
467e4f13c162e16bb8a585e43e722f139d6dae9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Def0 True Passed
6914dfcc8b5db1fdf735edebde3979f61192eeaf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun Def0 False Passed
e8f87bebac62b4cbc461015667ebed113012a9c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Def0 True Passed
d0d4b54072f44a833c3e01a5229a55ed61c05c6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq Def0 False Passed
244fbfa20f3922cb6f01610f2db67189a97497a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Def0 True Passed
65ca91c745392a53c13d0f9207091cb4d9c296ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Def0 False Passed
65c29d0a08057b2c5e85f43e011786b1f437dd12 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet Def0 True Passed
74f9799971dd40bce81166bc9b554ec44834b98d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet Def0 False Passed
590022b2d014723a3e68106c60b92fa6972c5e3a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Def0 True Passed
b035a185517a98bce920cdfdb197c28108e58c61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag Def0 False Passed
45d55616807481a5769a79be5e28eba0cd79119e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Def0 True Passed
d2ce7bdc6cc858104951d5bc1451d067bc196c8e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Def0 False Passed
bf68d390a4c7734ce073d9c9b12f80839a9b285c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag Def0 True Passed
7fdacdd56c8376b61701ff4a36ef251ca472d499 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag Def0 False Passed
63d094ea9ff8ccf432d9f2bb588d1edbd98b541d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub Def0 True Passed
eeaa79dd1ad7d1ee4be4f63888ad9f0c213117af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub Def0 False Passed
7f2fd0468c63fb4a71264766d6aef0d1c914efdd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Def0 True Passed
77ed4ea5f4b0392781deca4816e10311ea05457d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Def0 False Passed
aed47b8668bc898f9d0d1c57c4bbed713aefde74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag Def0 True Passed
abaa337896e11d7a206e9437d7c039c3aefe226b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag Def0 False Passed
b4cd27d609fb2f6534974d918bb7a91148705500 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Def0 True Passed
529cd7cda3fc9b693dce5c11037e6606db14714f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion Def0 False Passed
32f03d514e7a33b56ca036c1fa624a2e6da5c484 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality Def0 True Passed
1d2219245f5dc9419f7046268135dbcd4e835055 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality Def0 False Passed
29a31f546d41275bfe563fd9caaf77994779e6e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll Def0 True Passed
3a90d568d79e723d12e7af00cdc2ea42d2ba1548 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll Def0 False Passed
53d640df6c66db70c74a11f51e0117dbab8c2679 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag Def0 True Passed
523df22658a1a180abe817af41074d6beb507408 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag Def0 False Passed
86c4b7ce239ca42b3ab8a6b7fd26300770fde940 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Def0 True Passed
ea13383a68e3e12ccb5f204367919ae7fd5ef5ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet Def0 False Passed
9c7122cf498e409c3e3b88b3d898be3140f6ff2e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Def0 True Passed
d8a8a8eb64240fd7f1b25d7d226ccdc265feab42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality Def0 False Passed
ee721c921caa3a86482a60a7d1ab1d8c9a879cad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Def0 True Passed
ddd0fbf7faee228eb63b7369215df76e01607434 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead Def0 False Passed
0e53f7d07eebbe203624a39bb88fcf7f9bc85fdc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Def0 True Passed
54f2a5ef7cb9829b6a7419f170bf48b004555d47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail Def0 False Passed
96a0b5f07ae049bddefd0e5da1be4332f73c3150 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Def0 True Passed
91fe8c500cc5d2e94034dae43ac3d08abb11a70e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Def0 False Passed