Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
34a326d99f8e646d48b23504a66ee8d3caff3de0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And SeqHead True Passed
ee2912591288f2ba0a737a3b7318731465f47fd7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And SeqHead False Passed
6f0102487afbd89e129a9e8b1a94f8c343768c72 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine SeqHead True Passed
c65959b310d304df4691d2ba3057e5a4b1ee6db9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine SeqHead False Passed
6bfe61c3816af3223c923177e8ebb0a11945f43c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply SeqHead True Passed
8dac74bd9f5faa6a6a93bbb48a8a5857b972137f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply SeqHead False Passed
e7e0f6efba265ec7e0678d674d7749a7f62f4679 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not SeqHead True Passed
85dd7214db1dfadc97b5c4ce92be79bd2d984ffb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not SeqHead False Passed
4ea05a6c44d59ac44422f407e8b220843ba6c127 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or SeqHead True Passed
f90296fed78a0f330fa451208d229d2c15b9b695 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or SeqHead False Passed
35cfdac6f1f9f2dc845da2be98b7c3c4bc515ec2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine SeqHead True Passed
f887082c993f9cdd87ca6ac0dec2c47bae923f25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine SeqHead False Passed
0d5bd76ffacb33ec09fac7233bef180d7a73240b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp SeqHead True Passed
a449ac170f19339358f322dea4babcd84684eeef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp SeqHead False Passed
7fb3aa6fddc314380b932dccea7de3824b36c848 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed SeqHead True Passed
ef212e157751fd62f4f3d1644f78ecc956b9a959 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed SeqHead False Passed
10c868e5745eb974acf6ae09be5562425467bce1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq SeqHead True Passed
5a55886acdfc7fc0fa878ee8b56159a5688d506e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq SeqHead False Passed
498ee4a7c757340d989441d5b5aed75ae5ffa3e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SeqHead True Passed
25c9286b0d268b5be1e8b64213a5cb65f67702a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne SeqHead False Passed
5cf0fc2c43029690ebf664946fe706ebd35dbaec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SeqHead True Passed
7e2f276be339d64080190e988085ce32d63641e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let SeqHead False Passed
7277f36889e0dc7d27a5b5a734ae5ab4eddf1315 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 SeqHead True Passed
1172e83092849e65611c3e6f6e5f31d5504b10d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 SeqHead False Passed
3f60de0c7115b035f7ae43b2854987efe29e0052 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SeqHead True Passed
cfcde876063b49e3198553d99ff05c40fcf598cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 SeqHead False Passed
9ec6dbc76f5abeb090a88823acf396862c5a4b96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SeqHead True Passed
dd18ea4d82d59265f5f74dc9dc75f8276dccdfed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 SeqHead False Passed
4568a72114e01d60d21b116a45a902f965c003eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SeqHead True Passed
4e9349120abbedcf88de24031c13d28d91dfe8ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun SeqHead False Passed
f12c01b52c5499aac0fbfe8a95d2d84608b67731 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SeqHead True Passed
a7b88f56f355e00c469e64d9358ff072b431078b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In SeqHead False Passed
8ba9311e1c938f2704dcf5b033ab5d1ac76b295e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn SeqHead True Passed
c33fb826023a52096a2ff3af40f0cdfaa5c20985 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn SeqHead False Passed
006b1a9156d8d0da022635bc5f57425e5d73b086 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists SeqHead True Passed
2b7648a69f67980f8c2d2b4be6bd6377618c2d66 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists SeqHead False Passed
d330a6b312fb5f1251bacfad6b76375872cc13a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall SeqHead True Passed
691554d5c4e2907e314705dff8a160a886b26ead TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall SeqHead False Passed
f6d705f761d055ac171f3ef101951737af6839ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose SeqHead True Passed
95e2509e9e654d1a827b3fa5e54d6a0a34a40890 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose SeqHead False Passed
4e2d597789d2343761404a83292aa73882513196 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record SeqHead True Passed
e0939c9a07ea61469d2b55a429e9afe5ed8f7050 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record SeqHead False Passed
a9f1e63a5dafd5d3bd033418c3466840a8323265 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple SeqHead True Passed
8a754da32f515c9e6c7a41af79fae5c1567288a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple SeqHead False Passed
4cdeecd6ffddacf94fc2c2ea726211522fbe19d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SeqHead True Passed
3085fc9b9e662f6bbb4d652fdf4e7b21bb4e4844 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SeqHead False Passed
ee9d2d9b7b62d04c70ee96dac0c9ebedb2873f0c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 SeqHead True Passed
32635f5c1028f0bd95b11697a5b970cca0e6e27a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 SeqHead False Passed
253dedb8d2b52bb926b946eb790d86ad90d875af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SeqHead True Passed
da08c3db1de15097fc6f0b95a079d9ee444df721 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun SeqHead False Passed
7e89c9aa705d2b71cf2d424b6a571c419a115a47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt SeqHead True Passed
4b1adaffcb0dde37ba74ad870446e4834dd6cc6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt SeqHead False Passed
f0165c8a27310a765a5bdcc7c36fb1297cc60ba3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SeqHead True Passed
a6037665ae7ad728ddd318e97df29f6d50772f3a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec SeqHead False Passed
942e223538d13224fbb06c7818a190dfbe525423 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt SeqHead True Passed
3aa50f13c8b7efc1a7625590a1264f013b43dd01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt SeqHead False Passed
3cc230b90d187214e7877be697629bef762a4f75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SeqHead True Passed
70dd0709b3b6d5c036bfe2d4e02de758cc24df35 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun SeqHead False Passed
a6a70ae2055c5c45595d4b7c47266a3d1af6055d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple SeqHead True Passed
18a21653c89d40d2886cb3e50ccd164e07fa369d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple SeqHead False Passed
8ec400bee8bf8278c14ec343b7a72ea56883ec7a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime SeqHead True Passed
fb3cd39663ce15665ed945028c3d7f225ff5f868 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime SeqHead False Passed
4014c59c1dbb8188718da6292371929b4ff4e86d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus SeqHead True Passed
50a582e6f121075ae3e9756795c6eb462ec87c62 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus SeqHead False Passed
8d2c2225e15f6669d67f057ed81e31427594d19d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus SeqHead True Passed
93ffcc959dc4d4d4785b8dbabc52a6c85aed0c64 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus SeqHead False Passed
3c6aa137f2342bd6039a77c584e639a82c911db1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus SeqHead True Passed
a750547c80492f3b29b0647d21d7876854a1cc1a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus SeqHead False Passed
8ba54c16509578897dd1fb8b71a44078d2ecd32c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul SeqHead True Passed
f2173f2062398f7c8c643ca939b5cd21d682cbd7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul SeqHead False Passed
c88a15e2c5314303b0116dd393e5a96b01614711 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv SeqHead True Passed
b371cab73e45c1f4cd530289112c8f6730a52bb3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv SeqHead False Passed
e1bdde5827bd74f6e690eb1c079083e8f3c768c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod SeqHead True Passed
9387f0c2fbe897cc4a654d1199da97662fe2810c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod SeqHead False Passed
042ed00ec3c1fd4e220b29997163ee2149484936 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow SeqHead True Passed
64a27dfaf15799d6efcfecce62e1ae71d361d6e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow SeqHead False Passed
ee0a0abafa661c033b3b623e3797a59bc2b46bf0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt SeqHead True Passed
b98db9037c5d03c49e7e34806499ca1d0aae5bfb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt SeqHead False Passed
5a504f9114b3d4a1b9c9a12ae6fc564737ff2ec2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe SeqHead True Passed
be41fddd12c644dae0b2f3328fdde3db710f375b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe SeqHead False Passed
713528a9dd4776ce3771d81cff48a4e22405c219 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt SeqHead True Passed
fa4eae34e1a82b8a1299450e9092da92a1720ecf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt SeqHead False Passed
d133dfbeeedcd124cd62adcaf263c172c424cd5a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe SeqHead True Passed
f812f9c3731e12f55f442ee16fb51bb2f61246d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe SeqHead False Passed
2bf2d84bb93a339a8340a86c78115bb36e754332 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SeqHead True Passed
e84121913088bd6ff725258104c4f198f1de2abf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun SeqHead False Passed
2c4b234f3945f498ec7a8964e6f34e39f6c03f27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SeqHead True Passed
0157a713e17e6dd961c1fe8750faeedb7627d846 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun SeqHead False Passed
c0683937a27b17ea50f024ce23848565a595001b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SeqHead True Passed
30126f6c5e2983f210c1ec6438c410ec7ddb7e1a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive SeqHead False Passed
fd064a9788cfbcce7c86fae664e75b62e17bd7bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive SeqHead True Passed
2ee8d87bb4c934390769214f61154a6bb7342492 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive SeqHead False Passed
100887d7927595706118658f4a57489c922328ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 SeqHead True Passed
0fea240922754b4d322599cf888d06c09e7a80af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 SeqHead False Passed
b78e21819d4bed557a7df7f222513cc066dd8726 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 SeqHead True Passed
ec4533c30a034b3321b50d0a80e67579981cb257 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 SeqHead False Passed
06a8a8bf2933792dbf216ba389240652062c42d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SeqHead True Passed
b9239b7296ec25e519f584c68a5b7c6b5534763f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 SeqHead False Passed
27c368edb3ef1767a12c24d9407014dd885604cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SeqHead True Passed
35996a179f884314cfa3de96383f2c5ac1805c8f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 SeqHead False Passed
cc187ae4cc49e6b206713e70d88931562f98315a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 SeqHead True Passed
34c48b71492744b83133675ebe3d533e87a9d8d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 SeqHead False Passed
7adadb3f04c79a5e6023c22b23d94ddf9e153dfa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 SeqHead True Passed
09d51ab3c04d1249c6f5cff5102399327aa75db9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 SeqHead False Passed
f0f5d5fd40930d6d1d35f2ee4a5650f427dee3bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SeqHead True Passed
bc4d9ae0a0f4537f8d3f73851fd9136a3a3ae008 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive SeqHead False Passed
8e323ae959cf0ef1f44d013f616d523f16ccfa80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive SeqHead True Passed
7ab73a2f0df873f7d2da0872d44e510d3b1f75e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive SeqHead False Passed
c7eb4427feb63ed7a8ee2a3115a69675f1cd96ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends SeqHead True Passed
694914b04b93d4c87a0a4fd77bc25d30f15503a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends SeqHead False Passed
b98f0641dd79d386af133e1665a2b35ff64d86ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SeqHead True Passed
5d108e50cb50e1b636011cb9eaa24ccfc50e6881 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder SeqHead False Passed
48d5ebb98158c07b0c8bcc113140c124acf253b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SeqHead True Passed
a9849963321fc39924de2df5b0dcc5e44956b9ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable SeqHead False Passed
57d74426bc615cb6e4b575c23556292db1721adf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SeqHead True Passed
fbcf6013b32d7ad68dd11dfa2baae5d8f79d44ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude SeqHead False Passed
32699bbcf9415fbaa2c3c4604b6eb97c50cd7879 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant SeqHead True Passed
d40356c35b27edb1336b3622bb78f21be57ccaae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant SeqHead False Passed
8c9e1fb1431a4c31757989c38e989c926c3e4e42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SeqHead True Passed
75af7bf75716cebf7d9fa6aed3930af5d075a0be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SeqHead False Passed
2daaeaf902a727a3932ecd71d29fc3646e1069c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance SeqHead True Passed
4de25bac645d8ce8b4d5894682bac3708056d73b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance SeqHead False Passed
b341add7fe223aaebf84777a658dda8d99694b6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SeqHead True Passed
75bd9ab9953d0379a4fdc13f3643bd78971102c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith SeqHead False Passed
440592e61af355efe40879691fa6abf5d37c5c91 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SeqHead True Passed
ad283ddec4990ccc344da332398fee28ed1e25bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SeqHead False Passed
a7762a77a35ee6bd59f6edec2e43b7172d501a5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SeqHead True Passed
5a24c8fedff0994f0114517c0a037e75f104fda3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith SeqHead False Passed
dc6c746277e778d825a7e71eff85113770524c91 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SeqHead True Passed
b429fe1db4942c1bd20452140359009e9d05848f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder SeqHead False Passed
41ddbbe6f4247303a0f76085f0b734d073d3918c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SeqHead True Passed
1b811dcf7d2d779fd44fbb54e5f59a7d69f273be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder SeqHead False Passed
fec3f7e334a7e783bd2af76983dc561c2e5b3632 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SeqHead True Passed
c7b3096096242d756dc69d4a76b368503a22eeb3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder SeqHead False Passed
af7f7f476e5ae5cad7153858951ffcb1420beef1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SeqHead True Passed
5c58447aed5469f7462a5b039b0911bf2a4e7f79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder SeqHead False Passed
a77045a8f878871b03bf8669266c03e6ba441563 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled SeqHead True Passed
d6d66666585dec960bdfbedd165bfe13e22978ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled SeqHead False Passed
b7607b686c60d227a54dbd9b0c9410100700cd40 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume SeqHead True Passed
ca4f62ec3c4adfb6871024646aa8e28f09234c98 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume SeqHead False Passed
6e2758ae2e65fbc9db3d4ca7845ecd271d4b2c93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed SeqHead True Passed
c29811e74dc68861bb7ec438c0c4454861f75a99 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed SeqHead False Passed
2e97b615e51917a60ef2333b2fd80005b9d966dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda SeqHead True Passed
3ee0c17d92131d3c7f848f6383970e1faa59b2cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda SeqHead False Passed
915191b79cb51f6a5ccdf95471d1bb0e4aedbe0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 SeqHead True Passed
9d279e4e79fbdaffe677059d0933db6fde21e879 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 SeqHead False Passed
666fd71446437dfd3593b60d985510770852733c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 SeqHead True Passed
be3205f0b55ec595c2de96ea9ab2ea7e0a063c62 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 SeqHead False Passed
9398337875431272f26c85bd102246f9af6399b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet SeqHead True Passed
72e0e7acfc730e2bbb83ae610486c8efa6d5ae58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet SeqHead False Passed
13ed06e4c510a4ea7936edaad69eb19f3aef5530 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet SeqHead True Passed
913fc768fcc051a4e9cfe02da840134f573a06bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet SeqHead False Passed
7c4eac71b7a84d45e484d4f1c053c314cc45b040 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff SeqHead True Passed
d3e8fc57e0fea629ba54fd2060c1e0eea1086c68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff SeqHead False Passed
963ebd4a699592aac034f305b37560c96fc09801 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion SeqHead True Passed
7ce4b05b6fe84002da2502af2b440c93dee7c5fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion SeqHead False Passed
0252cd02bd7d914ac94efc5cc3100cbd7b2bb5d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect SeqHead True Passed
3533d83786b16b84bde2b1e41ee98e53d6ddd31b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect SeqHead False Passed
df2b16ee3effc0de0c78313f4bb610211a685f48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq SeqHead True Passed
f4b03476982cbabee74becd5d51ec35ef4ef432b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq SeqHead False Passed
914b02f5fe88d1a070bcd9b61f9a3f0a3bec63c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond SeqHead True Passed
91907b5d26a721f4f3457849dd9fc4ef1f920bc1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond SeqHead False Passed
aec0a8e4dba2d5fe31805d6e5e9c7e597614e198 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SeqHead True Passed
92323cd252bc6baffd3de80ecf7d658e498307db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SeqHead False Passed
26388b4c2f2d6a37c14accc622f5d9257eb395e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SeqHead True Passed
4eac0866bc2bd03b8900d7d45396d55825baa1c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse SeqHead False Passed
5e161abd5377307ad7edae5aca10f7c34b3b68d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset SeqHead True Passed
8d55e7b442bf66f4ca06c32ed96bd8a034c2e742 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset SeqHead False Passed
9693ef9062f09827b06808529b1ae479010fbc5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain SeqHead True Passed
bc1bab9b3bd68f9833a09cf9067d3b986426e08e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain SeqHead False Passed
9e3adbfa154a9dab6ca7c1567e1a3ea11aa792e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union SeqHead True Passed
027410f39413d12f8c5c7ddf4a4fe918fb7a3c84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union SeqHead False Passed
365805f750f75cd6ad7529cc24239c19e668571d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SeqHead True Passed
c72531044344369e8f56cd1cffc73602006062ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged SeqHead False Passed
d0ce49cf0e7615a1b71e30a20e50d7fdc57763e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence SeqHead True Passed
0be328b49df2ee2216def9c8068fc5da68c9a779 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence SeqHead False Passed
9c4219746dfd17422c9752ce47ef598a4a04222b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen SeqHead True Passed
35d2bdd0cfdc9bf33ee7c8410a175decf33057b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen SeqHead False Passed
a5e938ecbd415bc6dab99d54f65a54d8d462ac58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat SeqHead True Passed
6039642de2b6a59e75417d1e42df5155d97093f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat SeqHead False Passed
59ebd385566467241c357b1eadf5ed4de11423ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq SeqHead True Passed
3f1aff974d5269de38ddcc720ca4408b231e998f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq SeqHead False Passed
9c153a8a6be762dea3de28fa89da2d7d7a208d22 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq SeqHead True Passed
8721add3e411b8f7c480b3c725771b05dada999a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq SeqHead False Passed
65b83c1fb6c5e0c6a6f9d231c5855e9a867c5d79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq SeqHead True Passed
f9359f5516181c364e0c3401c73c449d6cbdd463 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq SeqHead False Passed
45dc3052fe2f59e4cd0b87bb55f3e0b315cd9477 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange SeqHead True Passed
03c79d0aa0caa4c2a8650bc052615931f73f5b5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange SeqHead False Passed
71b66895cf33922109510db8fd051fcd861ed9c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SeqHead True Passed
9da5ade08a548261e23bfbd7066d70a39f565292 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun SeqHead False Passed
922ce70e9feeb5ea28f34aba278e0f3baf3365fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun SeqHead True Passed
6376c79d303c8873d5d14c622e5686961c1cad62 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun SeqHead False Passed
3da362ae84ff18a15e03c2856e1005740ceb13b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun SeqHead True Passed
037b30b79f11d3e3b2c665154d9b95dd2033deac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun SeqHead False Passed
fb32b5fbf3b4a2ba81cf477db2f45cbc47a642c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq SeqHead True Passed
8f9ec85334480841a71d2d92c0365f8a8e639327 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq SeqHead False Passed
0e6ae1cdcbdf798ca69b04278bc10417bf62e130 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SeqHead True Passed
fb7f98a3364173a25adae07cfd517ef830d7a592 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval SeqHead False Passed
954b98045acc9ea10674998f2cea95618b13317e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet SeqHead True Passed
148d3ead3fed3c40e63cb59cd472da51fd37d924 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet SeqHead False Passed
b3ef95115737c61e074f0ca8ae4c2bd2b1f22fa3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag SeqHead True Passed
26aec8445a35d70ff9940eb65d46df3003b5b8f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag SeqHead False Passed
72ca7f0224ee09432cd507f247fa9e895d97073e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SeqHead True Passed
b205687f65ba50bd764ca120b6a6c3435df9222c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn SeqHead False Passed
529db6f81cf7cb1036286e80429c55081d7350f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag SeqHead True Passed
9372bf44323931f9f04aef71531581e44b5fb522 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag SeqHead False Passed
258e7afc4db8ee9d83160c87818badb4a99cecc6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub SeqHead True Passed
7a0123b5cf57694d827e7085c588ef8fa220b14f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub SeqHead False Passed
27a2b56ce4f646c074bd2379046ebf4e2585e66e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SeqHead True Passed
930a2d775b51e01ae7defe13cbc1f701deab080f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn SeqHead False Passed
d8c10446d154d5b26fc7e51ad9f0aa1a15948467 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag SeqHead True Passed
98331623af40d52d9f6d85905d8c6b046734d534 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag SeqHead False Passed
1aadd313a4fe096200b34de53ca308e6d49c4393 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion SeqHead True Passed
29d10bc6360400b936b08dff1003b63d04bc8bac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion SeqHead False Passed
4e41d21a9331d2a8a0e17c9d5d523f9dba686183 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality SeqHead True Passed
f8f97c7ad712e7e22b3917002c963a87e83055ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality SeqHead False Passed
134b5fed0d2fd9fe10a54605c9da87880d73cc30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll SeqHead True Passed
dd28547271adadeccba856c9da53de176a8c579f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll SeqHead False Passed
07c7f13c3a38b043551f3a72e93c91f59a47c573 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag SeqHead True Passed
a9a5cac062caf5a08bfe247abbb353aac1e21eb6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag SeqHead False Passed
4fdb6de414da534f90b914f0eb10c41e618499ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet SeqHead True Passed
c6d69d255f9d00562996d72161cd67fafdb73263 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet SeqHead False Passed
07c0435e583a6677175ee7a6a3bd46bf4e1cd98c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality SeqHead True Passed
74cd517c5f4db855ec74dc5e1923f38c968ae60f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality SeqHead False Passed
37fdab8180cb8bfe46385febb6451b2cccb14b50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead SeqHead True Passed
985da15ac03d153425cae2243ccadce582802108 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead SeqHead False Passed
2801bc5b5535593f001e4219d0acb42c8c035796 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail SeqHead True Passed
fc3846c32121bc2f26dcbb0a7311d1e82184bf0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail SeqHead False Passed
aae95a1d985776e68e11ae3f61a6d4da96d281c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SeqHead True Passed
a161742be6a8e30bb9a7db11e22d8cf3106f5aeb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend SeqHead False Passed