MaedMax Experiment
|
0 E UNSAT 60
|
1 e/maedmax
|
||
| ALG005-1 | (0.16) |
0.14
|
0.07
|
| ALG006-1 | (0.05) |
0.02
|
0.01
|
| ALG007-1 | (0.05) |
0.02
|
0.02
|
| ALG235-1 | (0.05) |
0.02
|
0.01
|
| ALG236-1 | (0.11) |
0.10
|
0.12
|
| ALG237-1 | (1.00) |
∞
|
∞
|
| ALG238-1 | (1.00) |
∞
|
∞
|
| ALG239-1 | (1.00) |
∞
|
∞
|
| ALG240-1 | (0.47) |
∞
|
∞
|
| ALG241-1 | (1.00) |
∞
|
∞
|
| ALG242-1 | (1.00) |
∞
|
∞
|
| ALG243-1 | (1.00) |
∞
|
∞
|
| ALG244-1 | (1.00) |
∞
|
∞
|
| ALG245-1 | (0.47) |
∞
|
∞
|
| ALG246-1 | (0.74) |
∞
|
∞
|
| BOO001-1 | (0.05) |
0.01
|
0.01
|
| BOO002-1 | (0.11) |
0.03
|
0.03
|
| BOO002-2 | (0.05) |
0.03
|
1.26
|
| BOO003-2 | (0.05) |
0.00
|
0.00
|
| BOO003-4 | (0.00) |
0.00
|
0.01
|
| BOO004-2 | (0.05) |
0.01
|
0.01
|
| BOO004-4 | (0.00) |
0.01
|
0.01
|
| BOO005-2 | (0.11) |
0.01
|
0.84
|
| BOO005-4 | (0.11) |
0.01
|
0.01
|
| BOO006-2 | (0.11) |
0.01
|
0.02
|
| BOO006-4 | (0.11) |
0.01
|
0.01
|
| BOO007-2 | (0.16) |
0.16
|
0.19
|
| BOO007-4 | (0.05) |
0.15
|
1.00
|
| BOO008-2 | (0.11) |
0.19
|
0.16
|
| BOO008-4 | (0.11) |
0.18
|
0.93
|
| BOO009-2 | (0.11) |
0.01
|
0.01
|
| BOO009-4 | (0.11) |
0.00
|
0.84
|
| BOO010-2 | (0.05) |
0.01
|
0.84
|
| BOO010-4 | (0.05) |
0.01
|
0.01
|
| BOO011-2 | (0.05) |
0.01
|
0.00
|
| BOO011-4 | (0.05) |
0.00
|
0.00
|
| BOO012-2 | (0.05) |
0.01
|
0.01
|
| BOO012-4 | (0.05) |
0.01
|
0.01
|
| BOO013-2 | (0.05) |
0.01
|
0.04
|
| BOO013-4 | (0.05) |
0.01
|
0.02
|
| BOO014-2 | (0.05) |
0.17
|
0.09
|
| BOO014-4 | (0.11) |
0.12
|
0.19
|
| BOO015-2 | (0.05) |
0.18
|
1.44
|
| BOO015-4 | (0.05) |
0.18
|
0.54
|
| BOO016-2 | (0.11) |
0.00
|
0.01
|
| BOO017-2 | (0.11) |
0.01
|
0.01
|
| BOO018-4 | (0.05) |
0.00
|
0.01
|
| BOO021-1 | (0.05) |
0.02
|
0.00
|
| BOO022-1 | (0.21) |
0.12
|
0.13
|
| BOO023-1 | (0.37) |
0.18
|
0.92
|
| BOO024-1 | (0.16) |
0.02
|
0.02
|
| BOO025-1 | (0.16) |
0.02
|
0.02
|
| BOO026-1 | (0.32) |
0.04
|
0.05
|
| BOO028-1 | (0.11) |
0.28
|
0.32
|
| BOO029-1 | (0.05) |
0.02
|
0.01
|
| BOO031-1 | (0.26) |
∞
|
∞
|
| BOO034-1 | (0.26) |
0.02
|
0.02
|
| BOO067-1 | (0.37) |
∞
|
∞
|
| BOO068-1 | (0.16) |
0.07
|
0.08
|
| BOO069-1 | (0.16) |
0.02
|
0.02
|
| BOO070-1 | (0.16) |
0.04
|
0.08
|
| BOO071-1 | (0.16) |
0.02
|
0.02
|
| BOO072-1 | (0.21) |
0.03
|
0.02
|
| BOO073-1 | (0.58) |
0.72
|
0.54
|
| BOO074-1 | (0.21) |
0.02
|
0.04
|
| BOO075-1 | (0.11) |
0.06
|
0.06
|
| BOO076-1 | (0.68) |
10.32
|
15.05
|
| COL001-1 | (0.21) |
0.04
|
0.02
|
| COL001-2 | (0.16) |
0.01
|
0.06
|
| COL002-1 | (0.16) |
0.01
|
0.00
|
| COL002-4 | (0.11) |
∞
|
∞
|
| COL002-5 | (0.37) |
∞
|
∞
|
| COL003-1 | (0.74) |
∞
|
∞
|
| COL003-12 | (0.16) |
1.94
|
∞
|
| COL003-13 | (0.16) |
1.84
|
∞
|
| COL003-14 | (0.11) |
1.78
|
∞
|
| COL003-15 | (0.16) |
1.83
|
∞
|
| COL003-16 | (0.16) |
1.23
|
∞
|
| COL003-17 | (0.21) |
∞
|
∞
|
| COL003-18 | (0.21) |
∞
|
∞
|
| COL003-19 | (0.21) |
∞
|
∞
|
| COL003-20 | (0.16) |
∞
|
∞
|
| COL004-1 | (0.53) |
6.26
|
6.06
|
| COL004-3 | (0.21) |
0.00
|
0.00
|
| COL006-1 | (0.53) |
∞
|
∞
|
| COL006-5 | (0.58) |
∞
|
∞
|
| COL006-6 | (0.58) |
∞
|
∞
|
| COL006-7 | (0.63) |
∞
|
∞
|
| COL007-1 | (0.00) |
0.00
|
0.01
|
| COL008-1 | (0.11) |
0.01
|
0.01
|
| COL009-1 | (0.21) |
1.01
|
1.09
|
| COL010-1 | (0.16) |
0.00
|
0.00
|
| COL011-1 | (0.47) |
∞
|
∞
|
| COL012-1 | (0.00) |
0.01
|
0.01
|
| COL013-1 | (0.00) |
0.01
|
0.01
|
| COL014-1 | (0.00) |
0.01
|
0.00
|
| COL015-1 | (0.05) |
0.01
|
0.01
|
| COL016-1 | (0.00) |
0.01
|
0.01
|
| COL017-1 | (0.05) |
0.01
|
0.00
|
| COL018-1 | (0.00) |
0.01
|
0.00
|
| COL019-1 | (0.11) |
0.01
|
0.01
|
| COL020-1 | (0.26) |
0.06
|
0.03
|
| COL021-1 | (0.11) |
0.01
|
0.01
|
| COL022-1 | (0.05) |
0.01
|
0.04
|
| COL023-1 | (0.21) |
0.02
|
0.02
|
| COL024-1 | (0.11) |
0.01
|
0.01
|
| COL025-1 | (0.05) |
0.01
|
0.01
|
| COL026-1 | (0.21) |
∞
|
0.11
|
| COL027-1 | (0.11) |
0.02
|
0.08
|
| COL029-1 | (0.00) |
0.01
|
0.01
|
| COL030-1 | (0.11) |
0.01
|
0.00
|
| COL031-1 | (0.05) |
0.01
|
0.00
|
| COL032-1 | (0.26) |
0.01
|
0.02
|
| COL033-1 | (0.21) |
0.01
|
0.02
|
| COL034-1 | (0.53) |
∞
|
∞
|
| COL035-1 | (0.26) |
10.35
|
9.12
|
| COL036-1 | (0.47) |
∞
|
∞
|
| COL037-1 | (0.26) |
4.02
|
2.30
|
| COL038-1 | (0.74) |
∞
|
∞
|
| COL039-1 | (0.16) |
0.13
|
0.01
|
| COL041-1 | (0.42) |
∞
|
∞
|
| COL042-1 | (0.84) |
∞
|
∞
|
| COL042-6 | (0.21) |
0.69
|
∞
|
| COL042-7 | (0.16) |
0.66
|
∞
|
| COL042-8 | (0.26) |
0.70
|
∞
|
| COL042-9 | (0.16) |
0.52
|
∞
|
| COL043-1 | (0.95) |
∞
|
∞
|
| COL043-3 | (0.89) |
∞
|
∞
|
| COL044-1 | (0.26) |
0.04
|
0.04
|
| COL044-6 | (0.74) |
∞
|
∞
|
| COL044-7 | (0.74) |
∞
|
∞
|
| COL044-8 | (0.79) |
∞
|
∞
|
| COL044-9 | (0.74) |
∞
|
∞
|
| COL045-1 | (0.11) |
0.01
|
0.01
|
| COL046-1 | (0.68) |
3.28
|
0.87
|
| COL048-1 | (0.11) |
0.01
|
0.00
|
| COL049-1 | (0.42) |
1.32
|
∞
|
| COL050-1 | (0.00) |
0.01
|
0.00
|
| COL051-1 | (0.00) |
0.01
|
0.01
|
| COL052-1 | (0.05) |
0.00
|
0.01
|
| COL053-1 | (0.00) |
0.00
|
0.00
|
| COL056-1 | (0.05) |
0.00
|
0.01
|
| COL057-1 | (0.37) |
0.02
|
0.01
|
| COL058-1 | (0.00) |
0.01
|
0.01
|
| COL058-2 | (0.00) |
0.01
|
0.01
|
| COL058-3 | (0.00) |
0.01
|
0.00
|
| COL059-1 | (0.05) |
0.01
|
0.01
|
| COL060-1 | (0.32) |
0.02
|
0.02
|
| COL060-2 | (0.05) |
0.00
|
0.00
|
| COL060-3 | (0.05) |
0.00
|
0.00
|
| COL061-1 | (0.32) |
0.01
|
0.01
|
| COL061-2 | (0.05) |
0.00
|
0.01
|
| COL061-3 | (0.05) |
0.01
|
0.00
|
| COL062-1 | (0.32) |
0.17
|
0.23
|
| COL062-2 | (0.11) |
0.00
|
0.00
|
| COL062-3 | (0.11) |
0.01
|
0.01
|
| COL063-1 | (0.37) |
0.26
|
0.24
|
| COL063-2 | (0.11) |
0.00
|
0.00
|
| COL063-3 | (0.11) |
0.00
|
0.01
|
| COL063-4 | (0.11) |
0.01
|
0.00
|
| COL063-5 | (0.11) |
0.00
|
0.01
|
| COL063-6 | (0.05) |
0.00
|
0.00
|
| COL064-1 | (0.58) |
11.48
|
12.57
|
| COL064-10 | (0.16) |
0.00
|
0.00
|
| COL064-11 | (0.11) |
0.00
|
0.00
|
| COL064-2 | (0.16) |
0.00
|
0.00
|
| COL064-3 | (0.11) |
0.00
|
0.00
|
| COL064-4 | (0.11) |
0.00
|
0.01
|
| COL064-5 | (0.16) |
0.00
|
0.00
|
| COL064-6 | (0.11) |
0.00
|
0.00
|
| COL064-7 | (0.11) |
0.00
|
0.00
|
| COL064-8 | (0.11) |
0.00
|
0.00
|
| COL064-9 | (0.16) |
0.00
|
0.00
|
| COL065-1 | (0.58) |
28.19
|
12.78
|
| COL066-1 | (0.84) |
∞
|
∞
|
| COL066-2 | (0.05) |
0.01
|
0.01
|
| COL066-3 | (0.05) |
0.00
|
0.01
|
| COL070-1 | (0.16) |
0.01
|
0.02
|
| COL075-2 | (0.11) |
0.00
|
0.01
|
| COL083-1 | (0.00) |
0.01
|
0.00
|
| COL084-1 | (0.00) |
0.00
|
0.01
|
| COL085-1 | (0.00) |
0.00
|
0.00
|
| COL086-1 | (0.00) |
0.00
|
0.00
|
| COM010-2 | (0.05) |
0.00
|
0.01
|
| GRP001-2 | (0.05) |
0.01
|
0.00
|
| GRP001-4 | (0.05) |
0.00
|
0.00
|
| GRP002-2 | (0.05) |
0.01
|
0.26
|
| GRP002-3 | (0.11) |
0.01
|
0.02
|
| GRP002-4 | (0.11) |
0.01
|
0.01
|
| GRP010-4 | (0.05) |
0.00
|
0.01
|
| GRP011-4 | (0.11) |
0.01
|
0.01
|
| GRP012-4 | (0.05) |
0.01
|
0.01
|
| GRP014-1 | (0.16) |
0.07
|
0.12
|
| GRP022-2 | (0.05) |
0.00
|
0.01
|
| GRP023-2 | (0.05) |
0.01
|
0.00
|
| GRP024-5 | (0.84) |
∞
|
∞
|
| GRP114-1 | (0.32) |
∞
|
∞
|
| GRP115-1 | (0.05) |
0.01
|
0.01
|
| GRP116-1 | (0.11) |
0.00
|
0.01
|
| GRP117-1 | (0.11) |
0.01
|
0.01
|
| GRP118-1 | (0.11) |
0.01
|
0.01
|
| GRP119-1 | (0.16) |
0.01
|
0.01
|
| GRP120-1 | (0.16) |
0.02
|
0.02
|
| GRP121-1 | (0.16) |
0.02
|
0.02
|
| GRP122-1 | (0.21) |
0.04
|
0.03
|
| GRP136-1 | (0.05) |
0.01
|
0.00
|
| GRP137-1 | (0.05) |
0.01
|
0.00
|
| GRP138-1 | (0.05) |
0.10
|
0.11
|
| GRP139-1 | (0.11) |
0.02
|
0.00
|
| GRP140-1 | (0.05) |
0.09
|
0.11
|
| GRP141-1 | (0.05) |
0.01
|
0.01
|
| GRP142-1 | (0.05) |
0.01
|
0.00
|
| GRP143-1 | (0.05) |
0.01
|
0.01
|
| GRP144-1 | (0.05) |
0.00
|
0.00
|
| GRP145-1 | (0.05) |
0.02
|
0.01
|
| GRP146-1 | (0.11) |
0.01
|
0.01
|
| GRP147-1 | (0.11) |
0.09
|
0.11
|
| GRP148-1 | (0.05) |
0.09
|
0.10
|
| GRP149-1 | (0.11) |
0.00
|
0.01
|
| GRP150-1 | (0.05) |
0.00
|
0.01
|
| GRP151-1 | (0.11) |
0.01
|
0.00
|
| GRP152-1 | (0.05) |
0.01
|
0.00
|
| GRP153-1 | (0.05) |
0.01
|
0.01
|
| GRP154-1 | (0.05) |
0.03
|
0.60
|
| GRP155-1 | (0.05) |
0.02
|
0.45
|
| GRP156-1 | (0.05) |
0.02
|
0.01
|
| GRP157-1 | (0.05) |
0.02
|
0.16
|
| GRP158-1 | (0.05) |
0.02
|
0.10
|
| GRP159-1 | (0.05) |
0.02
|
0.02
|
| GRP160-1 | (0.05) |
0.00
|
0.00
|
| GRP161-1 | (0.05) |
0.01
|
0.00
|
| GRP162-1 | (0.05) |
0.01
|
0.01
|
| GRP163-1 | (0.05) |
0.00
|
0.00
|
| GRP164-1 | (0.95) |
∞
|
∞
|
| GRP164-2 | (0.95) |
∞
|
∞
|
| GRP165-1 | (0.05) |
0.03
|
0.11
|
| GRP165-2 | (0.05) |
0.02
|
0.03
|
| GRP166-1 | (0.11) |
0.15
|
0.04
|
| GRP166-2 | (0.11) |
0.02
|
0.03
|
| GRP166-3 | (0.05) |
0.03
|
3.19
|
| GRP166-4 | (0.11) |
0.04
|
3.21
|
| GRP167-1 | (0.32) |
40.29
|
7.92
|
| GRP167-2 | (0.26) |
41.29
|
∞
|
| GRP167-3 | (0.63) |
∞
|
∞
|
| GRP167-4 | (0.42) |
∞
|
∞
|
| GRP167-5 | (0.21) |
0.02
|
0.03
|
| GRP168-1 | (0.16) |
0.02
|
0.03
|
| GRP168-2 | (0.16) |
0.02
|
0.02
|
| GRP169-1 | (0.05) |
0.05
|
0.03
|
| GRP169-2 | (0.05) |
0.03
|
0.04
|
| GRP170-1 | (0.16) |
0.96
|
1.08
|
| GRP170-2 | (0.05) |
1.06
|
1.05
|
| GRP170-3 | (0.16) |
1.04
|
1.03
|
| GRP170-4 | (0.16) |
1.00
|
0.97
|
| GRP171-1 | (0.05) |
0.02
|
0.04
|
| GRP171-2 | (0.05) |
0.04
|
0.04
|
| GRP172-1 | (0.05) |
0.04
|
0.03
|
| GRP172-2 | (0.05) |
0.03
|
0.04
|
| GRP173-1 | (0.05) |
0.01
|
0.22
|
| GRP174-1 | (0.05) |
0.02
|
0.23
|
| GRP175-1 | (0.16) |
∞
|
44.58
|
| GRP175-2 | (0.05) |
0.25
|
0.15
|
| GRP175-3 | (0.05) |
0.27
|
0.18
|
| GRP175-4 | (0.11) |
∞
|
43.96
|
| GRP176-1 | (0.11) |
0.01
|
0.78
|
| GRP176-2 | (0.11) |
0.05
|
0.94
|
| GRP177-2 | (0.53) |
∞
|
∞
|
| GRP178-1 | (0.47) |
2.51
|
3.70
|
| GRP178-2 | (0.42) |
2.40
|
3.52
|
| GRP179-1 | (0.53) |
∞
|
∞
|
| GRP179-2 | (0.47) |
∞
|
∞
|
| GRP179-3 | (0.32) |
∞
|
∞
|
| GRP180-1 | (0.58) |
∞
|
∞
|
| GRP180-2 | (0.32) |
∞
|
∞
|
| GRP181-1 | (0.63) |
∞
|
∞
|
| GRP181-2 | (0.68) |
∞
|
∞
|
| GRP181-3 | (0.32) |
0.37
|
∞
|
| GRP181-4 | (0.32) |
0.37
|
∞
|
| GRP182-1 | (0.05) |
0.01
|
0.01
|
| GRP182-2 | (0.05) |
0.00
|
0.00
|
| GRP182-3 | (0.05) |
0.00
|
0.01
|
| GRP182-4 | (0.05) |
0.01
|
0.01
|
| GRP183-1 | (0.58) |
∞
|
∞
|
| GRP183-2 | (0.37) |
∞
|
∞
|
| GRP183-3 | (0.58) |
∞
|
∞
|
| GRP183-4 | (0.37) |
∞
|
∞
|
| GRP184-1 | (0.47) |
59.27
|
∞
|
| GRP184-2 | (0.16) |
∞
|
∞
|
| GRP184-3 | (0.53) |
57.15
|
∞
|
| GRP184-4 | (0.11) |
2.04
|
5.14
|
| GRP185-1 | (0.37) |
∞
|
1.12
|
| GRP185-2 | (0.32) |
∞
|
∞
|
| GRP185-3 | (0.42) |
∞
|
∞
|
| GRP185-4 | (0.42) |
∞
|
∞
|
| GRP186-1 | (0.53) |
∞
|
∞
|
| GRP186-2 | (0.42) |
∞
|
∞
|
| GRP186-3 | (0.11) |
0.02
|
0.02
|
| GRP186-4 | (0.05) |
0.02
|
0.02
|
| GRP187-1 | (0.63) |
∞
|
∞
|
| GRP188-1 | (0.05) |
0.00
|
0.01
|
| GRP188-2 | (0.05) |
0.00
|
0.01
|
| GRP189-1 | (0.05) |
0.00
|
0.01
|
| GRP189-2 | (0.05) |
0.00
|
0.01
|
| GRP190-1 | (0.05) |
0.05
|
0.04
|
| GRP190-2 | (0.05) |
0.05
|
0.04
|
| GRP191-1 | (0.05) |
0.07
|
0.06
|
| GRP191-2 | (0.11) |
0.05
|
0.04
|
| GRP192-1 | (0.11) |
0.02
|
0.01
|
| GRP193-1 | (0.05) |
1.72
|
3.82
|
| GRP193-2 | (0.05) |
2.62
|
3.67
|
| GRP195-1 | (0.11) |
0.01
|
0.01
|
| GRP196-1 | (0.95) |
∞
|
∞
|
| GRP200-1 | (0.21) |
0.02
|
2.29
|
| GRP201-1 | (0.42) |
0.04
|
1.60
|
| GRP202-1 | (0.26) |
0.04
|
∞
|
| GRP203-1 | (0.32) |
0.04
|
0.10
|
| GRP205-1 | (0.32) |
0.04
|
∞
|
| GRP206-1 | (0.11) |
0.00
|
0.01
|
| GRP403-1 | (0.26) |
0.07
|
0.07
|
| GRP404-1 | (0.47) |
0.43
|
0.43
|
| GRP405-1 | (0.42) |
0.32
|
0.37
|
| GRP406-1 | (0.21) |
0.04
|
0.06
|
| GRP407-1 | (0.21) |
0.07
|
0.10
|
| GRP408-1 | (0.16) |
0.08
|
0.09
|
| GRP409-1 | (0.16) |
0.02
|
0.02
|
| GRP410-1 | (0.32) |
1.56
|
3.01
|
| GRP411-1 | (0.32) |
1.30
|
2.24
|
| GRP412-1 | (0.16) |
0.08
|
0.08
|
| GRP413-1 | (0.21) |
0.09
|
0.10
|
| GRP414-1 | (0.21) |
0.12
|
0.12
|
| GRP415-1 | (0.16) |
0.04
|
0.04
|
| GRP416-1 | (0.26) |
0.07
|
0.07
|
| GRP417-1 | (0.26) |
0.07
|
0.08
|
| GRP418-1 | (0.26) |
0.03
|
0.04
|
| GRP419-1 | (0.47) |
0.10
|
0.11
|
| GRP420-1 | (0.47) |
0.13
|
0.13
|
| GRP421-1 | (0.32) |
0.03
|
0.02
|
| GRP422-1 | (0.47) |
0.10
|
0.16
|
| GRP423-1 | (0.53) |
0.10
|
0.14
|
| GRP424-1 | (0.16) |
0.02
|
0.01
|
| GRP425-1 | (0.16) |
3.86
|
3.85
|
| GRP426-1 | (0.16) |
2.95
|
2.96
|
| GRP427-1 | (0.21) |
0.06
|
0.06
|
| GRP428-1 | (0.21) |
0.03
|
0.04
|
| GRP429-1 | (0.16) |
0.07
|
0.10
|
| GRP430-1 | (0.16) |
0.02
|
0.03
|
| GRP431-1 | (0.21) |
0.03
|
0.03
|
| GRP432-1 | (0.16) |
0.04
|
0.04
|
| GRP433-1 | (0.16) |
0.02
|
0.02
|
| GRP434-1 | (0.21) |
0.01
|
0.01
|
| GRP435-1 | (0.21) |
0.02
|
0.02
|
| GRP436-1 | (0.21) |
0.12
|
0.10
|
| GRP437-1 | (0.26) |
0.11
|
0.13
|
| GRP438-1 | (0.26) |
0.10
|
0.14
|
| GRP439-1 | (0.21) |
0.05
|
0.04
|
| GRP440-1 | (0.26) |
0.11
|
0.11
|
| GRP441-1 | (0.21) |
0.12
|
0.11
|
| GRP442-1 | (0.26) |
0.05
|
0.04
|
| GRP443-1 | (0.32) |
0.05
|
0.05
|
| GRP444-1 | (0.21) |
0.05
|
0.05
|
| GRP445-1 | (0.11) |
0.01
|
0.01
|
| GRP446-1 | (0.11) |
0.01
|
0.01
|
| GRP447-1 | (0.16) |
0.01
|
0.02
|
| GRP448-1 | (0.11) |
0.01
|
0.01
|
| GRP449-1 | (0.11) |
0.01
|
0.00
|
| GRP450-1 | (0.21) |
0.00
|
0.02
|
| GRP451-1 | (0.05) |
0.01
|
0.01
|
| GRP452-1 | (0.11) |
0.01
|
0.01
|
| GRP453-1 | (0.16) |
0.01
|
0.02
|
| GRP454-1 | (0.00) |
0.00
|
0.00
|
| GRP455-1 | (0.05) |
0.00
|
0.00
|
| GRP456-1 | (0.11) |
0.01
|
0.01
|
| GRP457-1 | (0.00) |
0.00
|
0.00
|
| GRP458-1 | (0.05) |
0.01
|
0.01
|
| GRP459-1 | (0.05) |
0.01
|
0.01
|
| GRP460-1 | (0.00) |
0.00
|
0.01
|
| GRP461-1 | (0.05) |
0.01
|
0.01
|
| GRP462-1 | (0.05) |
0.00
|
0.01
|
| GRP463-1 | (0.00) |
0.01
|
0.01
|
| GRP464-1 | (0.05) |
0.00
|
0.01
|
| GRP465-1 | (0.11) |
0.01
|
0.01
|
| GRP466-1 | (0.05) |
0.01
|
0.01
|
| GRP467-1 | (0.16) |
0.01
|
0.01
|
| GRP468-1 | (0.16) |
0.00
|
0.01
|
| GRP469-1 | (0.32) |
0.03
|
0.04
|
| GRP470-1 | (0.37) |
0.03
|
0.04
|
| GRP471-1 | (0.32) |
0.03
|
0.04
|
| GRP472-1 | (0.26) |
0.04
|
0.03
|
| GRP473-1 | (0.26) |
0.04
|
0.06
|
| GRP474-1 | (0.21) |
0.08
|
0.08
|
| GRP475-1 | (0.32) |
0.02
|
0.02
|
| GRP476-1 | (0.32) |
0.02
|
0.02
|
| GRP477-1 | (0.32) |
0.01
|
0.01
|
| GRP478-1 | (0.32) |
0.02
|
0.01
|
| GRP479-1 | (0.32) |
0.02
|
0.02
|
| GRP480-1 | (0.32) |
0.02
|
0.01
|
| GRP481-1 | (0.05) |
0.00
|
0.00
|
| GRP482-1 | (0.05) |
0.01
|
0.01
|
| GRP483-1 | (0.11) |
0.03
|
0.02
|
| GRP484-1 | (0.05) |
0.01
|
0.01
|
| GRP485-1 | (0.05) |
0.01
|
0.01
|
| GRP486-1 | (0.05) |
0.02
|
0.03
|
| GRP487-1 | (0.05) |
0.01
|
0.01
|
| GRP488-1 | (0.05) |
0.01
|
0.01
|
| GRP489-1 | (0.11) |
0.04
|
0.02
|
| GRP490-1 | (0.05) |
0.00
|
0.00
|
| GRP491-1 | (0.11) |
0.01
|
0.00
|
| GRP492-1 | (0.05) |
0.02
|
0.02
|
| GRP493-1 | (0.05) |
0.00
|
0.01
|
| GRP494-1 | (0.05) |
0.01
|
0.01
|
| GRP495-1 | (0.05) |
0.03
|
0.03
|
| GRP496-1 | (0.00) |
0.00
|
0.00
|
| GRP497-1 | (0.11) |
0.04
|
0.07
|
| GRP498-1 | (0.05) |
0.06
|
0.08
|
| GRP499-1 | (0.16) |
0.02
|
0.02
|
| GRP500-1 | (0.21) |
0.01
|
0.01
|
| GRP501-1 | (0.26) |
0.02
|
0.02
|
| GRP502-1 | (0.26) |
0.08
|
0.06
|
| GRP503-1 | (0.26) |
0.08
|
0.08
|
| GRP504-1 | (0.26) |
0.08
|
0.08
|
| GRP505-1 | (0.58) |
13.68
|
13.71
|
| GRP506-1 | (0.63) |
13.66
|
13.82
|
| GRP507-1 | (0.63) |
∞
|
∞
|
| GRP508-1 | (0.68) |
13.68
|
13.46
|
| GRP509-1 | (0.05) |
0.00
|
0.01
|
| GRP510-1 | (0.05) |
0.02
|
0.01
|
| GRP511-1 | (0.16) |
0.01
|
0.01
|
| GRP512-1 | (0.05) |
0.01
|
0.00
|
| GRP513-1 | (0.16) |
0.00
|
0.00
|
| GRP514-1 | (0.16) |
0.00
|
0.00
|
| GRP515-1 | (0.16) |
0.01
|
0.01
|
| GRP516-1 | (0.16) |
0.01
|
0.00
|
| GRP517-1 | (0.11) |
0.01
|
0.00
|
| GRP518-1 | (0.05) |
0.01
|
0.01
|
| GRP519-1 | (0.11) |
0.00
|
0.00
|
| GRP520-1 | (0.21) |
0.01
|
0.01
|
| GRP521-1 | (0.00) |
0.01
|
0.01
|
| GRP522-1 | (0.05) |
0.00
|
0.01
|
| GRP523-1 | (0.11) |
0.01
|
0.01
|
| GRP524-1 | (0.05) |
0.01
|
0.01
|
| GRP525-1 | (0.05) |
0.01
|
0.01
|
| GRP526-1 | (0.00) |
0.00
|
0.01
|
| GRP527-1 | (0.11) |
0.02
|
0.01
|
| GRP528-1 | (0.05) |
0.01
|
0.01
|
| GRP529-1 | (0.05) |
0.01
|
0.01
|
| GRP530-1 | (0.00) |
0.00
|
0.00
|
| GRP531-1 | (0.11) |
0.01
|
0.00
|
| GRP532-1 | (0.05) |
0.01
|
0.01
|
| GRP533-1 | (0.00) |
0.01
|
0.01
|
| GRP534-1 | (0.05) |
0.00
|
0.01
|
| GRP535-1 | (0.11) |
0.01
|
0.01
|
| GRP536-1 | (0.00) |
0.01
|
0.01
|
| GRP537-1 | (0.00) |
0.01
|
0.00
|
| GRP538-1 | (0.00) |
0.00
|
0.04
|
| GRP539-1 | (0.11) |
0.01
|
0.01
|
| GRP540-1 | (0.00) |
0.01
|
0.01
|
| GRP541-1 | (0.00) |
0.00
|
0.01
|
| GRP542-1 | (0.05) |
0.01
|
0.00
|
| GRP543-1 | (0.05) |
0.02
|
0.00
|
| GRP544-1 | (0.05) |
0.01
|
0.01
|
| GRP545-1 | (0.00) |
0.00
|
0.00
|
| GRP546-1 | (0.05) |
0.01
|
0.00
|
| GRP547-1 | (0.05) |
0.00
|
0.01
|
| GRP548-1 | (0.05) |
0.00
|
0.01
|
| GRP549-1 | (0.05) |
0.00
|
0.00
|
| GRP550-1 | (0.11) |
0.01
|
0.01
|
| GRP551-1 | (0.05) |
0.02
|
0.01
|
| GRP552-1 | (0.05) |
0.01
|
0.01
|
| GRP553-1 | (0.11) |
0.01
|
0.00
|
| GRP554-1 | (0.11) |
0.02
|
0.01
|
| GRP555-1 | (0.16) |
0.01
|
0.01
|
| GRP556-1 | (0.16) |
0.01
|
0.01
|
| GRP557-1 | (0.11) |
0.01
|
0.01
|
| GRP558-1 | (0.11) |
0.01
|
0.01
|
| GRP559-1 | (0.16) |
0.01
|
0.00
|
| GRP560-1 | (0.11) |
0.00
|
0.01
|
| GRP561-1 | (0.16) |
0.01
|
0.01
|
| GRP562-1 | (0.16) |
0.00
|
0.00
|
| GRP563-1 | (0.16) |
0.01
|
0.01
|
| GRP564-1 | (0.16) |
0.00
|
0.01
|
| GRP565-1 | (0.11) |
0.00
|
0.00
|
| GRP566-1 | (0.05) |
0.00
|
0.01
|
| GRP567-1 | (0.16) |
0.12
|
0.04
|
| GRP568-1 | (0.16) |
0.00
|
0.01
|
| GRP569-1 | (0.05) |
0.01
|
0.01
|
| GRP570-1 | (0.05) |
0.02
|
0.00
|
| GRP571-1 | (0.21) |
0.08
|
0.10
|
| GRP572-1 | (0.11) |
0.01
|
0.01
|
| GRP573-1 | (0.05) |
0.00
|
0.01
|
| GRP574-1 | (0.05) |
0.01
|
0.01
|
| GRP575-1 | (0.16) |
0.11
|
0.11
|
| GRP576-1 | (0.05) |
0.01
|
0.01
|
| GRP577-1 | (0.05) |
0.01
|
0.00
|
| GRP578-1 | (0.05) |
0.01
|
0.02
|
| GRP579-1 | (0.11) |
0.08
|
0.03
|
| GRP580-1 | (0.05) |
0.01
|
0.01
|
| GRP581-1 | (0.05) |
0.00
|
0.00
|
| GRP582-1 | (0.05) |
0.01
|
0.01
|
| GRP583-1 | (0.16) |
0.13
|
0.12
|
| GRP584-1 | (0.05) |
0.04
|
0.04
|
| GRP585-1 | (0.11) |
0.00
|
0.00
|
| GRP586-1 | (0.16) |
0.01
|
0.01
|
| GRP587-1 | (0.11) |
0.01
|
0.06
|
| GRP588-1 | (0.16) |
0.01
|
0.01
|
| GRP589-1 | (0.11) |
0.01
|
0.01
|
| GRP590-1 | (0.11) |
0.01
|
0.01
|
| GRP591-1 | (0.21) |
0.72
|
0.04
|
| GRP592-1 | (0.16) |
0.01
|
0.01
|
| GRP593-1 | (0.16) |
0.01
|
0.01
|
| GRP594-1 | (0.16) |
0.00
|
0.01
|
| GRP595-1 | (0.16) |
0.02
|
0.06
|
| GRP596-1 | (0.16) |
0.01
|
0.01
|
| GRP597-1 | (0.16) |
0.00
|
0.01
|
| GRP598-1 | (0.21) |
0.01
|
0.01
|
| GRP599-1 | (0.21) |
0.01
|
0.06
|
| GRP600-1 | (0.21) |
0.00
|
0.01
|
| GRP601-1 | (0.21) |
0.01
|
0.01
|
| GRP602-1 | (0.21) |
0.01
|
0.01
|
| GRP603-1 | (0.21) |
0.02
|
0.04
|
| GRP604-1 | (0.21) |
0.01
|
0.01
|
| GRP605-1 | (0.16) |
0.01
|
0.01
|
| GRP606-1 | (0.11) |
0.01
|
0.01
|
| GRP607-1 | (0.16) |
0.02
|
0.05
|
| GRP608-1 | (0.16) |
0.01
|
0.02
|
| GRP609-1 | (0.21) |
0.01
|
0.01
|
| GRP610-1 | (0.21) |
0.01
|
0.01
|
| GRP611-1 | (0.11) |
0.02
|
0.08
|
| GRP612-1 | (0.16) |
0.01
|
0.01
|
| GRP613-1 | (0.16) |
0.01
|
0.01
|
| GRP614-1 | (0.16) |
0.02
|
0.01
|
| GRP615-1 | (0.21) |
0.02
|
0.06
|
| GRP616-1 | (0.16) |
0.01
|
0.00
|
| GRP661-1 | (0.84) |
∞
|
∞
|
| GRP662-1 | (0.84) |
∞
|
∞
|
| GRP663-1 | (0.84) |
∞
|
∞
|
| GRP666-2 | (0.95) |
∞
|
∞
|
| GRP666-3 | (0.89) |
∞
|
∞
|
| GRP666-4 | (0.89) |
∞
|
∞
|
| GRP666-5 | (0.89) |
∞
|
∞
|
| GRP667-2 | (0.68) |
15.20
|
∞
|
| GRP667-3 | (0.58) |
14.81
|
∞
|
| GRP667-4 | (0.68) |
15.02
|
∞
|
| GRP667-5 | (0.68) |
15.02
|
∞
|
| GRP668-1 | (0.37) |
1.80
|
47.16
|
| GRP669-1 | (0.21) |
5.65
|
∞
|
| GRP670-1 | (0.63) |
9.68
|
∞
|
| GRP671-1 | (0.05) |
0.01
|
0.53
|
| GRP675-1 | (1.00) |
∞
|
∞
|
| GRP676-1 | (1.00) |
∞
|
∞
|
| GRP677-1 | (1.00) |
∞
|
∞
|
| GRP678-1 | (0.95) |
∞
|
∞
|
| GRP679-1 | (0.05) |
0.08
|
0.22
|
| GRP680-1 | (0.11) |
0.02
|
0.03
|
| GRP681-1 | (0.47) |
∞
|
∞
|
| GRP684-1 | (0.11) |
0.07
|
0.15
|
| GRP686-1 | (0.32) |
0.05
|
0.10
|
| GRP687-1 | (0.26) |
0.04
|
0.07
|
| GRP688-1 | (0.26) |
0.42
|
3.19
|
| GRP689-1 | (0.74) |
∞
|
∞
|
| GRP690-1 | (0.89) |
∞
|
∞
|
| GRP691-1 | (0.74) |
5.59
|
29.35
|
| GRP692-1 | (0.84) |
∞
|
∞
|
| GRP693-1 | (0.84) |
∞
|
∞
|
| GRP694-1 | (0.84) |
∞
|
∞
|
| GRP695-1 | (0.84) |
∞
|
∞
|
| GRP696-1 | (0.63) |
0.17
|
∞
|
| GRP697-1 | (0.47) |
1.44
|
∞
|
| GRP698-1 | (0.21) |
0.01
|
0.02
|
| GRP699-1 | (0.26) |
0.91
|
4.18
|
| GRP701-1 | (0.47) |
1.58
|
3.74
|
| GRP705-1 | (0.37) |
∞
|
∞
|
| GRP706-1 | (0.84) |
7.80
|
19.52
|
| GRP707-1 | (0.16) |
0.06
|
0.18
|
| GRP708-1 | (0.11) |
0.28
|
1.72
|
| GRP709-1 | (0.21) |
0.20
|
0.03
|
| GRP712-1 | (1.00) |
∞
|
∞
|
| GRP713-1 | (1.00) |
∞
|
∞
|
| GRP714-1 | (1.00) |
∞
|
∞
|
| GRP716-1 | (1.00) |
∞
|
∞
|
| GRP717-1 | (1.00) |
∞
|
∞
|
| GRP718-1 | (0.79) |
∞
|
∞
|
| GRP719-1 | (0.89) |
∞
|
∞
|
| GRP720-2 | (0.79) |
∞
|
⊥
|
| GRP721-1 | (0.95) |
∞
|
∞
|
| GRP723-1 | (1.00) |
∞
|
∞
|
| GRP724-1 | (1.00) |
∞
|
∞
|
| GRP725-1 | (0.95) |
∞
|
∞
|
| GRP726-1 | (1.00) |
∞
|
∞
|
| GRP727-1 | (0.74) |
40.32
|
∞
|
| GRP728-1 | (0.37) |
0.32
|
0.12
|
| GRP729-1 | (0.37) |
0.33
|
0.09
|
| GRP730-1 | (0.37) |
0.33
|
0.09
|
| GRP731-1 | (0.32) |
0.06
|
0.16
|
| GRP732-1 | (1.00) |
∞
|
∞
|
| GRP740-1 | (1.00) |
∞
|
∞
|
| GRP749-1 | (1.00) |
∞
|
∞
|
| GRP750-1 | (0.37) |
3.07
|
5.74
|
| GRP751-1 | (0.53) |
27.68
|
∞
|
| GRP752-1 | (0.58) |
31.15
|
∞
|
| GRP753-1 | (0.84) |
∞
|
∞
|
| GRP754-1 | (0.32) |
1.01
|
6.43
|
| GRP756-1 | (0.21) |
0.03
|
0.01
|
| GRP764-1 | (0.74) |
1.87
|
∞
|
| GRP765-1 | (0.74) |
2.27
|
51.88
|
| GRP766-1 | (0.79) |
∞
|
∞
|
| GRP767-1 | (0.53) |
2.06
|
∞
|
| GRP768-1 | (0.63) |
∞
|
∞
|
| GRP769-1 | (0.74) |
∞
|
∞
|
| GRP770-1 | (0.53) |
∞
|
∞
|
| GRP771-1 | (1.00) |
∞
|
∞
|
| GRP772-1 | (0.42) |
0.45
|
0.25
|
| LAT006-1 | (0.16) |
0.03
|
0.03
|
| LAT007-1 | (0.26) |
0.09
|
0.71
|
| LAT008-1 | (0.11) |
0.01
|
0.00
|
| LAT009-1 | (0.11) |
∞
|
∞
|
| LAT010-1 | (0.11) |
∞
|
∞
|
| LAT011-1 | (0.05) |
0.24
|
0.22
|
| LAT012-1 | (0.05) |
0.44
|
0.54
|
| LAT013-1 | (0.26) |
0.90
|
0.83
|
| LAT014-1 | (0.00) |
0.01
|
0.01
|
| LAT017-1 | (0.47) |
∞
|
∞
|
| LAT018-1 | (0.79) |
∞
|
∞
|
| LAT019-1 | (0.11) |
0.22
|
0.13
|
| LAT020-1 | (0.58) |
∞
|
∞
|
| LAT021-1 | (0.11) |
0.26
|
0.36
|
| LAT022-1 | (0.37) |
17.29
|
∞
|
| LAT023-1 | (0.37) |
2.35
|
5.99
|
| LAT026-1 | (0.37) |
0.47
|
0.40
|
| LAT027-1 | (0.16) |
0.31
|
0.26
|
| LAT028-1 | (0.11) |
0.03
|
0.02
|
| LAT031-1 | (0.05) |
0.02
|
0.02
|
| LAT032-1 | (0.05) |
0.02
|
0.02
|
| LAT033-1 | (0.00) |
0.00
|
0.00
|
| LAT034-1 | (0.00) |
0.00
|
0.00
|
| LAT038-1 | (0.37) |
∞
|
∞
|
| LAT039-1 | (0.05) |
0.03
|
0.06
|
| LAT039-2 | (0.05) |
0.03
|
0.09
|
| LAT040-1 | (0.05) |
0.03
|
0.03
|
| LAT042-1 | (0.00) |
0.09
|
0.09
|
| LAT043-1 | (0.05) |
0.06
|
0.06
|
| LAT044-1 | (0.16) |
31.96
|
∞
|
| LAT045-1 | (0.11) |
0.08
|
20.83
|
| LAT070-1 | (0.84) |
∞
|
∞
|
| LAT072-1 | (0.89) |
∞
|
∞
|
| LAT074-1 | (0.95) |
∞
|
∞
|
| LAT075-1 | (1.00) |
∞
|
∞
|
| LAT076-1 | (0.89) |
∞
|
∞
|
| LAT077-1 | (1.00) |
∞
|
∞
|
| LAT078-1 | (0.95) |
∞
|
∞
|
| LAT079-1 | (1.00) |
∞
|
∞
|
| LAT080-1 | (0.32) |
0.06
|
0.07
|
| LAT081-1 | (0.42) |
0.15
|
0.14
|
| LAT082-1 | (0.53) |
0.93
|
0.86
|
| LAT083-1 | (0.37) |
0.07
|
0.05
|
| LAT084-1 | (0.58) |
0.51
|
0.58
|
| LAT085-1 | (0.58) |
0.58
|
0.75
|
| LAT086-1 | (0.37) |
0.14
|
0.12
|
| LAT087-1 | (0.37) |
0.14
|
0.09
|
| LAT088-1 | (0.05) |
0.01
|
0.01
|
| LAT089-1 | (0.11) |
0.00
|
0.01
|
| LAT090-1 | (0.05) |
0.01
|
0.00
|
| LAT091-1 | (0.16) |
0.01
|
0.01
|
| LAT092-1 | (0.32) |
0.06
|
0.06
|
| LAT093-1 | (0.37) |
0.07
|
0.08
|
| LAT094-1 | (0.32) |
0.06
|
0.06
|
| LAT095-1 | (0.42) |
0.07
|
0.07
|
| LAT096-1 | (0.37) |
0.07
|
0.07
|
| LAT097-1 | (0.37) |
0.06
|
0.06
|
| LAT138-1 | (0.89) |
∞
|
∞
|
| LAT139-1 | (1.00) |
∞
|
∞
|
| LAT140-1 | (0.89) |
∞
|
∞
|
| LAT141-1 | (0.84) |
∞
|
∞
|
| LAT142-1 | (0.58) |
∞
|
∞
|
| LAT143-1 | (0.32) |
∞
|
∞
|
| LAT144-1 | (0.89) |
∞
|
∞
|
| LAT145-1 | (0.84) |
∞
|
∞
|
| LAT146-1 | (0.74) |
∞
|
∞
|
| LAT147-1 | (0.89) |
∞
|
∞
|
| LAT148-1 | (0.84) |
∞
|
∞
|
| LAT149-1 | (0.95) |
∞
|
∞
|
| LAT150-1 | (0.84) |
∞
|
∞
|
| LAT151-1 | (0.89) |
∞
|
∞
|
| LAT152-1 | (0.79) |
∞
|
∞
|
| LAT153-1 | (0.79) |
∞
|
∞
|
| LAT154-1 | (0.68) |
∞
|
∞
|
| LAT155-1 | (0.74) |
∞
|
∞
|
| LAT156-1 | (0.79) |
∞
|
∞
|
| LAT157-1 | (0.89) |
∞
|
∞
|
| LAT158-1 | (0.89) |
∞
|
∞
|
| LAT159-1 | (0.89) |
∞
|
∞
|
| LAT160-1 | (0.79) |
∞
|
∞
|
| LAT161-1 | (1.00) |
∞
|
∞
|
| LAT162-1 | (0.89) |
∞
|
∞
|
| LAT163-1 | (0.95) |
∞
|
∞
|
| LAT164-1 | (0.74) |
∞
|
∞
|
| LAT165-1 | (0.84) |
∞
|
∞
|
| LAT166-1 | (0.79) |
∞
|
∞
|
| LAT167-1 | (0.95) |
∞
|
∞
|
| LAT168-1 | (0.26) |
∞
|
∞
|
| LAT169-1 | (0.89) |
∞
|
∞
|
| LAT170-1 | (0.89) |
∞
|
∞
|
| LAT171-1 | (0.47) |
∞
|
∞
|
| LAT172-1 | (0.89) |
∞
|
∞
|
| LAT173-1 | (0.95) |
∞
|
∞
|
| LAT174-1 | (0.68) |
∞
|
∞
|
| LAT175-1 | (0.89) |
∞
|
∞
|
| LAT176-1 | (0.95) |
∞
|
∞
|
| LAT177-1 | (0.84) |
∞
|
∞
|
| LAT389-1 | (0.47) |
17.98
|
17.48
|
| LAT390-1 | (0.47) |
17.26
|
17.72
|
| LAT391-1 | (0.42) |
∞
|
∞
|
| LAT392-1 | (0.42) |
17.69
|
17.56
|
| LAT393-1 | (0.79) |
∞
|
∞
|
| LAT393-2 | (0.84) |
∞
|
∞
|
| LAT394-1 | (0.21) |
0.02
|
0.04
|
| LAT394-2 | (0.16) |
0.08
|
0.04
|
| LCL109-2 | (0.37) |
10.24
|
∞
|
| LCL109-6 | (0.21) |
∞
|
∞
|
| LCL110-2 | (0.05) |
0.01
|
0.28
|
| LCL111-2 | (0.16) |
5.28
|
2.44
|
| LCL112-2 | (0.11) |
0.01
|
0.29
|
| LCL113-2 | (0.11) |
0.01
|
0.48
|
| LCL114-2 | (0.11) |
0.01
|
0.28
|
| LCL115-2 | (0.11) |
0.01
|
0.27
|
| LCL116-2 | (0.11) |
0.01
|
0.66
|
| LCL132-1 | (0.05) |
0.01
|
0.01
|
| LCL133-1 | (0.11) |
0.02
|
0.01
|
| LCL134-1 | (0.05) |
0.01
|
0.00
|
| LCL135-1 | (0.05) |
0.01
|
0.00
|
| LCL138-1 | (0.42) |
9.80
|
∞
|
| LCL139-1 | (0.11) |
0.01
|
0.27
|
| LCL140-1 | (0.11) |
0.01
|
0.22
|
| LCL141-1 | (0.11) |
0.01
|
0.46
|
| LCL153-1 | (0.05) |
∞
|
∞
|
| LCL154-1 | (0.05) |
∞
|
∞
|
| LCL155-1 | (0.05) |
∞
|
∞
|
| LCL156-1 | (0.05) |
0.01
|
0.08
|
| LCL157-1 | (0.05) |
0.01
|
0.08
|
| LCL158-1 | (0.05) |
∞
|
∞
|
| LCL159-1 | (0.05) |
∞
|
∞
|
| LCL160-1 | (0.21) |
∞
|
∞
|
| LCL161-1 | (0.05) |
0.01
|
0.00
|
| LCL162-1 | (0.16) |
∞
|
∞
|
| LCL163-1 | (0.26) |
∞
|
∞
|
| LCL164-1 | (0.11) |
0.00
|
0.00
|
| LDA001-1 | (0.05) |
0.01
|
0.01
|
| LDA002-1 | (0.11) |
0.04
|
∞
|
| LDA007-3 | (0.05) |
0.01
|
0.01
|
| REL001-1 | (0.16) |
28.17
|
39.80
|
| REL002-1 | (0.16) |
0.06
|
0.06
|
| REL004-1 | (0.16) |
29.67
|
30.07
|
| REL004-2 | (0.21) |
19.88
|
41.80
|
| REL004-3 | (0.21) |
29.82
|
41.16
|
| REL005-1 | (0.42) |
30.31
|
42.08
|
| REL005-3 | (0.37) |
29.96
|
40.70
|
| REL006-1 | (0.16) |
28.86
|
43.06
|
| REL007-1 | (0.21) |
30.25
|
42.20
|
| REL008-1 | (0.37) |
3.91
|
∞
|
| REL008-3 | (0.37) |
3.81
|
∞
|
| REL010-1 | (0.74) |
∞
|
∞
|
| REL010-2 | (0.42) |
∞
|
∞
|
| REL011-1 | (0.79) |
∞
|
∞
|
| REL011-2 | (0.42) |
∞
|
∞
|
| REL012-1 | (0.32) |
32.52
|
46.80
|
| REL012-2 | (0.47) |
32.59
|
∞
|
| REL015-1 | (0.05) |
0.06
|
0.06
|
| REL016-1 | (1.00) |
∞
|
∞
|
| REL016-3 | (0.95) |
∞
|
∞
|
| REL017-1 | (1.00) |
∞
|
∞
|
| REL017-3 | (0.95) |
∞
|
∞
|
| REL018-1 | (0.21) |
25.87
|
48.84
|
| REL019-1 | (0.74) |
∞
|
∞
|
| REL019-2 | (0.68) |
∞
|
∞
|
| REL020-1 | (0.89) |
∞
|
∞
|
| REL020-2 | (0.84) |
∞
|
∞
|
| REL021-1 | (0.84) |
∞
|
∞
|
| REL021-2 | (0.84) |
∞
|
∞
|
| REL022-1 | (0.84) |
∞
|
∞
|
| REL022-2 | (0.79) |
∞
|
∞
|
| REL023-1 | (0.16) |
29.10
|
40.90
|
| REL023-2 | (0.21) |
19.18
|
30.38
|
| REL024-1 | (0.37) |
28.68
|
∞
|
| REL024-2 | (0.32) |
29.02
|
∞
|
| REL025-1 | (0.47) |
55.58
|
∞
|
| REL026-1 | (0.58) |
55.29
|
∞
|
| REL026-3 | (0.63) |
55.76
|
∞
|
| REL027-1 | (0.42) |
∞
|
∞
|
| REL027-3 | (0.47) |
59.92
|
∞
|
| REL028-1 | (0.74) |
∞
|
∞
|
| REL028-2 | (0.63) |
∞
|
∞
|
| REL029-1 | (0.79) |
∞
|
∞
|
| REL029-3 | (0.79) |
∞
|
∞
|
| REL030-1 | (0.74) |
∞
|
∞
|
| REL030-3 | (0.68) |
∞
|
∞
|
| REL031-1 | (0.53) |
58.53
|
∞
|
| REL031-2 | (0.58) |
54.52
|
∞
|
| REL032-1 | (1.00) |
∞
|
∞
|
| REL032-2 | (1.00) |
∞
|
∞
|
| REL033-1 | (0.84) |
∞
|
∞
|
| REL033-3 | (0.84) |
∞
|
∞
|
| REL034-1 | (0.84) |
∞
|
∞
|
| REL034-2 | (0.84) |
∞
|
∞
|
| REL035-1 | (0.84) |
∞
|
∞
|
| REL035-2 | (0.84) |
∞
|
∞
|
| REL036-1 | (0.84) |
∞
|
∞
|
| REL036-2 | (0.84) |
∞
|
∞
|
| REL037-1 | (0.84) |
∞
|
∞
|
| REL037-2 | (0.84) |
∞
|
∞
|
| REL038-1 | (1.00) |
∞
|
∞
|
| REL039-1 | (1.00) |
∞
|
∞
|
| REL040-1 | (0.95) |
∞
|
∞
|
| REL040-3 | (0.95) |
∞
|
∞
|
| REL041-1 | (0.95) |
∞
|
∞
|
| REL041-2 | (0.37) |
∞
|
∞
|
| REL042-1 | (0.68) |
∞
|
∞
|
| REL042-2 | (0.32) |
∞
|
∞
|
| REL043-1 | (0.84) |
∞
|
∞
|
| REL043-2 | (0.47) |
∞
|
∞
|
| REL044-1 | (0.84) |
∞
|
∞
|
| REL044-2 | (0.47) |
∞
|
∞
|
| REL045-1 | (0.84) |
∞
|
∞
|
| REL045-2 | (0.53) |
∞
|
∞
|
| REL047-1 | (0.58) |
∞
|
∞
|
| REL049-1 | (0.05) |
0.00
|
0.00
|
| REL050-1 | (0.42) |
30.32
|
41.76
|
| REL050-3 | (0.42) |
29.80
|
39.98
|
| RNG007-4 | (0.05) |
0.01
|
0.01
|
| RNG008-3 | (0.11) |
0.01
|
0.01
|
| RNG008-4 | (0.11) |
0.01
|
0.01
|
| RNG008-7 | (0.11) |
0.02
|
0.02
|
| RNG009-5 | (0.53) |
0.31
|
1.09
|
| RNG009-7 | (0.42) |
0.26
|
0.34
|
| RNG011-5 | (0.05) |
∞
|
∞
|
| RNG012-6 | (0.21) |
0.01
|
0.05
|
| RNG013-6 | (0.16) |
0.02
|
0.05
|
| RNG014-6 | (0.11) |
0.01
|
0.02
|
| RNG015-6 | (0.21) |
0.01
|
0.02
|
| RNG016-6 | (0.21) |
0.01
|
0.06
|
| RNG017-6 | (0.21) |
0.01
|
0.05
|
| RNG018-6 | (0.11) |
0.01
|
0.05
|
| RNG019-6 | (0.32) |
0.02
|
0.11
|
| RNG019-7 | (0.26) |
0.02
|
0.06
|
| RNG020-6 | (0.37) |
0.02
|
0.08
|
| RNG020-7 | (0.32) |
0.02
|
0.04
|
| RNG021-6 | (0.37) |
0.02
|
0.11
|
| RNG021-7 | (0.32) |
0.02
|
0.06
|
| RNG023-6 | (0.05) |
0.00
|
0.01
|
| RNG023-7 | (0.05) |
0.01
|
0.01
|
| RNG024-6 | (0.00) |
0.01
|
0.00
|
| RNG024-7 | (0.11) |
0.00
|
0.01
|
| RNG025-4 | (0.74) |
∞
|
∞
|
| RNG025-5 | (0.63) |
∞
|
∞
|
| RNG025-6 | (0.63) |
0.60
|
3.38
|
| RNG025-7 | (0.68) |
0.59
|
4.68
|
| RNG026-6 | (0.53) |
0.01
|
0.46
|
| RNG026-7 | (0.42) |
0.02
|
0.04
|
| RNG027-5 | (0.95) |
∞
|
∞
|
| RNG027-7 | (0.95) |
∞
|
∞
|
| RNG027-8 | (0.95) |
∞
|
∞
|
| RNG027-9 | (0.95) |
∞
|
∞
|
| RNG028-5 | (0.95) |
∞
|
∞
|
| RNG028-7 | (0.95) |
∞
|
∞
|
| RNG028-8 | (0.95) |
∞
|
∞
|
| RNG028-9 | (0.95) |
∞
|
∞
|
| RNG029-5 | (0.95) |
∞
|
∞
|
| RNG029-6 | (0.95) |
∞
|
∞
|
| RNG029-7 | (0.95) |
∞
|
∞
|
| RNG035-7 | (0.79) |
3.39
|
∞
|
| RNG128-1 | (0.05) |
0.01
|
0.00
|
| ROB001-1 | (1.00) |
∞
|
∞
|
| ROB002-1 | (0.00) |
0.00
|
0.00
|
| ROB003-1 | (0.11) |
0.05
|
0.03
|
| ROB004-1 | (0.11) |
0.06
|
0.04
|
| ROB005-1 | (0.21) |
3.29
|
2.28
|
| ROB006-1 | (0.95) |
∞
|
∞
|
| ROB006-2 | (0.95) |
∞
|
∞
|
| ROB008-1 | (0.11) |
0.64
|
0.06
|
| ROB009-1 | (0.11) |
0.00
|
0.15
|
| ROB010-1 | (0.00) |
0.01
|
0.00
|
| ROB013-1 | (0.05) |
0.00
|
0.01
|
| ROB022-1 | (0.21) |
0.19
|
0.20
|
| ROB023-1 | (0.16) |
0.18
|
0.13
|
| ROB026-1 | (0.89) |
∞
|
∞
|
| ROB030-1 | (0.00) |
0.01
|
0.01
|
| ROB031-1 | (1.00) |
∞
|
∞
|
| ROB031-2 | (0.95) |
∞
|
∞
|
| ROB032-1 | (1.00) |
∞
|
∞
|
| ROB032-2 | (1.00) |
∞
|
∞
|
| ROB033-1 | (1.00) |
∞
|
∞
|
| ROB034-1 | (1.00) |
∞
|
∞
|
| ROB035-1 | (0.95) |
∞
|
∞
|
| SWV243-2 | (0.00) |
0.00
|
0.00
|
| SWV262-2 | (0.11) |
0.01
|
0.00
|
| SWV818-1 | (0.00) |
0.00
|
0.00
|
| SWV819-1 | (0.11) |
0.00
|
0.00
|
| SYN080-1 | (0.00) |
0.01
|
0.00
|
| SYN083-1 | (0.00) |
0.00
|
0.00
|
| max_iterations | |||
| max_restarts | |||
| equalities | |||
| total equalities | |||
| goals | |||
| restarts | |||
| hard restarts | |||
| successes | 648 | 605 | |
| timeouts | 249 | 291 | |
| median time | 0.016 | 0.016 | |
| time/overlaps | |||
| time/rewrite | |||
| time/select | |||
| time/subsumption checks | |||
| time/success checks | |||
| time/sat | |||
| total time | 1550.632 | 1120.232 | |
| average time | 2.39 | 1.85 | |
| OVERALL STATS | |||
| solved | 652 | ||
| diff solved | 51 | ||