Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
cea731d12557742eb0103db5173b6966ec8c5d30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq TlcPermuteFun True Passed
d53b676629fcc3b35de62f51b9269e091c23cce3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq TlcPermuteFun False Passed
eaec3a73f12f90e2b1fbf8af265260110f0b41ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne TlcPermuteFun True Passed
b9a7219a5984dd493da258fa9852839afc546956 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne TlcPermuteFun False Passed
763cd78cb7b4db3c78a118db4724eeef6ccc92b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let TlcPermuteFun True Passed
758514b04ea9c669e58dc0438ab21fa4d10cdfde TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let TlcPermuteFun False Passed
b476317ca7ae4d2148fb024b85e41a524443cd6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 TlcPermuteFun True Passed
4f4d5bd23a408e7757dd26774ba845bcf45d437e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 TlcPermuteFun False Passed
127f10a1ed4c923af6a3eca1a790c1e4b5c3d62d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 TlcPermuteFun True Passed
f7e861fde19a58300d1abfe5dfb533809673c834 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 TlcPermuteFun False Passed
111c166051a0d22acd1113c4896aaa6fe95d3def TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 TlcPermuteFun True Passed
748d6cae1135d525e6bf3efef2bd8e5041c4db32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 TlcPermuteFun False Passed
49feb98bbca69f2b2ec8a98af917ec0a4fe00b45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun TlcPermuteFun True Passed
65596b7e73c5d5307ed329a9e872ff6b73184a02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun TlcPermuteFun False Passed
20878d95e0c771d1feddafe041510064a1b3b9f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In TlcPermuteFun True Passed
bed7afa8f577da8ec0650f010c15db666ef42830 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In TlcPermuteFun False Passed
169dea7fdd01ed3e8c1206b9d5865be1504480bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn TlcPermuteFun True Passed
4863d8de686965cb3da510a9259f4d57034b7b44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn TlcPermuteFun False Passed
b1dd1116bb7528f113c4ccbe54b1335f29d63ff7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record TlcPermuteFun True Passed
dec2c41fcd5f0b5054ef50f3b4b8da6556319807 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record TlcPermuteFun False Passed
201df1e9351e4e2f32d3a9db7f97ab5b9442864b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple TlcPermuteFun True Passed
bd4287fcd44af8f0af9d43bd51cbe1a6c75d6033 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple TlcPermuteFun False Passed
730ef9c00d0f2a6a7a80169af21b825e59fdc02a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp TlcPermuteFun True Passed
2e41c2b3f51866f1bc047c320cb2e74c1c7615d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp TlcPermuteFun False Passed
3056eccd3f5a8db45fd8ec1c3e794de781703d5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun TlcPermuteFun True Passed
4e041fe887637cc1bd56cdfb63e50329af872349 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun TlcPermuteFun False Passed
4ef2b8be30e3f184e25c4450f2278c85f5486420 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt TlcPermuteFun True Passed
d8fad7d254ae1238f3056f2d8e2e4fa1f6f58e95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt TlcPermuteFun False Passed
98d2558ddbda606f98be24cfd80913677a471095 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec TlcPermuteFun True Passed
fa4ebdccf3ced0d48b6538338e58ea244d9cb249 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec TlcPermuteFun False Passed
6a4d32895bc7799abc195fd8841748b908d49bba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt TlcPermuteFun True Passed
e7cab7518816508dd9b3bb5cc54682e5afaaf854 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt TlcPermuteFun False Passed
6312631a3a8a75320cb494a475ac6587ca1c81e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun TlcPermuteFun True Passed
1020e6f82ac96928b832f7fafcacf22da3325901 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun TlcPermuteFun False Passed
c7025b9c3fe8bd69d867f4b7ded16c4cbcc6584a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime TlcPermuteFun True Passed
4ab6342bff0e1c7a3065576d1439a920148e5860 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime TlcPermuteFun False Passed
2f290c0aa4f5cff06e5d6196c09b40596043f61c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun TlcPermuteFun True Passed
5f92edd5a3a4407c6659a693b30dd75cf2b7ab85 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun TlcPermuteFun False Passed
51900c69f00821b89aa574da399fbef22325a29b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun TlcPermuteFun True Passed
9c8a16db5f492420191a69153e992b111bccab0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun TlcPermuteFun False Passed
c331fa4e8cb376ef9d62cb6d67aef72ead252570 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive TlcPermuteFun True Passed
f59f377896bffcb0da57c828d66284e733f54520 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive TlcPermuteFun False Passed
82d66437059e95dc91b140b82ccf9ff7f39be230 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive TlcPermuteFun True Passed
b4b1ce81e8447bedf91286da7a799aa4acb33812 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive TlcPermuteFun False Passed
b2a1957ef8d8f760fb25fb0eb9ba40f62fef0552 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 TlcPermuteFun True Passed
dff1ea5a62ac9452a210670ebddcb18e1006730f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 TlcPermuteFun False Passed
3a7d82a63c17bde47ddfd753d65e2deae4e34a8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 TlcPermuteFun True Passed
5a10d2405a8ce0010ea9dff20c9b9d1b226bb0f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 TlcPermuteFun False Passed
fe9f9b5527204aaf31ac9128919a7c6bd8e79d3b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 TlcPermuteFun True Passed
d0cae5bd05b46fd66c5f6f70c41dfdec1c045d8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 TlcPermuteFun False Passed
133d7868321633b7024a02eae6450a311ddef5f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 TlcPermuteFun True Passed
a9fe3db41568fce17c0758e8873596b32715998c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 TlcPermuteFun False Passed
0a6d9ff8ce874d7c1c63ae15c741386738d50c11 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 TlcPermuteFun True Passed
7cc046c6ef3abd12e0e60f9ab8423370d43cbff8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 TlcPermuteFun False Passed
0068120e1469d6f4f7fa32f55becaeba68dee48a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 TlcPermuteFun True Passed
743b00ee76335a3361dd7dfd75cb08d9d4e84f70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 TlcPermuteFun False Passed
cb47fc622bc910e4f73f67e35a7095c8e263310e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive TlcPermuteFun True Passed
0b09144b14c2e31673b2d7a438d1cf4340ce7e1c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive TlcPermuteFun False Passed
9803027ea3094d3d53ff5650f335f8c76f2cb6df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive TlcPermuteFun True Passed
b4802100e500e37c112588cbf2b085975f930f8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive TlcPermuteFun False Passed
578aa5d6ee8a371dd6ad9668eb12a78a4b406f49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends TlcPermuteFun True Passed
84f05a58b3d9904e505f524d7debea00ad9021ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends TlcPermuteFun False Passed
fb87949931bf8f64b7c5094308851dd1760f77e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder TlcPermuteFun True Passed
848dd644445339a0019f10114caa400a56442246 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder TlcPermuteFun False Passed
18add218b12bb763fe51f317358cf1ac86454663 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable TlcPermuteFun True Passed
fd19dda2bc384267604bc58c718a7bbf5648fe18 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable TlcPermuteFun False Passed
dc4f5a4d3416d6a949000fb99a952bd112e40864 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude TlcPermuteFun True Passed
95e0d1d8651fc684358b6b24894ebecc98d08455 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude TlcPermuteFun False Passed
ae0b380fecc8362def251a376da48ec15ea7b23d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant TlcPermuteFun True Passed
4dc5ca041fe63e6b1eb86a15be872184d506522d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant TlcPermuteFun False Passed
bb9a9cf4133238a4f7d0ef9adfa1d0d4b0fd53b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 TlcPermuteFun True Passed
f72657a3ca42a50849cff50c09b21096c2fd894b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 TlcPermuteFun False Passed
c7087e5608abdd3aeec58ff8a520c1128ee1869a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance TlcPermuteFun True Passed
fa7e22888cab15be49df69452d2d6e7d0cf6e8c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance TlcPermuteFun False Passed
0e0dc3641e458aa03e382c95e9368bc6c414d22d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith TlcPermuteFun True Passed
9b218f466fe92268406df2f9ad7daf03b2aa34a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith TlcPermuteFun False Passed
c2a193543de9f586fb51e743741a686b8fffa9cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed TlcPermuteFun True Passed
b156df115837d6ec1394530bfecb7bd8f197b410 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed TlcPermuteFun False Passed
1ec021bc76f9256b56e60be544610147fb775e8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith TlcPermuteFun True Passed
9a342a3c4913c3d7a3d3a506363fc4dc50bf134b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith TlcPermuteFun False Passed
f86fe531964de1e7596fec8952b5ee3a07793fa1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder TlcPermuteFun True Passed
60afa54d474c59938487ffee5006ab43174ac92f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder TlcPermuteFun False Passed
2aa43a174f6296280d22a6169fa33f8b01473f7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder TlcPermuteFun True Passed
a1caf268592af56ebd51aa907b23f0989c3ef910 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder TlcPermuteFun False Passed
b7050e8f8877b4c98cbe92deb1a422abb237b678 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder TlcPermuteFun True Passed
dfc87bd57827231d74c9b3e947dd3fa28789c916 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder TlcPermuteFun False Passed
d61a9329366997be915b64b6dc497b90425691f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder TlcPermuteFun True Passed
ef71e8c2d50aeb3aec55f8076ae73bdf58751c2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder TlcPermuteFun False Passed
b6f903e848871dba48f8cab2fa468bdb74d77a62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda TlcPermuteFun True Passed
c9755bbd51e5a0230c9c5c95da2ddc6090802501 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda TlcPermuteFun False Passed
1875e451a3bd9e79cbea06f7287946535edb0563 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 TlcPermuteFun True Passed
0e5cf9a8ec2f0bffa086776a7e0749df71ce4090 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 TlcPermuteFun False Passed
d2b26369e803f3c8d4aad0cfffe866d6f5051168 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 TlcPermuteFun True Passed
487ff6aa8cd5dff94b8e3ef667d6ddec8cea2024 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 TlcPermuteFun False Passed
77a2de27d6b0f9d5808fdc3e66b07ec73d871df3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet TlcPermuteFun True Passed
fde88777d7f50db9837580e475a87a192cac8a90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet TlcPermuteFun False Passed
944c585411b1ecad4a1a8312731bf8c993efe57f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet TlcPermuteFun True Passed
e6a44685214248943c21097a0ab9427b076cb8ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet TlcPermuteFun False Passed
04e100ef4654b01684a0dbe3909835621bfe7411 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff TlcPermuteFun True Passed
5af91af4a8c7f1bb9e03fa690eac81b106f02df1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff TlcPermuteFun False Passed
9a5236d22e568914a757147d894547973b22c83f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion TlcPermuteFun True Passed
6b4d613db53663db2128a7692675f3fd2b1a95c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion TlcPermuteFun False Passed
21e932b20c5a19d1ad37d28f4cc995df18c0ef9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect TlcPermuteFun True Passed
0b4d9a54e3a90edb744c55aa955dfcf49a52252d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect TlcPermuteFun False Passed
af3e6c031a79bc35bef0d07ba0b6dafe282ee699 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq TlcPermuteFun True Passed
bd1c3c7b4e1c3edc9419be2ec508bb6c49896e34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq TlcPermuteFun False Passed
b46d556afc5e09c3c3b07d76854d06ecd5d761ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen TlcPermuteFun True Passed
353b73c0ad2419503704846fbb9ebbbc626639b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen TlcPermuteFun False Passed
382c60158824170f966888ed806b630ba1dfd7b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse TlcPermuteFun True Passed
a2e00790cf712c7eafd1b29bdb31d55ba40d0811 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse TlcPermuteFun False Passed
2fa9f24002d792b969467827f87df34ba5dca259 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset TlcPermuteFun True Passed
b55f8a92f67e0f579169389df988ff8637de2555 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset TlcPermuteFun False Passed
0b1d43f86f1556d5c07352c3ceb421d51f7cc24a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged TlcPermuteFun True Passed
47d778333c0561b0f6bef078455a0bbbbb4b434a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged TlcPermuteFun False Passed
8a3c4a61122422b7b74ed07d172e9edd314a16e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq TlcPermuteFun True Passed
5638f04eeaa89374e721f56b064107e02975229d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq TlcPermuteFun False Passed
e167b946094b7b52ab1b1f0bbc8e077afd69cb04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun TlcPermuteFun True Passed
a7543d2c613ae41f0fd240b8869dbc6001e45f32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun TlcPermuteFun False Passed
99ebc001bcedc9746534a83109a41db81073c659 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun TlcPermuteFun True Passed
1fcbe9379fa2834b090f7bd68f628a33161839ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun TlcPermuteFun False Passed
4a226360a2e4f4bedcd33e5ad01d87734d441b71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval TlcPermuteFun True Passed
6cf85c9d5d96045641de731f209beec00ce77f39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval TlcPermuteFun False Passed
4ec918d81b5b3e46bf2a3ec22058a5da08532168 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag TlcPermuteFun True Passed
6f7b4e9c219a31462a4bfd8000d04a2f3e29cb07 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag TlcPermuteFun False Passed
485f5b2aa257327d01720b83880ccf96c516a692 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn TlcPermuteFun True Passed
99609bee88763da5098d79d9048e0e44ee582e44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn TlcPermuteFun False Passed
89e385346561cd0a005a8fd5b05ca2b8728fde74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn TlcPermuteFun True Passed
960cdbb94d8213673c3e0d59f4e14952b814a932 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn TlcPermuteFun False Passed
912330c5b789ce7230a4a6086baa9d9fe6085a24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet TlcPermuteFun True Passed
5dda86c758972570967eb211d2f0a8f0ad3670be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet TlcPermuteFun False Passed
f31cb227b4477a30f6a54fd94a978fe3cfdbe87e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality TlcPermuteFun True Passed
c5ff44d21b2c1b0b53f7b86343c8acc4b2bb2f3b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality TlcPermuteFun False Passed
95ab8d6f54e9818ea25dda9fbd8c0759091896e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend TlcPermuteFun True Passed
b4032632b5d0927c4b27f40b0b2276c188d8682e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend TlcPermuteFun False Passed