MaedMax Experiment : CPF proofs for TPTP UEQ UNSAT
In the following table a few are missiong due to different reasons:- In the case of COL059-1, because CeTA does not yet support inequality axioms.
- In the cases of COL060-1 and COL061-1, because the goal was proved during narrowing, and maedmax does not yet support proof output in this phase.
- In the remaining cases proof output could not be produced within a timeout of 20 minutes.
|
maedmax try to tighten bounds a bit --json
|
|||||||||||||||||||||||||||||||||
| ALG005-1 | (0.16) |
10.10
ALG005-1
|
proof | ||||||||||||||||||||||||||||||
| ALG006-1 | (0.05) |
0.38
ALG006-1
|
proof | ||||||||||||||||||||||||||||||
| ALG007-1 | (0.05) |
12.75
ALG007-1
|
proof | ||||||||||||||||||||||||||||||
| ALG235-1 | (0.05) |
0.04
ALG235-1
|
proof | ||||||||||||||||||||||||||||||
| ALG236-1 | (0.11) |
7.47
ALG236-1
|
proof | ||||||||||||||||||||||||||||||
| 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.08
BOO001-1
|
proof | ||||||||||||||||||||||||||||||
| BOO002-1 | (0.11) |
7.24
BOO002-1
|
proof | ||||||||||||||||||||||||||||||
| BOO002-2 | (0.05) |
0.85
BOO002-2
|
proof | ||||||||||||||||||||||||||||||
| BOO003-2 | (0.05) |
0.05
BOO003-2
|
proof | ||||||||||||||||||||||||||||||
| BOO003-4 | (0.00) |
0.05
BOO003-4
|
proof | ||||||||||||||||||||||||||||||
| BOO004-2 | (0.05) |
0.06
BOO004-2
|
proof | ||||||||||||||||||||||||||||||
| BOO004-4 | (0.00) |
0.05
BOO004-4
|
proof | ||||||||||||||||||||||||||||||
| BOO005-2 | (0.11) |
0.06
BOO005-2
|
proof | ||||||||||||||||||||||||||||||
| BOO005-4 | (0.11) |
0.06
BOO005-4
|
proof | ||||||||||||||||||||||||||||||
| BOO006-2 | (0.11) |
0.04
BOO006-2
|
proof | ||||||||||||||||||||||||||||||
| BOO006-4 | (0.11) |
0.06
BOO006-4
|
proof | ||||||||||||||||||||||||||||||
| BOO007-2 | (0.16) |
39.65
BOO007-2
|
proof | ||||||||||||||||||||||||||||||
| BOO007-4 | (0.05) |
184.48
BOO007-4
|
proof | ||||||||||||||||||||||||||||||
| BOO008-2 | (0.11) |
45.76
BOO008-2
|
proof | ||||||||||||||||||||||||||||||
| BOO008-4 | (0.11) |
244.35
BOO008-4
|
|||||||||||||||||||||||||||||||
| BOO009-2 | (0.11) |
0.08
BOO009-2
|
proof | ||||||||||||||||||||||||||||||
| BOO009-4 | (0.11) |
0.05
BOO009-4
|
proof | ||||||||||||||||||||||||||||||
| BOO010-2 | (0.05) |
0.08
BOO010-2
|
proof | ||||||||||||||||||||||||||||||
| BOO010-4 | (0.05) |
0.05
BOO010-4
|
proof | ||||||||||||||||||||||||||||||
| BOO011-2 | (0.05) |
0.03
BOO011-2
|
proof | ||||||||||||||||||||||||||||||
| BOO011-4 | (0.05) |
0.06
BOO011-4
|
proof | ||||||||||||||||||||||||||||||
| BOO012-2 | (0.05) |
0.15
BOO012-2
|
proof | ||||||||||||||||||||||||||||||
| BOO012-4 | (0.05) |
0.12
BOO012-4
|
proof | ||||||||||||||||||||||||||||||
| BOO013-2 | (0.05) |
0.42
BOO013-2
|
proof | ||||||||||||||||||||||||||||||
| BOO013-4 | (0.05) |
0.49
BOO013-4
|
proof | ||||||||||||||||||||||||||||||
| BOO014-2 | (0.05) |
210.76
BOO014-2
|
proof | ||||||||||||||||||||||||||||||
| BOO014-4 | (0.11) |
154.64
BOO014-4
|
proof | ||||||||||||||||||||||||||||||
| BOO015-2 | (0.05) |
220.50
BOO015-2
|
proof | ||||||||||||||||||||||||||||||
| BOO015-4 | (0.05) |
70.20
BOO015-4
|
proof | ||||||||||||||||||||||||||||||
| BOO016-2 | (0.11) |
0.16
BOO016-2
|
proof | ||||||||||||||||||||||||||||||
| BOO017-2 | (0.11) |
0.17
BOO017-2
|
proof | ||||||||||||||||||||||||||||||
| BOO018-4 | (0.05) |
0.03
BOO018-4
|
proof | ||||||||||||||||||||||||||||||
| BOO021-1 | (0.05) |
0.03
BOO021-1
|
proof | ||||||||||||||||||||||||||||||
| BOO022-1 | (0.21) |
82.49
BOO022-1
|
proof | ||||||||||||||||||||||||||||||
| BOO023-1 | (0.37) |
∞
|
|||||||||||||||||||||||||||||||
| BOO024-1 | (0.16) |
0.86
BOO024-1
|
proof | ||||||||||||||||||||||||||||||
| BOO025-1 | (0.16) |
0.72
BOO025-1
|
proof | ||||||||||||||||||||||||||||||
| BOO026-1 | (0.32) |
49.11
BOO026-1
|
proof | ||||||||||||||||||||||||||||||
| BOO028-1 | (0.11) |
∞
|
|||||||||||||||||||||||||||||||
| BOO029-1 | (0.05) |
1.02
BOO029-1
|
proof | ||||||||||||||||||||||||||||||
| BOO031-1 | (0.26) |
∞
|
|||||||||||||||||||||||||||||||
| BOO034-1 | (0.26) |
0.17
BOO034-1
|
proof | ||||||||||||||||||||||||||||||
| BOO067-1 | (0.37) |
4.21
BOO067-1
|
proof | ||||||||||||||||||||||||||||||
| BOO068-1 | (0.16) |
5.54
BOO068-1
|
proof | ||||||||||||||||||||||||||||||
| BOO069-1 | (0.16) |
5.95
BOO069-1
|
proof | ||||||||||||||||||||||||||||||
| BOO070-1 | (0.16) |
5.94
BOO070-1
|
proof | ||||||||||||||||||||||||||||||
| BOO071-1 | (0.16) |
6.26
BOO071-1
|
proof | ||||||||||||||||||||||||||||||
| BOO072-1 | (0.21) |
7.19
BOO072-1
|
proof | ||||||||||||||||||||||||||||||
| BOO073-1 | (0.58) |
∞
|
|||||||||||||||||||||||||||||||
| BOO074-1 | (0.21) |
4.06
BOO074-1
|
proof | ||||||||||||||||||||||||||||||
| BOO075-1 | (0.11) |
1.28
BOO075-1
|
proof | ||||||||||||||||||||||||||||||
| BOO076-1 | (0.68) |
∞
|
|||||||||||||||||||||||||||||||
| COL001-1 | (0.21) |
0.25
COL001-1
|
proof | ||||||||||||||||||||||||||||||
| COL001-2 | (0.16) |
0.08
COL001-2
|
proof | ||||||||||||||||||||||||||||||
| COL002-1 | (0.16) |
0.14
COL002-1
|
proof | ||||||||||||||||||||||||||||||
| COL002-4 | (0.11) |
0.03
COL002-4
|
proof | ||||||||||||||||||||||||||||||
| COL002-5 | (0.37) |
0.03
COL002-5
|
proof | ||||||||||||||||||||||||||||||
| COL003-1 | (0.74) |
∞
|
|||||||||||||||||||||||||||||||
| COL003-12 | (0.16) |
1.65
COL003-12
|
proof | ||||||||||||||||||||||||||||||
| COL003-13 | (0.16) |
1.62
COL003-13
|
proof | ||||||||||||||||||||||||||||||
| COL003-14 | (0.11) |
1.75
COL003-14
|
proof | ||||||||||||||||||||||||||||||
| COL003-15 | (0.16) |
1.54
COL003-15
|
proof | ||||||||||||||||||||||||||||||
| COL003-16 | (0.16) |
1.85
COL003-16
|
proof | ||||||||||||||||||||||||||||||
| COL003-17 | (0.21) |
6.62
COL003-17
|
proof | ||||||||||||||||||||||||||||||
| COL003-18 | (0.21) |
7.32
COL003-18
|
proof | ||||||||||||||||||||||||||||||
| COL003-19 | (0.21) |
7.13
COL003-19
|
proof | ||||||||||||||||||||||||||||||
| COL003-20 | (0.16) |
6.70
COL003-20
|
proof | ||||||||||||||||||||||||||||||
| COL004-1 | (0.53) |
∞
|
|||||||||||||||||||||||||||||||
| COL004-3 | (0.21) |
0.00
COL004-3
|
proof | ||||||||||||||||||||||||||||||
| COL006-1 | (0.53) |
∞
|
|||||||||||||||||||||||||||||||
| COL006-5 | (0.58) |
∞
|
|||||||||||||||||||||||||||||||
| COL006-6 | (0.58) |
∞
|
|||||||||||||||||||||||||||||||
| COL006-7 | (0.63) |
∞
|
|||||||||||||||||||||||||||||||
| COL007-1 | (0.00) |
0.01
COL007-1
|
proof | ||||||||||||||||||||||||||||||
| COL008-1 | (0.11) |
0.01
COL008-1
|
proof | ||||||||||||||||||||||||||||||
| COL009-1 | (0.21) |
0.19
COL009-1
|
proof | ||||||||||||||||||||||||||||||
| COL010-1 | (0.16) |
0.09
COL010-1
|
proof | ||||||||||||||||||||||||||||||
| COL011-1 | (0.47) |
∞
|
|||||||||||||||||||||||||||||||
| COL012-1 | (0.00) |
0.01
COL012-1
|
proof | ||||||||||||||||||||||||||||||
| COL013-1 | (0.00) |
0.02
COL013-1
|
proof | ||||||||||||||||||||||||||||||
| COL014-1 | (0.00) |
0.02
COL014-1
|
proof | ||||||||||||||||||||||||||||||
| COL015-1 | (0.05) |
0.02
COL015-1
|
proof | ||||||||||||||||||||||||||||||
| COL016-1 | (0.00) |
0.01
COL016-1
|
proof | ||||||||||||||||||||||||||||||
| COL017-1 | (0.05) |
0.02
COL017-1
|
proof | ||||||||||||||||||||||||||||||
| COL018-1 | (0.00) |
0.02
COL018-1
|
proof | ||||||||||||||||||||||||||||||
| COL019-1 | (0.11) |
0.26
COL019-1
|
proof | ||||||||||||||||||||||||||||||
| COL020-1 | (0.26) |
0.23
COL020-1
|
proof | ||||||||||||||||||||||||||||||
| COL021-1 | (0.11) |
0.04
COL021-1
|
proof | ||||||||||||||||||||||||||||||
| COL022-1 | (0.05) |
0.13
COL022-1
|
proof | ||||||||||||||||||||||||||||||
| COL023-1 | (0.21) |
0.14
COL023-1
|
proof | ||||||||||||||||||||||||||||||
| COL024-1 | (0.11) |
0.03
COL024-1
|
proof | ||||||||||||||||||||||||||||||
| COL025-1 | (0.05) |
0.02
COL025-1
|
proof | ||||||||||||||||||||||||||||||
| COL026-1 | (0.21) |
0.07
COL026-1
|
proof | ||||||||||||||||||||||||||||||
| COL027-1 | (0.11) |
0.09
COL027-1
|
proof | ||||||||||||||||||||||||||||||
| COL029-1 | (0.00) |
0.01
COL029-1
|
proof | ||||||||||||||||||||||||||||||
| COL030-1 | (0.11) |
0.04
COL030-1
|
proof | ||||||||||||||||||||||||||||||
| COL031-1 | (0.05) |
0.07
COL031-1
|
proof | ||||||||||||||||||||||||||||||
| COL032-1 | (0.26) |
0.02
COL032-1
|
proof | ||||||||||||||||||||||||||||||
| COL033-1 | (0.21) |
0.23
COL033-1
|
proof | ||||||||||||||||||||||||||||||
| COL034-1 | (0.53) |
∞
|
|||||||||||||||||||||||||||||||
| COL035-1 | (0.26) |
0.48
COL035-1
|
proof | ||||||||||||||||||||||||||||||
| COL036-1 | (0.47) |
∞
|
|||||||||||||||||||||||||||||||
| COL037-1 | (0.26) |
1.87
COL037-1
|
proof | ||||||||||||||||||||||||||||||
| COL038-1 | (0.74) |
∞
|
|||||||||||||||||||||||||||||||
| COL039-1 | (0.16) |
0.57
COL039-1
|
proof | ||||||||||||||||||||||||||||||
| COL041-1 | (0.42) |
∞
|
|||||||||||||||||||||||||||||||
| COL042-1 | (0.84) |
∞
|
|||||||||||||||||||||||||||||||
| COL042-6 | (0.21) |
0.26
COL042-6
|
proof | ||||||||||||||||||||||||||||||
| COL042-7 | (0.16) |
1.40
COL042-7
|
proof | ||||||||||||||||||||||||||||||
| COL042-8 | (0.26) |
1.57
COL042-8
|
proof | ||||||||||||||||||||||||||||||
| COL042-9 | (0.16) |
1.97
COL042-9
|
proof | ||||||||||||||||||||||||||||||
| COL043-1 | (0.95) |
∞
|
|||||||||||||||||||||||||||||||
| COL043-3 | (0.89) |
∞
|
|||||||||||||||||||||||||||||||
| COL044-1 | (0.26) |
3.63
COL044-1
|
proof | ||||||||||||||||||||||||||||||
| COL044-6 | (0.74) |
0.66
COL044-6
|
proof | ||||||||||||||||||||||||||||||
| COL044-7 | (0.74) |
1.34
COL044-7
|
proof | ||||||||||||||||||||||||||||||
| COL044-8 | (0.79) |
∞
|
|||||||||||||||||||||||||||||||
| COL044-9 | (0.74) |
∞
|
|||||||||||||||||||||||||||||||
| COL045-1 | (0.11) |
0.06
COL045-1
|
proof | ||||||||||||||||||||||||||||||
| COL046-1 | (0.68) |
∞
|
|||||||||||||||||||||||||||||||
| COL048-1 | (0.11) |
0.03
COL048-1
|
proof | ||||||||||||||||||||||||||||||
| COL049-1 | (0.42) |
∞
|
|||||||||||||||||||||||||||||||
| COL050-1 | (0.00) |
0.01
COL050-1
|
proof | ||||||||||||||||||||||||||||||
| COL051-1 | (0.00) |
0.01
COL051-1
|
proof | ||||||||||||||||||||||||||||||
| COL052-1 | (0.05) |
0.01
COL052-1
|
proof | ||||||||||||||||||||||||||||||
| COL053-1 | (0.00) |
0.00
COL053-1
|
proof | ||||||||||||||||||||||||||||||
| COL056-1 | (0.05) |
0.01
COL056-1
|
proof | ||||||||||||||||||||||||||||||
| COL057-1 | (0.37) |
40.24
COL057-1
|
proof | ||||||||||||||||||||||||||||||
| COL058-1 | (0.00) |
0.04
COL058-1
|
proof | ||||||||||||||||||||||||||||||
| COL058-2 | (0.00) |
0.01
COL058-2
|
proof | ||||||||||||||||||||||||||||||
| COL058-3 | (0.00) |
0.04
COL058-3
|
proof | ||||||||||||||||||||||||||||||
| COL059-1 | (0.05) |
0.09
COL059-1
|
|||||||||||||||||||||||||||||||
| COL060-1 | (0.32) |
6.55
COL060-1
|
|||||||||||||||||||||||||||||||
| COL060-2 | (0.05) |
0.00
COL060-2
|
proof | ||||||||||||||||||||||||||||||
| COL060-3 | (0.05) |
0.00
COL060-3
|
proof | ||||||||||||||||||||||||||||||
| COL061-1 | (0.32) |
5.57
COL061-1
|
|||||||||||||||||||||||||||||||
| COL061-2 | (0.05) |
0.00
COL061-2
|
proof | ||||||||||||||||||||||||||||||
| COL061-3 | (0.05) |
0.00
COL061-3
|
proof | ||||||||||||||||||||||||||||||
| COL062-1 | (0.32) |
∞
|
|||||||||||||||||||||||||||||||
| COL062-2 | (0.11) |
0.00
COL062-2
|
proof | ||||||||||||||||||||||||||||||
| COL062-3 | (0.11) |
0.00
COL062-3
|
proof | ||||||||||||||||||||||||||||||
| COL063-1 | (0.37) |
∞
|
|||||||||||||||||||||||||||||||
| COL063-2 | (0.11) |
0.00
COL063-2
|
proof | ||||||||||||||||||||||||||||||
| COL063-3 | (0.11) |
0.00
COL063-3
|
proof | ||||||||||||||||||||||||||||||
| COL063-4 | (0.11) |
0.01
COL063-4
|
proof | ||||||||||||||||||||||||||||||
| COL063-5 | (0.11) |
0.00
COL063-5
|
proof | ||||||||||||||||||||||||||||||
| COL063-6 | (0.05) |
0.00
COL063-6
|
proof | ||||||||||||||||||||||||||||||
| COL064-1 | (0.58) |
∞
|
|||||||||||||||||||||||||||||||
| COL064-10 | (0.16) |
0.00
COL064-10
|
proof | ||||||||||||||||||||||||||||||
| COL064-11 | (0.11) |
0.00
COL064-11
|
proof | ||||||||||||||||||||||||||||||
| COL064-2 | (0.16) |
0.00
COL064-2
|
proof | ||||||||||||||||||||||||||||||
| COL064-3 | (0.11) |
0.00
COL064-3
|
proof | ||||||||||||||||||||||||||||||
| COL064-4 | (0.11) |
0.00
COL064-4
|
proof | ||||||||||||||||||||||||||||||
| COL064-5 | (0.16) |
0.00
COL064-5
|
proof | ||||||||||||||||||||||||||||||
| COL064-6 | (0.11) |
0.00
COL064-6
|
proof | ||||||||||||||||||||||||||||||
| COL064-7 | (0.11) |
0.00
COL064-7
|
proof | ||||||||||||||||||||||||||||||
| COL064-8 | (0.11) |
0.00
COL064-8
|
proof | ||||||||||||||||||||||||||||||
| COL064-9 | (0.16) |
0.00
COL064-9
|
proof | ||||||||||||||||||||||||||||||
| COL065-1 | (0.58) |
∞
|
|||||||||||||||||||||||||||||||
| COL066-1 | (0.84) |
∞
|
|||||||||||||||||||||||||||||||
| COL066-2 | (0.05) |
0.02
COL066-2
|
proof | ||||||||||||||||||||||||||||||
| COL066-3 | (0.05) |
0.01
COL066-3
|
proof | ||||||||||||||||||||||||||||||
| COL070-1 | (0.16) |
0.13
COL070-1
|
proof | ||||||||||||||||||||||||||||||
| COL075-2 | (0.11) |
0.10
COL075-2
|
proof | ||||||||||||||||||||||||||||||
| COL083-1 | (0.00) |
0.00
COL083-1
|
proof | ||||||||||||||||||||||||||||||
| COL084-1 | (0.00) |
0.00
COL084-1
|
proof | ||||||||||||||||||||||||||||||
| COL085-1 | (0.00) |
0.00
COL085-1
|
proof | ||||||||||||||||||||||||||||||
| COL086-1 | (0.00) |
0.00
COL086-1
|
proof | ||||||||||||||||||||||||||||||
| COM010-2 | (0.05) |
0.01
COM010-2
|
proof | ||||||||||||||||||||||||||||||
| GRP001-2 | (0.05) |
0.01
GRP001-2
|
proof | ||||||||||||||||||||||||||||||
| GRP001-4 | (0.05) |
0.03
GRP001-4
|
proof | ||||||||||||||||||||||||||||||
| GRP002-2 | (0.05) |
0.94
GRP002-2
|
proof | ||||||||||||||||||||||||||||||
| GRP002-3 | (0.11) |
2.67
GRP002-3
|
proof | ||||||||||||||||||||||||||||||
| GRP002-4 | (0.11) |
1.56
GRP002-4
|
proof | ||||||||||||||||||||||||||||||
| GRP010-4 | (0.05) |
0.01
GRP010-4
|
proof | ||||||||||||||||||||||||||||||
| GRP011-4 | (0.11) |
0.03
GRP011-4
|
proof | ||||||||||||||||||||||||||||||
| GRP012-4 | (0.05) |
0.03
GRP012-4
|
proof | ||||||||||||||||||||||||||||||
| GRP014-1 | (0.16) |
17.34
GRP014-1
|
proof | ||||||||||||||||||||||||||||||
| GRP022-2 | (0.05) |
0.01
GRP022-2
|
proof | ||||||||||||||||||||||||||||||
| GRP023-2 | (0.05) |
0.01
GRP023-2
|
proof | ||||||||||||||||||||||||||||||
| GRP024-5 | (0.84) |
∞
|
|||||||||||||||||||||||||||||||
| GRP114-1 | (0.32) |
406.45
GRP114-1
|
proof | ||||||||||||||||||||||||||||||
| GRP115-1 | (0.05) |
0.13
GRP115-1
|
proof | ||||||||||||||||||||||||||||||
| GRP116-1 | (0.11) |
0.16
GRP116-1
|
proof | ||||||||||||||||||||||||||||||
| GRP117-1 | (0.11) |
0.06
GRP117-1
|
proof | ||||||||||||||||||||||||||||||
| GRP118-1 | (0.11) |
0.17
GRP118-1
|
proof | ||||||||||||||||||||||||||||||
| GRP119-1 | (0.16) |
26.99
GRP119-1
|
proof | ||||||||||||||||||||||||||||||
| GRP120-1 | (0.16) |
42.22
GRP120-1
|
proof | ||||||||||||||||||||||||||||||
| GRP121-1 | (0.16) |
26.66
GRP121-1
|
proof | ||||||||||||||||||||||||||||||
| GRP122-1 | (0.21) |
15.34
GRP122-1
|
proof | ||||||||||||||||||||||||||||||
| GRP136-1 | (0.05) |
0.03
GRP136-1
|
proof | ||||||||||||||||||||||||||||||
| GRP137-1 | (0.05) |
0.03
GRP137-1
|
proof | ||||||||||||||||||||||||||||||
| GRP138-1 | (0.05) |
4.50
GRP138-1
|
proof | ||||||||||||||||||||||||||||||
| GRP139-1 | (0.11) |
0.02
GRP139-1
|
proof | ||||||||||||||||||||||||||||||
| GRP140-1 | (0.05) |
0.82
GRP140-1
|
proof | ||||||||||||||||||||||||||||||
| GRP141-1 | (0.05) |
0.08
GRP141-1
|
proof | ||||||||||||||||||||||||||||||
| GRP142-1 | (0.05) |
0.01
GRP142-1
|
proof | ||||||||||||||||||||||||||||||
| GRP143-1 | (0.05) |
0.02
GRP143-1
|
proof | ||||||||||||||||||||||||||||||
| GRP144-1 | (0.05) |
0.01
GRP144-1
|
proof | ||||||||||||||||||||||||||||||
| GRP145-1 | (0.05) |
0.04
GRP145-1
|
proof | ||||||||||||||||||||||||||||||
| GRP146-1 | (0.11) |
0.02
GRP146-1
|
proof | ||||||||||||||||||||||||||||||
| GRP147-1 | (0.11) |
4.87
GRP147-1
|
proof | ||||||||||||||||||||||||||||||
| GRP148-1 | (0.05) |
0.96
GRP148-1
|
proof | ||||||||||||||||||||||||||||||
| GRP149-1 | (0.11) |
0.08
GRP149-1
|
proof | ||||||||||||||||||||||||||||||
| GRP150-1 | (0.05) |
0.02
GRP150-1
|
proof | ||||||||||||||||||||||||||||||
| GRP151-1 | (0.11) |
0.02
GRP151-1
|
proof | ||||||||||||||||||||||||||||||
| GRP152-1 | (0.05) |
0.02
GRP152-1
|
proof | ||||||||||||||||||||||||||||||
| GRP153-1 | (0.05) |
0.02
GRP153-1
|
proof | ||||||||||||||||||||||||||||||
| GRP154-1 | (0.05) |
0.02
GRP154-1
|
proof | ||||||||||||||||||||||||||||||
| GRP155-1 | (0.05) |
0.02
GRP155-1
|
proof | ||||||||||||||||||||||||||||||
| GRP156-1 | (0.05) |
0.06
GRP156-1
|
proof | ||||||||||||||||||||||||||||||
| GRP157-1 | (0.05) |
0.02
GRP157-1
|
proof | ||||||||||||||||||||||||||||||
| GRP158-1 | (0.05) |
0.02
GRP158-1
|
proof | ||||||||||||||||||||||||||||||
| GRP159-1 | (0.05) |
0.07
GRP159-1
|
proof | ||||||||||||||||||||||||||||||
| GRP160-1 | (0.05) |
0.01
GRP160-1
|
proof | ||||||||||||||||||||||||||||||
| GRP161-1 | (0.05) |
0.02
GRP161-1
|
proof | ||||||||||||||||||||||||||||||
| GRP162-1 | (0.05) |
0.13
GRP162-1
|
proof | ||||||||||||||||||||||||||||||
| GRP163-1 | (0.05) |
0.07
GRP163-1
|
proof | ||||||||||||||||||||||||||||||
| GRP164-1 | (0.95) |
∞
|
|||||||||||||||||||||||||||||||
| GRP164-2 | (0.95) |
∞
|
|||||||||||||||||||||||||||||||
| GRP165-1 | (0.05) |
0.23
GRP165-1
|
proof | ||||||||||||||||||||||||||||||
| GRP165-2 | (0.05) |
0.71
GRP165-2
|
proof | ||||||||||||||||||||||||||||||
| GRP166-1 | (0.11) |
5.17
GRP166-1
|
proof | ||||||||||||||||||||||||||||||
| GRP166-2 | (0.11) |
7.10
GRP166-2
|
proof | ||||||||||||||||||||||||||||||
| GRP166-3 | (0.05) |
0.79
GRP166-3
|
proof | ||||||||||||||||||||||||||||||
| GRP166-4 | (0.11) |
0.90
GRP166-4
|
proof | ||||||||||||||||||||||||||||||
| GRP167-1 | (0.32) |
99.82
GRP167-1
|
proof | ||||||||||||||||||||||||||||||
| GRP167-2 | (0.26) |
133.24
GRP167-2
|
proof | ||||||||||||||||||||||||||||||
| GRP167-3 | (0.63) |
∞
|
|||||||||||||||||||||||||||||||
| GRP167-4 | (0.42) |
∞
|
|||||||||||||||||||||||||||||||
| GRP167-5 | (0.21) |
0.36
GRP167-5
|
proof | ||||||||||||||||||||||||||||||
| GRP168-1 | (0.16) |
0.02
GRP168-1
|
proof | ||||||||||||||||||||||||||||||
| GRP168-2 | (0.16) |
0.02
GRP168-2
|
proof | ||||||||||||||||||||||||||||||
| GRP169-1 | (0.05) |
2.31
GRP169-1
|
proof | ||||||||||||||||||||||||||||||
| GRP169-2 | (0.05) |
3.18
GRP169-2
|
proof | ||||||||||||||||||||||||||||||
| GRP170-1 | (0.16) |
5.50
GRP170-1
|
proof | ||||||||||||||||||||||||||||||
| GRP170-2 | (0.05) |
2.42
GRP170-2
|
proof | ||||||||||||||||||||||||||||||
| GRP170-3 | (0.16) |
6.78
GRP170-3
|
proof | ||||||||||||||||||||||||||||||
| GRP170-4 | (0.16) |
187.30
GRP170-4
|
|||||||||||||||||||||||||||||||
| GRP171-1 | (0.05) |
0.78
GRP171-1
|
proof | ||||||||||||||||||||||||||||||
| GRP171-2 | (0.05) |
0.56
GRP171-2
|
proof | ||||||||||||||||||||||||||||||
| GRP172-1 | (0.05) |
0.55
GRP172-1
|
proof | ||||||||||||||||||||||||||||||
| GRP172-2 | (0.05) |
1.10
GRP172-2
|
proof | ||||||||||||||||||||||||||||||
| GRP173-1 | (0.05) |
0.51
GRP173-1
|
proof | ||||||||||||||||||||||||||||||
| GRP174-1 | (0.05) |
0.51
GRP174-1
|
proof | ||||||||||||||||||||||||||||||
| GRP175-1 | (0.16) |
0.69
GRP175-1
|
proof | ||||||||||||||||||||||||||||||
| GRP175-2 | (0.05) |
0.87
GRP175-2
|
proof | ||||||||||||||||||||||||||||||
| GRP175-3 | (0.05) |
0.94
GRP175-3
|
proof | ||||||||||||||||||||||||||||||
| GRP175-4 | (0.11) |
1.18
GRP175-4
|
proof | ||||||||||||||||||||||||||||||
| GRP176-1 | (0.11) |
0.02
GRP176-1
|
proof | ||||||||||||||||||||||||||||||
| GRP176-2 | (0.11) |
0.02
GRP176-2
|
proof | ||||||||||||||||||||||||||||||
| GRP177-2 | (0.53) |
3.19
GRP177-2
|
proof | ||||||||||||||||||||||||||||||
| GRP178-1 | (0.47) |
4.00
GRP178-1
|
proof | ||||||||||||||||||||||||||||||
| GRP178-2 | (0.42) |
5.57
GRP178-2
|
proof | ||||||||||||||||||||||||||||||
| 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) |
∞
|
|||||||||||||||||||||||||||||||
| GRP181-4 | (0.32) |
∞
|
|||||||||||||||||||||||||||||||
| GRP182-1 | (0.05) |
0.04
GRP182-1
|
proof | ||||||||||||||||||||||||||||||
| GRP182-2 | (0.05) |
0.04
GRP182-2
|
proof | ||||||||||||||||||||||||||||||
| GRP182-3 | (0.05) |
0.04
GRP182-3
|
proof | ||||||||||||||||||||||||||||||
| GRP182-4 | (0.05) |
0.04
GRP182-4
|
proof | ||||||||||||||||||||||||||||||
| GRP183-1 | (0.58) |
∞
|
|||||||||||||||||||||||||||||||
| GRP183-2 | (0.37) |
530.29
GRP183-2
|
|||||||||||||||||||||||||||||||
| GRP183-3 | (0.58) |
∞
|
|||||||||||||||||||||||||||||||
| GRP183-4 | (0.37) |
∞
|
|||||||||||||||||||||||||||||||
| GRP184-1 | (0.47) |
2.91
GRP184-1
|
proof | ||||||||||||||||||||||||||||||
| GRP184-2 | (0.16) |
80.92
GRP184-2
|
proof | ||||||||||||||||||||||||||||||
| GRP184-3 | (0.53) |
3.05
GRP184-3
|
proof | ||||||||||||||||||||||||||||||
| GRP184-4 | (0.11) |
1.38
GRP184-4
|
proof | ||||||||||||||||||||||||||||||
| GRP185-1 | (0.37) |
4.16
GRP185-1
|
proof | ||||||||||||||||||||||||||||||
| GRP185-2 | (0.32) |
7.82
GRP185-2
|
proof | ||||||||||||||||||||||||||||||
| GRP185-3 | (0.42) |
6.58
GRP185-3
|
proof | ||||||||||||||||||||||||||||||
| GRP185-4 | (0.42) |
35.64
GRP185-4
|
proof | ||||||||||||||||||||||||||||||
| GRP186-1 | (0.53) |
∞
|
|||||||||||||||||||||||||||||||
| GRP186-2 | (0.42) |
∞
|
|||||||||||||||||||||||||||||||
| GRP186-3 | (0.11) |
0.21
GRP186-3
|
proof | ||||||||||||||||||||||||||||||
| GRP186-4 | (0.05) |
0.12
GRP186-4
|
proof | ||||||||||||||||||||||||||||||
| GRP187-1 | (0.63) |
∞
|
|||||||||||||||||||||||||||||||
| GRP188-1 | (0.05) |
0.02
GRP188-1
|
proof | ||||||||||||||||||||||||||||||
| GRP188-2 | (0.05) |
0.03
GRP188-2
|
proof | ||||||||||||||||||||||||||||||
| GRP189-1 | (0.05) |
0.02
GRP189-1
|
proof | ||||||||||||||||||||||||||||||
| GRP189-2 | (0.05) |
0.03
GRP189-2
|
proof | ||||||||||||||||||||||||||||||
| GRP190-1 | (0.05) |
2.07
GRP190-1
|
proof | ||||||||||||||||||||||||||||||
| GRP190-2 | (0.05) |
1.78
GRP190-2
|
proof | ||||||||||||||||||||||||||||||
| GRP191-1 | (0.05) |
2.57
GRP191-1
|
proof | ||||||||||||||||||||||||||||||
| GRP191-2 | (0.11) |
4.58
GRP191-2
|
proof | ||||||||||||||||||||||||||||||
| GRP192-1 | (0.11) |
0.11
GRP192-1
|
proof | ||||||||||||||||||||||||||||||
| GRP193-1 | (0.05) |
3.67
GRP193-1
|
proof | ||||||||||||||||||||||||||||||
| GRP193-2 | (0.05) |
8.41
GRP193-2
|
proof | ||||||||||||||||||||||||||||||
| GRP195-1 | (0.11) |
0.01
GRP195-1
|
proof | ||||||||||||||||||||||||||||||
| GRP196-1 | (0.95) |
∞
|
|||||||||||||||||||||||||||||||
| GRP200-1 | (0.21) |
∞
|
proof | ||||||||||||||||||||||||||||||
| GRP201-1 | (0.42) |
∞
|
proof | ||||||||||||||||||||||||||||||
| GRP202-1 | (0.26) |
119.88
GRP202-1
|
proof | ||||||||||||||||||||||||||||||
| GRP203-1 | (0.32) |
21.22
GRP203-1
|
proof | ||||||||||||||||||||||||||||||
| GRP205-1 | (0.32) |
230.69
GRP205-1
|
proof | ||||||||||||||||||||||||||||||
| GRP206-1 | (0.11) |
0.04
GRP206-1
|
proof | ||||||||||||||||||||||||||||||
| GRP403-1 | (0.26) |
4.79
GRP403-1
|
proof | ||||||||||||||||||||||||||||||
| GRP404-1 | (0.47) |
∞
|
proof | ||||||||||||||||||||||||||||||
| GRP405-1 | (0.42) |
∞
|
proof | ||||||||||||||||||||||||||||||
| GRP406-1 | (0.21) |
11.56
GRP406-1
|
proof | ||||||||||||||||||||||||||||||
| GRP407-1 | (0.21) |
29.17
GRP407-1
|
proof | ||||||||||||||||||||||||||||||
| GRP408-1 | (0.16) |
26.43
GRP408-1
|
proof | ||||||||||||||||||||||||||||||
| GRP409-1 | (0.16) |
1.63
GRP409-1
|
proof | ||||||||||||||||||||||||||||||
| GRP410-1 | (0.32) |
3.95
GRP410-1
|
proof | ||||||||||||||||||||||||||||||
| GRP411-1 | (0.32) |
4.31
GRP411-1
|
proof | ||||||||||||||||||||||||||||||
| GRP412-1 | (0.16) |
3.49
GRP412-1
|
proof | ||||||||||||||||||||||||||||||
| GRP413-1 | (0.21) |
13.23
GRP413-1
|
proof | ||||||||||||||||||||||||||||||
| GRP414-1 | (0.21) |
12.10
GRP414-1
|
proof | ||||||||||||||||||||||||||||||
| GRP415-1 | (0.16) |
9.24
GRP415-1
|
proof | ||||||||||||||||||||||||||||||
| GRP416-1 | (0.26) |
31.32
GRP416-1
|
proof | ||||||||||||||||||||||||||||||
| GRP417-1 | (0.26) |
30.58
GRP417-1
|
proof | ||||||||||||||||||||||||||||||
| GRP418-1 | (0.26) |
16.60
GRP418-1
|
proof | ||||||||||||||||||||||||||||||
| GRP419-1 | (0.47) |
∞
|
proof | ||||||||||||||||||||||||||||||
| GRP420-1 | (0.47) |
∞
|
proof | ||||||||||||||||||||||||||||||
| GRP421-1 | (0.32) |
5.61
GRP421-1
|
proof | ||||||||||||||||||||||||||||||
| GRP422-1 | (0.47) |
∞
|
proof | ||||||||||||||||||||||||||||||
| GRP423-1 | (0.53) |
∞
|
proof | ||||||||||||||||||||||||||||||
| GRP424-1 | (0.16) |
1.73
GRP424-1
|
proof | ||||||||||||||||||||||||||||||
| GRP425-1 | (0.16) |
4.28
GRP425-1
|
proof | ||||||||||||||||||||||||||||||
| GRP426-1 | (0.16) |
4.47
GRP426-1
|
proof | ||||||||||||||||||||||||||||||
| GRP427-1 | (0.21) |
14.10
GRP427-1
|
proof | ||||||||||||||||||||||||||||||
| GRP428-1 | (0.21) |
13.65
GRP428-1
|
proof | ||||||||||||||||||||||||||||||
| GRP429-1 | (0.16) |
17.32
GRP429-1
|
proof | ||||||||||||||||||||||||||||||
| GRP430-1 | (0.16) |
0.93
GRP430-1
|
proof | ||||||||||||||||||||||||||||||
| GRP431-1 | (0.21) |
0.91
GRP431-1
|
proof | ||||||||||||||||||||||||||||||
| GRP432-1 | (0.16) |
0.72
GRP432-1
|
proof | ||||||||||||||||||||||||||||||
| GRP433-1 | (0.16) |
22.25
GRP433-1
|
proof | ||||||||||||||||||||||||||||||
| GRP434-1 | (0.21) |
14.14
GRP434-1
|
proof | ||||||||||||||||||||||||||||||
| GRP435-1 | (0.21) |
21.28
GRP435-1
|
proof | ||||||||||||||||||||||||||||||
| GRP436-1 | (0.21) |
21.29
GRP436-1
|
proof | ||||||||||||||||||||||||||||||
| GRP437-1 | (0.26) |
14.22
GRP437-1
|
proof | ||||||||||||||||||||||||||||||
| GRP438-1 | (0.26) |
19.98
GRP438-1
|
proof | ||||||||||||||||||||||||||||||
| GRP439-1 | (0.21) |
23.81
GRP439-1
|
proof | ||||||||||||||||||||||||||||||
| GRP440-1 | (0.26) |
42.43
GRP440-1
|
proof | ||||||||||||||||||||||||||||||
| GRP441-1 | (0.21) |
46.85
GRP441-1
|
proof | ||||||||||||||||||||||||||||||
| GRP442-1 | (0.26) |
20.96
GRP442-1
|
proof | ||||||||||||||||||||||||||||||
| GRP443-1 | (0.32) |
20.99
GRP443-1
|
proof | ||||||||||||||||||||||||||||||
| GRP444-1 | (0.21) |
21.39
GRP444-1
|
proof | ||||||||||||||||||||||||||||||
| GRP445-1 | (0.11) |
0.05
GRP445-1
|
proof | ||||||||||||||||||||||||||||||
| GRP446-1 | (0.11) |
0.13
GRP446-1
|
proof | ||||||||||||||||||||||||||||||
| GRP447-1 | (0.16) |
0.48
GRP447-1
|
proof | ||||||||||||||||||||||||||||||
| GRP448-1 | (0.11) |
0.05
GRP448-1
|
proof | ||||||||||||||||||||||||||||||
| GRP449-1 | (0.11) |
0.14
GRP449-1
|
proof | ||||||||||||||||||||||||||||||
| GRP450-1 | (0.21) |
0.53
GRP450-1
|
proof | ||||||||||||||||||||||||||||||
| GRP451-1 | (0.05) |
0.08
GRP451-1
|
proof | ||||||||||||||||||||||||||||||
| GRP452-1 | (0.11) |
0.68
GRP452-1
|
proof | ||||||||||||||||||||||||||||||
| GRP453-1 | (0.16) |
1.91
GRP453-1
|
proof | ||||||||||||||||||||||||||||||
| GRP454-1 | (0.00) |
0.00
GRP454-1
|
proof | ||||||||||||||||||||||||||||||
| GRP455-1 | (0.05) |
0.07
GRP455-1
|
proof | ||||||||||||||||||||||||||||||
| GRP456-1 | (0.11) |
0.30
GRP456-1
|
proof | ||||||||||||||||||||||||||||||
| GRP457-1 | (0.00) |
0.00
GRP457-1
|
proof | ||||||||||||||||||||||||||||||
| GRP458-1 | (0.05) |
0.07
GRP458-1
|
proof | ||||||||||||||||||||||||||||||
| GRP459-1 | (0.05) |
0.24
GRP459-1
|
proof | ||||||||||||||||||||||||||||||
| GRP460-1 | (0.00) |
0.00
GRP460-1
|
proof | ||||||||||||||||||||||||||||||
| GRP461-1 | (0.05) |
0.06
GRP461-1
|
proof | ||||||||||||||||||||||||||||||
| GRP462-1 | (0.05) |
0.31
GRP462-1
|
proof | ||||||||||||||||||||||||||||||
| GRP463-1 | (0.00) |
0.00
GRP463-1
|
proof | ||||||||||||||||||||||||||||||
| GRP464-1 | (0.05) |
0.03
GRP464-1
|
proof | ||||||||||||||||||||||||||||||
| GRP465-1 | (0.11) |
0.41
GRP465-1
|
proof | ||||||||||||||||||||||||||||||
| GRP466-1 | (0.05) |
0.05
GRP466-1
|
proof | ||||||||||||||||||||||||||||||
| GRP467-1 | (0.16) |
3.94
GRP467-1
|
proof | ||||||||||||||||||||||||||||||
| GRP468-1 | (0.16) |
3.63
GRP468-1
|
proof | ||||||||||||||||||||||||||||||
| GRP469-1 | (0.32) |
3.72
GRP469-1
|
proof | ||||||||||||||||||||||||||||||
| GRP470-1 | (0.37) |
4.46
GRP470-1
|
proof | ||||||||||||||||||||||||||||||
| GRP471-1 | (0.32) |
12.36
GRP471-1
|
proof | ||||||||||||||||||||||||||||||
| GRP472-1 | (0.26) |
7.97
GRP472-1
|
proof | ||||||||||||||||||||||||||||||
| GRP473-1 | (0.26) |
9.34
GRP473-1
|
proof | ||||||||||||||||||||||||||||||
| GRP474-1 | (0.21) |
11.37
GRP474-1
|
proof | ||||||||||||||||||||||||||||||
| GRP475-1 | (0.32) |
2.18
GRP475-1
|
proof | ||||||||||||||||||||||||||||||
| GRP476-1 | (0.32) |
2.61
GRP476-1
|
proof | ||||||||||||||||||||||||||||||
| GRP477-1 | (0.32) |
8.02
GRP477-1
|
proof | ||||||||||||||||||||||||||||||
| GRP478-1 | (0.32) |
1.38
GRP478-1
|
proof | ||||||||||||||||||||||||||||||
| GRP479-1 | (0.32) |
1.72
GRP479-1
|
proof | ||||||||||||||||||||||||||||||
| GRP480-1 | (0.32) |
1.82
GRP480-1
|
proof | ||||||||||||||||||||||||||||||
| GRP481-1 | (0.05) |
0.13
GRP481-1
|
proof | ||||||||||||||||||||||||||||||
| GRP482-1 | (0.05) |
0.08
GRP482-1
|
proof | ||||||||||||||||||||||||||||||
| GRP483-1 | (0.11) |
0.50
GRP483-1
|
proof | ||||||||||||||||||||||||||||||
| GRP484-1 | (0.05) |
0.05
GRP484-1
|
proof | ||||||||||||||||||||||||||||||
| GRP485-1 | (0.05) |
0.10
GRP485-1
|
proof | ||||||||||||||||||||||||||||||
| GRP486-1 | (0.05) |
0.53
GRP486-1
|
proof | ||||||||||||||||||||||||||||||
| GRP487-1 | (0.05) |
0.33
GRP487-1
|
proof | ||||||||||||||||||||||||||||||
| GRP488-1 | (0.05) |
2.23
GRP488-1
|
proof | ||||||||||||||||||||||||||||||
| GRP489-1 | (0.11) |
2.82
GRP489-1
|
proof | ||||||||||||||||||||||||||||||
| GRP490-1 | (0.05) |
0.17
GRP490-1
|
proof | ||||||||||||||||||||||||||||||
| GRP491-1 | (0.11) |
0.14
GRP491-1
|
proof | ||||||||||||||||||||||||||||||
| GRP492-1 | (0.05) |
1.08
GRP492-1
|
proof | ||||||||||||||||||||||||||||||
| GRP493-1 | (0.05) |
0.12
GRP493-1
|
proof | ||||||||||||||||||||||||||||||
| GRP494-1 | (0.05) |
0.14
GRP494-1
|
proof | ||||||||||||||||||||||||||||||
| GRP495-1 | (0.05) |
1.54
GRP495-1
|
proof | ||||||||||||||||||||||||||||||
| GRP496-1 | (0.00) |
0.03
GRP496-1
|
proof | ||||||||||||||||||||||||||||||
| GRP497-1 | (0.11) |
0.12
GRP497-1
|
proof | ||||||||||||||||||||||||||||||
| GRP498-1 | (0.05) |
0.57
GRP498-1
|
proof | ||||||||||||||||||||||||||||||
| GRP499-1 | (0.16) |
8.51
GRP499-1
|
proof | ||||||||||||||||||||||||||||||
| GRP500-1 | (0.21) |
6.64
GRP500-1
|
proof | ||||||||||||||||||||||||||||||
| GRP501-1 | (0.26) |
6.21
GRP501-1
|
proof | ||||||||||||||||||||||||||||||
| GRP502-1 | (0.26) |
30.04
GRP502-1
|
proof | ||||||||||||||||||||||||||||||
| GRP503-1 | (0.26) |
42.78
GRP503-1
|
proof | ||||||||||||||||||||||||||||||
| GRP504-1 | (0.26) |
31.92
GRP504-1
|
proof | ||||||||||||||||||||||||||||||
| GRP505-1 | (0.58) |
∞
|
|||||||||||||||||||||||||||||||
| GRP506-1 | (0.63) |
∞
|
|||||||||||||||||||||||||||||||
| GRP507-1 | (0.63) |
∞
|
|||||||||||||||||||||||||||||||
| GRP508-1 | (0.68) |
∞
|
|||||||||||||||||||||||||||||||
| GRP509-1 | (0.05) |
0.34
GRP509-1
|
proof | ||||||||||||||||||||||||||||||
| GRP510-1 | (0.05) |
0.19
GRP510-1
|
proof | ||||||||||||||||||||||||||||||
| GRP511-1 | (0.16) |
0.68
GRP511-1
|
proof | ||||||||||||||||||||||||||||||
| GRP512-1 | (0.05) |
0.25
GRP512-1
|
proof | ||||||||||||||||||||||||||||||
| GRP513-1 | (0.16) |
0.77
GRP513-1
|
proof | ||||||||||||||||||||||||||||||
| GRP514-1 | (0.16) |
0.59
GRP514-1
|
proof | ||||||||||||||||||||||||||||||
| GRP515-1 | (0.16) |
1.18
GRP515-1
|
proof | ||||||||||||||||||||||||||||||
| GRP516-1 | (0.16) |
0.55
GRP516-1
|
proof | ||||||||||||||||||||||||||||||
| GRP517-1 | (0.11) |
0.10
GRP517-1
|
proof | ||||||||||||||||||||||||||||||
| GRP518-1 | (0.05) |
0.05
GRP518-1
|
proof | ||||||||||||||||||||||||||||||
| GRP519-1 | (0.11) |
0.17
GRP519-1
|
proof | ||||||||||||||||||||||||||||||
| GRP520-1 | (0.21) |
0.15
GRP520-1
|
proof | ||||||||||||||||||||||||||||||
| GRP521-1 | (0.00) |
0.02
GRP521-1
|
proof | ||||||||||||||||||||||||||||||
| GRP522-1 | (0.05) |
0.03
GRP522-1
|
proof | ||||||||||||||||||||||||||||||
| GRP523-1 | (0.11) |
0.30
GRP523-1
|
proof | ||||||||||||||||||||||||||||||
| GRP524-1 | (0.05) |
0.07
GRP524-1
|
proof | ||||||||||||||||||||||||||||||
| GRP525-1 | (0.05) |
0.01
GRP525-1
|
proof | ||||||||||||||||||||||||||||||
| GRP526-1 | (0.00) |
0.03
GRP526-1
|
proof | ||||||||||||||||||||||||||||||
| GRP527-1 | (0.11) |
0.33
GRP527-1
|
proof | ||||||||||||||||||||||||||||||
| GRP528-1 | (0.05) |
0.05
GRP528-1
|
proof | ||||||||||||||||||||||||||||||
| GRP529-1 | (0.05) |
0.03
GRP529-1
|
proof | ||||||||||||||||||||||||||||||
| GRP530-1 | (0.00) |
0.01
GRP530-1
|
proof | ||||||||||||||||||||||||||||||
| GRP531-1 | (0.11) |
0.32
GRP531-1
|
proof | ||||||||||||||||||||||||||||||
| GRP532-1 | (0.05) |
0.05
GRP532-1
|
proof | ||||||||||||||||||||||||||||||
| GRP533-1 | (0.00) |
0.01
GRP533-1
|
proof | ||||||||||||||||||||||||||||||
| GRP534-1 | (0.05) |
0.02
GRP534-1
|
proof | ||||||||||||||||||||||||||||||
| GRP535-1 | (0.11) |
0.29
GRP535-1
|
proof | ||||||||||||||||||||||||||||||
| GRP536-1 | (0.00) |
0.11
GRP536-1
|
proof | ||||||||||||||||||||||||||||||
| GRP537-1 | (0.00) |
0.01
GRP537-1
|
proof | ||||||||||||||||||||||||||||||
| GRP538-1 | (0.00) |
0.03
GRP538-1
|
proof | ||||||||||||||||||||||||||||||
| GRP539-1 | (0.11) |
0.14
GRP539-1
|
proof | ||||||||||||||||||||||||||||||
| GRP540-1 | (0.00) |
0.06
GRP540-1
|
proof | ||||||||||||||||||||||||||||||
| GRP541-1 | (0.00) |
0.01
GRP541-1
|
proof | ||||||||||||||||||||||||||||||
| GRP542-1 | (0.05) |
0.03
GRP542-1
|
proof | ||||||||||||||||||||||||||||||
| GRP543-1 | (0.05) |
1.05
GRP543-1
|
proof | ||||||||||||||||||||||||||||||
| GRP544-1 | (0.05) |
0.14
GRP544-1
|
proof | ||||||||||||||||||||||||||||||
| GRP545-1 | (0.00) |
0.01
GRP545-1
|
proof | ||||||||||||||||||||||||||||||
| GRP546-1 | (0.05) |
0.03
GRP546-1
|
proof | ||||||||||||||||||||||||||||||
| GRP547-1 | (0.05) |
0.32
GRP547-1
|
proof | ||||||||||||||||||||||||||||||
| GRP548-1 | (0.05) |
0.02
GRP548-1
|
proof | ||||||||||||||||||||||||||||||
| GRP549-1 | (0.05) |
0.01
GRP549-1
|
proof | ||||||||||||||||||||||||||||||
| GRP550-1 | (0.11) |
0.06
GRP550-1
|
proof | ||||||||||||||||||||||||||||||
| GRP551-1 | (0.05) |
2.44
GRP551-1
|
proof | ||||||||||||||||||||||||||||||
| GRP552-1 | (0.05) |
0.06
GRP552-1
|
proof | ||||||||||||||||||||||||||||||
| GRP553-1 | (0.11) |
0.08
GRP553-1
|
proof | ||||||||||||||||||||||||||||||
| GRP554-1 | (0.11) |
0.05
GRP554-1
|
proof | ||||||||||||||||||||||||||||||
| GRP555-1 | (0.16) |
0.09
GRP555-1
|
proof | ||||||||||||||||||||||||||||||
| GRP556-1 | (0.16) |
0.08
GRP556-1
|
proof | ||||||||||||||||||||||||||||||
| GRP557-1 | (0.11) |
0.18
GRP557-1
|
proof | ||||||||||||||||||||||||||||||
| GRP558-1 | (0.11) |
0.22
GRP558-1
|
proof | ||||||||||||||||||||||||||||||
| GRP559-1 | (0.16) |
1.32
GRP559-1
|
proof | ||||||||||||||||||||||||||||||
| GRP560-1 | (0.11) |
0.25
GRP560-1
|
proof | ||||||||||||||||||||||||||||||
| GRP561-1 | (0.16) |
0.11
GRP561-1
|
proof | ||||||||||||||||||||||||||||||
| GRP562-1 | (0.16) |
0.06
GRP562-1
|
proof | ||||||||||||||||||||||||||||||
| GRP563-1 | (0.16) |
1.24
GRP563-1
|
proof | ||||||||||||||||||||||||||||||
| GRP564-1 | (0.16) |
0.19
GRP564-1
|
proof | ||||||||||||||||||||||||||||||
| GRP565-1 | (0.11) |
0.09
GRP565-1
|
proof | ||||||||||||||||||||||||||||||
| GRP566-1 | (0.05) |
0.13
GRP566-1
|
proof | ||||||||||||||||||||||||||||||
| GRP567-1 | (0.16) |
1.87
GRP567-1
|
proof | ||||||||||||||||||||||||||||||
| GRP568-1 | (0.16) |
0.72
GRP568-1
|
proof | ||||||||||||||||||||||||||||||
| GRP569-1 | (0.05) |
0.06
GRP569-1
|
proof | ||||||||||||||||||||||||||||||
| GRP570-1 | (0.05) |
0.07
GRP570-1
|
proof | ||||||||||||||||||||||||||||||
| GRP571-1 | (0.21) |
1.16
GRP571-1
|
proof | ||||||||||||||||||||||||||||||
| GRP572-1 | (0.11) |
0.25
GRP572-1
|
proof | ||||||||||||||||||||||||||||||
| GRP573-1 | (0.05) |
0.11
GRP573-1
|
proof | ||||||||||||||||||||||||||||||
| GRP574-1 | (0.05) |
0.27
GRP574-1
|
proof | ||||||||||||||||||||||||||||||
| GRP575-1 | (0.16) |
2.43
GRP575-1
|
proof | ||||||||||||||||||||||||||||||
| GRP576-1 | (0.05) |
0.31
GRP576-1
|
proof | ||||||||||||||||||||||||||||||
| GRP577-1 | (0.05) |
0.17
GRP577-1
|
proof | ||||||||||||||||||||||||||||||
| GRP578-1 | (0.05) |
0.29
GRP578-1
|
proof | ||||||||||||||||||||||||||||||
| GRP579-1 | (0.11) |
2.72
GRP579-1
|
proof | ||||||||||||||||||||||||||||||
| GRP580-1 | (0.05) |
0.45
GRP580-1
|
proof | ||||||||||||||||||||||||||||||
| GRP581-1 | (0.05) |
0.13
GRP581-1
|
proof | ||||||||||||||||||||||||||||||
| GRP582-1 | (0.05) |
0.29
GRP582-1
|
proof | ||||||||||||||||||||||||||||||
| GRP583-1 | (0.16) |
1.90
GRP583-1
|
proof | ||||||||||||||||||||||||||||||
| GRP584-1 | (0.05) |
0.65
GRP584-1
|
proof | ||||||||||||||||||||||||||||||
| GRP585-1 | (0.11) |
0.15
GRP585-1
|
proof | ||||||||||||||||||||||||||||||
| GRP586-1 | (0.16) |
0.29
GRP586-1
|
proof | ||||||||||||||||||||||||||||||
| GRP587-1 | (0.11) |
5.69
GRP587-1
|
proof | ||||||||||||||||||||||||||||||
| GRP588-1 | (0.16) |
0.39
GRP588-1
|
proof | ||||||||||||||||||||||||||||||
| GRP589-1 | (0.11) |
0.28
GRP589-1
|
proof | ||||||||||||||||||||||||||||||
| GRP590-1 | (0.11) |
0.31
GRP590-1
|
proof | ||||||||||||||||||||||||||||||
| GRP591-1 | (0.21) |
1.04
GRP591-1
|
proof | ||||||||||||||||||||||||||||||
| GRP592-1 | (0.16) |
0.38
GRP592-1
|
proof | ||||||||||||||||||||||||||||||
| GRP593-1 | (0.16) |
0.17
GRP593-1
|
proof | ||||||||||||||||||||||||||||||
| GRP594-1 | (0.16) |
0.26
GRP594-1
|
proof | ||||||||||||||||||||||||||||||
| GRP595-1 | (0.16) |
0.15
GRP595-1
|
proof | ||||||||||||||||||||||||||||||
| GRP596-1 | (0.16) |
0.23
GRP596-1
|
proof | ||||||||||||||||||||||||||||||
| GRP597-1 | (0.16) |
0.13
GRP597-1
|
proof | ||||||||||||||||||||||||||||||
| GRP598-1 | (0.21) |
0.18
GRP598-1
|
proof | ||||||||||||||||||||||||||||||
| GRP599-1 | (0.21) |
1.04
GRP599-1
|
proof | ||||||||||||||||||||||||||||||
| GRP600-1 | (0.21) |
0.36
GRP600-1
|
proof | ||||||||||||||||||||||||||||||
| GRP601-1 | (0.21) |
0.79
GRP601-1
|
proof | ||||||||||||||||||||||||||||||
| GRP602-1 | (0.21) |
0.76
GRP602-1
|
proof | ||||||||||||||||||||||||||||||
| GRP603-1 | (0.21) |
0.81
GRP603-1
|
proof | ||||||||||||||||||||||||||||||
| GRP604-1 | (0.21) |
0.85
GRP604-1
|
proof | ||||||||||||||||||||||||||||||
| GRP605-1 | (0.16) |
0.70
GRP605-1
|
proof | ||||||||||||||||||||||||||||||
| GRP606-1 | (0.11) |
0.75
GRP606-1
|
proof | ||||||||||||||||||||||||||||||
| GRP607-1 | (0.16) |
2.11
GRP607-1
|
proof | ||||||||||||||||||||||||||||||
| GRP608-1 | (0.16) |
0.45
GRP608-1
|
proof | ||||||||||||||||||||||||||||||
| GRP609-1 | (0.21) |
1.25
GRP609-1
|
proof | ||||||||||||||||||||||||||||||
| GRP610-1 | (0.21) |
0.86
GRP610-1
|
proof | ||||||||||||||||||||||||||||||
| GRP611-1 | (0.11) |
0.69
GRP611-1
|
proof | ||||||||||||||||||||||||||||||
| GRP612-1 | (0.16) |
1.13
GRP612-1
|
proof | ||||||||||||||||||||||||||||||
| GRP613-1 | (0.16) |
0.50
GRP613-1
|
proof | ||||||||||||||||||||||||||||||
| GRP614-1 | (0.16) |
0.45
GRP614-1
|
proof | ||||||||||||||||||||||||||||||
| GRP615-1 | (0.21) |
1.52
GRP615-1
|
proof | ||||||||||||||||||||||||||||||
| GRP616-1 | (0.16) |
0.35
GRP616-1
|
proof | ||||||||||||||||||||||||||||||
| 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) |
∞
|
|||||||||||||||||||||||||||||||
| GRP667-3 | (0.58) |
∞
|
|||||||||||||||||||||||||||||||
| GRP667-4 | (0.68) |
∞
|
|||||||||||||||||||||||||||||||
| GRP667-5 | (0.68) |
∞
|
|||||||||||||||||||||||||||||||
| GRP668-1 | (0.37) |
∞
|
|||||||||||||||||||||||||||||||
| GRP669-1 | (0.21) |
16.99
GRP669-1
|
|||||||||||||||||||||||||||||||
| GRP670-1 | (0.63) |
∞
|
|||||||||||||||||||||||||||||||
| GRP671-1 | (0.05) |
0.05
GRP671-1
|
proof | ||||||||||||||||||||||||||||||
| GRP675-1 | (1.00) |
∞
|
|||||||||||||||||||||||||||||||
| GRP676-1 | (1.00) |
∞
|
|||||||||||||||||||||||||||||||
| GRP677-1 | (1.00) |
∞
|
|||||||||||||||||||||||||||||||
| GRP678-1 | (0.95) |
∞
|
|||||||||||||||||||||||||||||||
| GRP679-1 | (0.05) |
0.11
GRP679-1
|
proof | ||||||||||||||||||||||||||||||
| GRP680-1 | (0.11) |
5.45
GRP680-1
|
|||||||||||||||||||||||||||||||
| GRP681-1 | (0.47) |
∞
|
|||||||||||||||||||||||||||||||
| GRP684-1 | (0.11) |
0.10
GRP684-1
|
proof | ||||||||||||||||||||||||||||||
| GRP686-1 | (0.32) |
1.36
GRP686-1
|
proof | ||||||||||||||||||||||||||||||
| GRP687-1 | (0.26) |
33.88
GRP687-1
|
proof | ||||||||||||||||||||||||||||||
| GRP688-1 | (0.26) |
∞
|
|||||||||||||||||||||||||||||||
| GRP689-1 | (0.74) |
∞
|
|||||||||||||||||||||||||||||||
| GRP690-1 | (0.89) |
∞
|
|||||||||||||||||||||||||||||||
| GRP691-1 | (0.74) |
∞
|
|||||||||||||||||||||||||||||||
| GRP692-1 | (0.84) |
∞
|
|||||||||||||||||||||||||||||||
| GRP693-1 | (0.84) |
∞
|
|||||||||||||||||||||||||||||||
| GRP694-1 | (0.84) |
∞
|
|||||||||||||||||||||||||||||||
| GRP695-1 | (0.84) |
∞
|
|||||||||||||||||||||||||||||||
| GRP696-1 | (0.63) |
∞
|
|||||||||||||||||||||||||||||||
| GRP697-1 | (0.47) |
281.66
GRP697-1
|
|||||||||||||||||||||||||||||||
| GRP698-1 | (0.21) |
6.65
GRP698-1
|
proof | ||||||||||||||||||||||||||||||
| GRP699-1 | (0.26) |
∞
|
|||||||||||||||||||||||||||||||
| GRP701-1 | (0.47) |
∞
|
|||||||||||||||||||||||||||||||
| GRP705-1 | (0.37) |
∞
|
|||||||||||||||||||||||||||||||
| GRP706-1 | (0.84) |
∞
|
|||||||||||||||||||||||||||||||
| GRP707-1 | (0.16) |
∞
|
|||||||||||||||||||||||||||||||
| GRP708-1 | (0.11) |
1.29
GRP708-1
|
proof | ||||||||||||||||||||||||||||||
| GRP709-1 | (0.21) |
0.07
GRP709-1
|
proof | ||||||||||||||||||||||||||||||
| 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) |
∞
|
|||||||||||||||||||||||||||||||
| GRP728-1 | (0.37) |
∞
|
|||||||||||||||||||||||||||||||
| GRP729-1 | (0.37) |
∞
|
|||||||||||||||||||||||||||||||
| GRP730-1 | (0.37) |
∞
|
|||||||||||||||||||||||||||||||
| GRP731-1 | (0.32) |
218.26
GRP731-1
|
|||||||||||||||||||||||||||||||
| GRP732-1 | (1.00) |
∞
|
|||||||||||||||||||||||||||||||
| GRP740-1 | (1.00) |
∞
|
|||||||||||||||||||||||||||||||
| GRP749-1 | (1.00) |
∞
|
|||||||||||||||||||||||||||||||
| GRP750-1 | (0.37) |
47.82
GRP750-1
|
proof | ||||||||||||||||||||||||||||||
| GRP751-1 | (0.53) |
158.91
GRP751-1
|
proof | ||||||||||||||||||||||||||||||
| GRP752-1 | (0.58) |
∞
|
|||||||||||||||||||||||||||||||
| GRP753-1 | (0.84) |
∞
|
|||||||||||||||||||||||||||||||
| GRP754-1 | (0.32) |
44.69
GRP754-1
|
proof | ||||||||||||||||||||||||||||||
| GRP756-1 | (0.21) |
0.74
GRP756-1
|
proof | ||||||||||||||||||||||||||||||
| GRP764-1 | (0.74) |
∞
|
|||||||||||||||||||||||||||||||
| GRP765-1 | (0.74) |
∞
|
|||||||||||||||||||||||||||||||
| GRP766-1 | (0.79) |
∞
|
|||||||||||||||||||||||||||||||
| GRP767-1 | (0.53) |
∞
|
|||||||||||||||||||||||||||||||
| GRP768-1 | (0.63) |
∞
|
|||||||||||||||||||||||||||||||
| GRP769-1 | (0.74) |
∞
|
|||||||||||||||||||||||||||||||
| GRP770-1 | (0.53) |
∞
|
|||||||||||||||||||||||||||||||
| GRP771-1 | (1.00) |
∞
|
|||||||||||||||||||||||||||||||
| GRP772-1 | (0.42) |
∞
|
|||||||||||||||||||||||||||||||
| LAT006-1 | (0.16) |
6.00
LAT006-1
|
proof | ||||||||||||||||||||||||||||||
| LAT007-1 | (0.26) |
317.69
LAT007-1
|
proof | ||||||||||||||||||||||||||||||
| LAT008-1 | (0.11) |
0.16
LAT008-1
|
proof | ||||||||||||||||||||||||||||||
| LAT009-1 | (0.11) |
138.80
LAT009-1
|
proof | ||||||||||||||||||||||||||||||
| LAT010-1 | (0.11) |
52.86
LAT010-1
|
proof | ||||||||||||||||||||||||||||||
| LAT011-1 | (0.05) |
12.45
LAT011-1
|
proof | ||||||||||||||||||||||||||||||
| LAT012-1 | (0.05) |
∞
|
|||||||||||||||||||||||||||||||
| LAT013-1 | (0.26) |
∞
|
|||||||||||||||||||||||||||||||
| LAT014-1 | (0.00) |
0.01
LAT014-1
|
proof | ||||||||||||||||||||||||||||||
| LAT017-1 | (0.47) |
∞
|
|||||||||||||||||||||||||||||||
| LAT018-1 | (0.79) |
∞
|
|||||||||||||||||||||||||||||||
| LAT019-1 | (0.11) |
0.86
LAT019-1
|
proof | ||||||||||||||||||||||||||||||
| LAT020-1 | (0.58) |
∞
|
|||||||||||||||||||||||||||||||
| LAT021-1 | (0.11) |
46.90
LAT021-1
|
proof | ||||||||||||||||||||||||||||||
| LAT022-1 | (0.37) |
∞
|
|||||||||||||||||||||||||||||||
| LAT023-1 | (0.37) |
80.58
LAT023-1
|
proof | ||||||||||||||||||||||||||||||
| LAT026-1 | (0.37) |
146.84
LAT026-1
|
proof | ||||||||||||||||||||||||||||||
| LAT027-1 | (0.16) |
325.02
LAT027-1
|
proof | ||||||||||||||||||||||||||||||
| LAT028-1 | (0.11) |
2.74
LAT028-1
|
proof | ||||||||||||||||||||||||||||||
| LAT031-1 | (0.05) |
2.02
LAT031-1
|
proof | ||||||||||||||||||||||||||||||
| LAT032-1 | (0.05) |
2.26
LAT032-1
|
proof | ||||||||||||||||||||||||||||||
| LAT033-1 | (0.00) |
0.03
LAT033-1
|
proof | ||||||||||||||||||||||||||||||
| LAT034-1 | (0.00) |
0.02
LAT034-1
|
proof | ||||||||||||||||||||||||||||||
| LAT038-1 | (0.37) |
∞
|
|||||||||||||||||||||||||||||||
| LAT039-1 | (0.05) |
1.29
LAT039-1
|
proof | ||||||||||||||||||||||||||||||
| LAT039-2 | (0.05) |
0.01
LAT039-2
|
proof | ||||||||||||||||||||||||||||||
| LAT040-1 | (0.05) |
1.31
LAT040-1
|
proof | ||||||||||||||||||||||||||||||
| LAT042-1 | (0.00) |
0.10
LAT042-1
|
proof | ||||||||||||||||||||||||||||||
| LAT043-1 | (0.05) |
2.75
LAT043-1
|
proof | ||||||||||||||||||||||||||||||
| LAT044-1 | (0.16) |
382.11
LAT044-1
|
|||||||||||||||||||||||||||||||
| LAT045-1 | (0.11) |
0.13
LAT045-1
|
proof | ||||||||||||||||||||||||||||||
| 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) |
25.55
LAT080-1
|
proof | ||||||||||||||||||||||||||||||
| LAT081-1 | (0.42) |
∞
|
|||||||||||||||||||||||||||||||
| LAT082-1 | (0.53) |
∞
|
|||||||||||||||||||||||||||||||
| LAT083-1 | (0.37) |
24.98
LAT083-1
|
proof | ||||||||||||||||||||||||||||||
| LAT084-1 | (0.58) |
25.20
LAT084-1
|
proof | ||||||||||||||||||||||||||||||
| LAT085-1 | (0.58) |
∞
|
|||||||||||||||||||||||||||||||
| LAT086-1 | (0.37) |
26.37
LAT086-1
|
proof | ||||||||||||||||||||||||||||||
| LAT087-1 | (0.37) |
25.13
LAT087-1
|
proof | ||||||||||||||||||||||||||||||
| LAT088-1 | (0.05) |
0.03
LAT088-1
|
proof | ||||||||||||||||||||||||||||||
| LAT089-1 | (0.11) |
12.91
LAT089-1
|
proof | ||||||||||||||||||||||||||||||
| LAT090-1 | (0.05) |
0.05
LAT090-1
|
proof | ||||||||||||||||||||||||||||||
| LAT091-1 | (0.16) |
0.56
LAT091-1
|
proof | ||||||||||||||||||||||||||||||
| LAT092-1 | (0.32) |
18.48
LAT092-1
|
proof | ||||||||||||||||||||||||||||||
| LAT093-1 | (0.37) |
36.98
LAT093-1
|
proof | ||||||||||||||||||||||||||||||
| LAT094-1 | (0.32) |
17.97
LAT094-1
|
proof | ||||||||||||||||||||||||||||||
| LAT095-1 | (0.42) |
26.01
LAT095-1
|
proof | ||||||||||||||||||||||||||||||
| LAT096-1 | (0.37) |
40.88
LAT096-1
|
proof | ||||||||||||||||||||||||||||||
| LAT097-1 | (0.37) |
22.29
LAT097-1
|
proof | ||||||||||||||||||||||||||||||
| 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) |
503.90
LAT152-1
|
proof | ||||||||||||||||||||||||||||||
| LAT153-1 | (0.79) |
549.75
LAT153-1
|
proof | ||||||||||||||||||||||||||||||
| LAT154-1 | (0.68) |
380.78
LAT154-1
|
proof | ||||||||||||||||||||||||||||||
| 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) |
31.49
LAT389-1
|
proof | ||||||||||||||||||||||||||||||
| LAT390-1 | (0.47) |
32.58
LAT390-1
|
proof | ||||||||||||||||||||||||||||||
| LAT391-1 | (0.42) |
25.10
LAT391-1
|
proof | ||||||||||||||||||||||||||||||
| LAT392-1 | (0.42) |
33.63
LAT392-1
|
proof | ||||||||||||||||||||||||||||||
| LAT393-1 | (0.79) |
∞
|
|||||||||||||||||||||||||||||||
| LAT393-2 | (0.84) |
∞
|
|||||||||||||||||||||||||||||||
| LAT394-1 | (0.21) |
5.63
LAT394-1
|
proof | ||||||||||||||||||||||||||||||
| LAT394-2 | (0.16) |
10.66
LAT394-2
|
proof | ||||||||||||||||||||||||||||||
| LCL109-2 | (0.37) |
∞
|
|||||||||||||||||||||||||||||||
| LCL109-6 | (0.21) |
∞
|
|||||||||||||||||||||||||||||||
| LCL110-2 | (0.05) |
0.14
LCL110-2
|
proof | ||||||||||||||||||||||||||||||
| LCL111-2 | (0.16) |
1.94
LCL111-2
|
proof | ||||||||||||||||||||||||||||||
| LCL112-2 | (0.11) |
0.23
LCL112-2
|
proof | ||||||||||||||||||||||||||||||
| LCL113-2 | (0.11) |
0.59
LCL113-2
|
proof | ||||||||||||||||||||||||||||||
| LCL114-2 | (0.11) |
0.56
LCL114-2
|
proof | ||||||||||||||||||||||||||||||
| LCL115-2 | (0.11) |
0.51
LCL115-2
|
proof | ||||||||||||||||||||||||||||||
| LCL116-2 | (0.11) |
1.79
LCL116-2
|
proof | ||||||||||||||||||||||||||||||
| LCL132-1 | (0.05) |
0.02
LCL132-1
|
proof | ||||||||||||||||||||||||||||||
| LCL133-1 | (0.11) |
0.03
LCL133-1
|
proof | ||||||||||||||||||||||||||||||
| LCL134-1 | (0.05) |
0.03
LCL134-1
|
proof | ||||||||||||||||||||||||||||||
| LCL135-1 | (0.05) |
0.06
LCL135-1
|
proof | ||||||||||||||||||||||||||||||
| LCL138-1 | (0.42) |
∞
|
|||||||||||||||||||||||||||||||
| LCL139-1 | (0.11) |
0.45
LCL139-1
|
proof | ||||||||||||||||||||||||||||||
| LCL140-1 | (0.11) |
0.18
LCL140-1
|
proof | ||||||||||||||||||||||||||||||
| LCL141-1 | (0.11) |
0.43
LCL141-1
|
proof | ||||||||||||||||||||||||||||||
| LCL153-1 | (0.05) |
1.47
LCL153-1
|
proof | ||||||||||||||||||||||||||||||
| LCL154-1 | (0.05) |
3.91
LCL154-1
|
proof | ||||||||||||||||||||||||||||||
| LCL155-1 | (0.05) |
1.52
LCL155-1
|
proof | ||||||||||||||||||||||||||||||
| LCL156-1 | (0.05) |
0.09
LCL156-1
|
proof | ||||||||||||||||||||||||||||||
| LCL157-1 | (0.05) |
0.13
LCL157-1
|
proof | ||||||||||||||||||||||||||||||
| LCL158-1 | (0.05) |
3.00
LCL158-1
|
proof | ||||||||||||||||||||||||||||||
| LCL159-1 | (0.05) |
3.04
LCL159-1
|
proof | ||||||||||||||||||||||||||||||
| LCL160-1 | (0.21) |
3.99
LCL160-1
|
proof | ||||||||||||||||||||||||||||||
| LCL161-1 | (0.05) |
0.06
LCL161-1
|
proof | ||||||||||||||||||||||||||||||
| LCL162-1 | (0.16) |
∞
|
|||||||||||||||||||||||||||||||
| LCL163-1 | (0.26) |
∞
|
|||||||||||||||||||||||||||||||
| LCL164-1 | (0.11) |
0.08
LCL164-1
|
proof | ||||||||||||||||||||||||||||||
| LDA001-1 | (0.05) |
0.05
LDA001-1
|
proof | ||||||||||||||||||||||||||||||
| LDA002-1 | (0.11) |
26.76
LDA002-1
|
proof | ||||||||||||||||||||||||||||||
| LDA007-3 | (0.05) |
0.02
LDA007-3
|
proof | ||||||||||||||||||||||||||||||
| REL001-1 | (0.16) |
0.46
REL001-1
|
proof | ||||||||||||||||||||||||||||||
| REL002-1 | (0.16) |
1.35
REL002-1
|
proof | ||||||||||||||||||||||||||||||
| REL004-1 | (0.16) |
12.83
REL004-1
|
proof | ||||||||||||||||||||||||||||||
| REL004-2 | (0.21) |
12.28
REL004-2
|
proof | ||||||||||||||||||||||||||||||
| REL004-3 | (0.21) |
12.12
REL004-3
|
proof | ||||||||||||||||||||||||||||||
| REL005-1 | (0.42) |
411.29
REL005-1
|
proof | ||||||||||||||||||||||||||||||
| REL005-3 | (0.37) |
65.38
REL005-3
|
proof | ||||||||||||||||||||||||||||||
| REL006-1 | (0.16) |
4.77
REL006-1
|
proof | ||||||||||||||||||||||||||||||
| REL007-1 | (0.21) |
3.49
REL007-1
|
proof | ||||||||||||||||||||||||||||||
| REL008-1 | (0.37) |
∞
|
|||||||||||||||||||||||||||||||
| REL008-3 | (0.37) |
∞
|
|||||||||||||||||||||||||||||||
| REL010-1 | (0.74) |
∞
|
|||||||||||||||||||||||||||||||
| REL010-2 | (0.42) |
102.06
REL010-2
|
proof | ||||||||||||||||||||||||||||||
| REL011-1 | (0.79) |
∞
|
|||||||||||||||||||||||||||||||
| REL011-2 | (0.42) |
17.87
REL011-2
|
proof | ||||||||||||||||||||||||||||||
| REL012-1 | (0.32) |
285.28
REL012-1
|
proof | ||||||||||||||||||||||||||||||
| REL012-2 | (0.47) |
69.75
REL012-2
|
|||||||||||||||||||||||||||||||
| REL015-1 | (0.05) |
2.41
REL015-1
|
proof | ||||||||||||||||||||||||||||||
| REL016-1 | (1.00) |
∞
|
|||||||||||||||||||||||||||||||
| REL016-3 | (0.95) |
∞
|
|||||||||||||||||||||||||||||||
| REL017-1 | (1.00) |
∞
|
|||||||||||||||||||||||||||||||
| REL017-3 | (0.95) |
∞
|
|||||||||||||||||||||||||||||||
| REL018-1 | (0.21) |
13.34
REL018-1
|
proof | ||||||||||||||||||||||||||||||
| 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) |
0.38
REL023-1
|
proof | ||||||||||||||||||||||||||||||
| REL023-2 | (0.21) |
1.61
REL023-2
|
proof | ||||||||||||||||||||||||||||||
| REL024-1 | (0.37) |
368.85
REL024-1
|
|||||||||||||||||||||||||||||||
| REL024-2 | (0.32) |
11.63
REL024-2
|
|||||||||||||||||||||||||||||||
| REL025-1 | (0.47) |
∞
|
|||||||||||||||||||||||||||||||
| REL026-1 | (0.58) |
∞
|
|||||||||||||||||||||||||||||||
| REL026-3 | (0.63) |
∞
|
|||||||||||||||||||||||||||||||
| REL027-1 | (0.42) |
∞
|
|||||||||||||||||||||||||||||||
| REL027-3 | (0.47) |
∞
|
|||||||||||||||||||||||||||||||
| 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) |
142.24
REL031-1
|
proof | ||||||||||||||||||||||||||||||
| REL031-2 | (0.58) |
66.38
REL031-2
|
proof | ||||||||||||||||||||||||||||||
| 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) |
490.05
REL041-2
|
|||||||||||||||||||||||||||||||
| REL042-1 | (0.68) |
∞
|
|||||||||||||||||||||||||||||||
| REL042-2 | (0.32) |
77.95
REL042-2
|
proof | ||||||||||||||||||||||||||||||
| REL043-1 | (0.84) |
∞
|
|||||||||||||||||||||||||||||||
| REL043-2 | (0.47) |
∞
|
|||||||||||||||||||||||||||||||
| REL044-1 | (0.84) |
∞
|
|||||||||||||||||||||||||||||||
| REL044-2 | (0.47) |
152.74
REL044-2
|
proof | ||||||||||||||||||||||||||||||
| REL045-1 | (0.84) |
∞
|
|||||||||||||||||||||||||||||||
| REL045-2 | (0.53) |
551.89
REL045-2
|
|||||||||||||||||||||||||||||||
| REL047-1 | (0.58) |
∞
|
|||||||||||||||||||||||||||||||
| REL049-1 | (0.05) |
0.02
REL049-1
|
proof | ||||||||||||||||||||||||||||||
| REL050-1 | (0.42) |
25.69
REL050-1
|
|||||||||||||||||||||||||||||||
| REL050-3 | (0.42) |
∞
|
proof | ||||||||||||||||||||||||||||||
| RNG007-4 | (0.05) |
0.04
RNG007-4
|
proof | ||||||||||||||||||||||||||||||
| RNG008-3 | (0.11) |
0.56
RNG008-3
|
proof | ||||||||||||||||||||||||||||||
| RNG008-4 | (0.11) |
0.64
RNG008-4
|
proof | ||||||||||||||||||||||||||||||
| RNG008-7 | (0.11) |
2.29
RNG008-7
|
proof | ||||||||||||||||||||||||||||||
| RNG009-5 | (0.53) |
∞
|
|||||||||||||||||||||||||||||||
| RNG009-7 | (0.42) |
∞
|
|||||||||||||||||||||||||||||||
| RNG011-5 | (0.05) |
0.02
RNG011-5
|
proof | ||||||||||||||||||||||||||||||
| RNG012-6 | (0.21) |
1.50
RNG012-6
|
proof | ||||||||||||||||||||||||||||||
| RNG013-6 | (0.16) |
0.38
RNG013-6
|
proof | ||||||||||||||||||||||||||||||
| RNG014-6 | (0.11) |
1.24
RNG014-6
|
proof | ||||||||||||||||||||||||||||||
| RNG015-6 | (0.21) |
1.39
RNG015-6
|
proof | ||||||||||||||||||||||||||||||
| RNG016-6 | (0.21) |
1.44
RNG016-6
|
proof | ||||||||||||||||||||||||||||||
| RNG017-6 | (0.21) |
1.97
RNG017-6
|
proof | ||||||||||||||||||||||||||||||
| RNG018-6 | (0.11) |
1.84
RNG018-6
|
proof | ||||||||||||||||||||||||||||||
| RNG019-6 | (0.32) |
4.54
RNG019-6
|
proof | ||||||||||||||||||||||||||||||
| RNG019-7 | (0.26) |
12.60
RNG019-7
|
proof | ||||||||||||||||||||||||||||||
| RNG020-6 | (0.37) |
6.83
RNG020-6
|
proof | ||||||||||||||||||||||||||||||
| RNG020-7 | (0.32) |
42.20
RNG020-7
|
proof | ||||||||||||||||||||||||||||||
| RNG021-6 | (0.37) |
5.33
RNG021-6
|
proof | ||||||||||||||||||||||||||||||
| RNG021-7 | (0.32) |
12.67
RNG021-7
|
proof | ||||||||||||||||||||||||||||||
| RNG023-6 | (0.05) |
0.02
RNG023-6
|
proof | ||||||||||||||||||||||||||||||
| RNG023-7 | (0.05) |
0.06
RNG023-7
|
proof | ||||||||||||||||||||||||||||||
| RNG024-6 | (0.00) |
0.02
RNG024-6
|
proof | ||||||||||||||||||||||||||||||
| RNG024-7 | (0.11) |
0.07
RNG024-7
|
proof | ||||||||||||||||||||||||||||||
| RNG025-4 | (0.74) |
10.99
RNG025-4
|
|||||||||||||||||||||||||||||||
| RNG025-5 | (0.63) |
∞
|
|||||||||||||||||||||||||||||||
| RNG025-6 | (0.63) |
∞
|
|||||||||||||||||||||||||||||||
| RNG025-7 | (0.68) |
∞
|
|||||||||||||||||||||||||||||||
| RNG026-6 | (0.53) |
9.09
RNG026-6
|
proof | ||||||||||||||||||||||||||||||
| RNG026-7 | (0.42) |
5.90
RNG026-7
|
proof | ||||||||||||||||||||||||||||||
| 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) |
∞
|
|||||||||||||||||||||||||||||||
| RNG128-1 | (0.05) |
0.28
RNG128-1
|
proof | ||||||||||||||||||||||||||||||
| ROB001-1 | (1.00) |
∞
|
|||||||||||||||||||||||||||||||
| ROB002-1 | (0.00) |
0.27
ROB002-1
|
proof | ||||||||||||||||||||||||||||||
| ROB003-1 | (0.11) |
1.77
ROB003-1
|
proof | ||||||||||||||||||||||||||||||
| ROB004-1 | (0.11) |
14.10
ROB004-1
|
proof | ||||||||||||||||||||||||||||||
| ROB005-1 | (0.21) |
∞
|
|||||||||||||||||||||||||||||||
| ROB006-1 | (0.95) |
∞
|
|||||||||||||||||||||||||||||||
| ROB006-2 | (0.95) |
∞
|
|||||||||||||||||||||||||||||||
| ROB008-1 | (0.11) |
0.15
ROB008-1
|
proof | ||||||||||||||||||||||||||||||
| ROB009-1 | (0.11) |
0.02
ROB009-1
|
proof | ||||||||||||||||||||||||||||||
| ROB010-1 | (0.00) |
0.09
ROB010-1
|
proof | ||||||||||||||||||||||||||||||
| ROB013-1 | (0.05) |
0.07
ROB013-1
|
proof | ||||||||||||||||||||||||||||||
| ROB022-1 | (0.21) |
297.46
ROB022-1
|
proof | ||||||||||||||||||||||||||||||
| ROB023-1 | (0.16) |
2.88
ROB023-1
|
proof | ||||||||||||||||||||||||||||||
| ROB026-1 | (0.89) |
∞
|
|||||||||||||||||||||||||||||||
| ROB030-1 | (0.00) |
0.01
ROB030-1
|
proof | ||||||||||||||||||||||||||||||
| 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.01
SWV243-2
|
proof | ||||||||||||||||||||||||||||||
| SWV262-2 | (0.11) |
0.01
SWV262-2
|
proof | ||||||||||||||||||||||||||||||
| SWV818-1 | (0.00) |
0.00
SWV818-1
|
proof | ||||||||||||||||||||||||||||||
| SWV819-1 | (0.11) |
0.00
SWV819-1
|
proof | ||||||||||||||||||||||||||||||
| SYN080-1 | (0.00) |
0.00
SYN080-1
|
proof | ||||||||||||||||||||||||||||||
| SYN083-1 | (0.00) |
0.00
SYN083-1
|
proof | ||||||||||||||||||||||||||||||
| max_iterations | 42 | ||||||||||||||||||||||||||||||||
| equalities | 987 | ||||||||||||||||||||||||||||||||
| restarts | 253 | ||||||||||||||||||||||||||||||||
| successes | 621 | ||||||||||||||||||||||||||||||||
| timeouts | 275 | ||||||||||||||||||||||||||||||||
| time/overlaps | 2705s (22%) | ||||||||||||||||||||||||||||||||
| time/maxk | 2161s (18%) | ||||||||||||||||||||||||||||||||
| time/rewrite | 3793s (32%) | ||||||||||||||||||||||||||||||||
| time/select | 174s (1%) | ||||||||||||||||||||||||||||||||
| time/sat | 31s (0%) | ||||||||||||||||||||||||||||||||
| time/success checks | 691s (6%) | ||||||||||||||||||||||||||||||||
| total time | 12025.289 | ||||||||||||||||||||||||||||||||
| average time | 19.36 | ||||||||||||||||||||||||||||||||
| average memory | 215 MB | ||||||||||||||||||||||||||||||||
| errors | 1 | ||||||||||||||||||||||||||||||||
| OVERALL STATS | |||||||||||||||||||||||||||||||||
| solved | 621 | ||||||||||||||||||||||||||||||||
| diff solved | 0 | ||||||||||||||||||||||||||||||||