MaedMax Experiment
|
0 E SAT 60
|
1 e/maedmax SAT
|
||
| ALG299-1 | (0.67) |
0.01
|
0.00
|
| ALG300-1 | (0.67) |
0.00
|
0.00
|
| ALG301-1 | (1.00) |
∞
|
∞
|
| ALG302-1 | (0.67) |
0.00
|
0.00
|
| BOO019-1 | (0.00) |
∞
|
∞
|
| BOO027-1 | (0.00) |
0.00
|
0.00
|
| BOO030-1 | (0.00) |
∞
|
∞
|
| BOO032-1 | (0.00) |
∞
|
∞
|
| BOO033-1 | (0.00) |
∞
|
∞
|
| BOO036-1 | (0.00) |
∞
|
∞
|
| BOO037-2 | (0.00) |
∞
|
∞
|
| BOO037-3 | (0.00) |
∞
|
∞
|
| BOO077-1 | (1.00) |
∞
|
∞
|
| BOO106-1 | (1.00) |
∞
|
∞
|
| COL005-1 | (0.00) |
∞
|
∞
|
| COL047-1 | (0.00) |
∞
|
∞
|
| COL069-1 | (1.00) |
∞
|
∞
|
| COL071-1 | (0.00) |
∞
|
∞
|
| COL073-1 | (0.00) |
∞
|
∞
|
| GRP204-1 | (0.00) |
∞
|
∞
|
| GRP207-1 | (0.00) |
∞
|
∞
|
| GRP393-2 | (0.00) |
0.00
|
0.00
|
| GRP394-3 | (0.00) |
0.00
|
∞
|
| GRP399-1 | (0.33) |
∞
|
∞
|
| GRP722-1 | (0.00) |
∞
|
∞
|
| GRP735-1 | (0.67) |
∞
|
∞
|
| GRP737-1 | (0.33) |
∞
|
∞
|
| GRP738-1 | (1.00) |
∞
|
∞
|
| GRP739-1 | (1.00) |
∞
|
∞
|
| GRP741-1 | (0.33) |
∞
|
∞
|
| GRP742-1 | (1.00) |
∞
|
∞
|
| GRP743-1 | (0.33) |
∞
|
∞
|
| GRP744-1 | (1.00) |
∞
|
∞
|
| GRP773-1 | (1.00) |
∞
|
∞
|
| HWC004-1 | (0.20) |
0.00
|
0.01
|
| HWC004-2 | (0.00) |
0.01
|
0.01
|
| LAT016-1 | (0.00) |
∞
|
∞
|
| LAT024-1 | (0.00) |
∞
|
∞
|
| LAT025-1 | (0.00) |
∞
|
∞
|
| LAT046-1 | (0.00) |
∞
|
∞
|
| LAT047-1 | (0.00) |
∞
|
∞
|
| LAT048-1 | (0.00) |
∞
|
∞
|
| LAT049-1 | (0.00) |
∞
|
∞
|
| LAT050-1 | (0.00) |
∞
|
∞
|
| LAT051-1 | (0.00) |
∞
|
∞
|
| LAT052-1 | (0.00) |
∞
|
∞
|
| LAT053-1 | (0.67) |
∞
|
∞
|
| LAT054-1 | (0.00) |
∞
|
∞
|
| LAT055-2 | (0.00) |
∞
|
∞
|
| LAT059-1 | (0.00) |
∞
|
∞
|
| LAT060-1 | (0.00) |
∞
|
∞
|
| LAT061-1 | (0.00) |
∞
|
∞
|
| LAT062-1 | (0.00) |
∞
|
∞
|
| LAT063-1 | (0.00) |
∞
|
∞
|
| LAT098-1 | (0.00) |
∞
|
∞
|
| LAT099-1 | (0.00) |
∞
|
∞
|
| LAT100-1 | (0.00) |
∞
|
∞
|
| LAT101-1 | (0.00) |
∞
|
∞
|
| LAT102-1 | (0.00) |
∞
|
∞
|
| LAT103-1 | (0.00) |
∞
|
∞
|
| LAT104-1 | (0.00) |
∞
|
∞
|
| LAT105-1 | (0.00) |
∞
|
∞
|
| LAT106-1 | (0.00) |
∞
|
∞
|
| LAT107-1 | (0.00) |
∞
|
∞
|
| LAT108-1 | (0.00) |
∞
|
∞
|
| LAT109-1 | (0.00) |
∞
|
∞
|
| LAT110-1 | (0.00) |
∞
|
∞
|
| LAT111-1 | (0.00) |
∞
|
∞
|
| LAT112-1 | (0.00) |
∞
|
∞
|
| LAT113-1 | (0.00) |
∞
|
∞
|
| LAT114-1 | (0.00) |
∞
|
∞
|
| LAT115-1 | (0.00) |
∞
|
∞
|
| LAT116-1 | (0.00) |
∞
|
∞
|
| LAT117-1 | (0.00) |
∞
|
∞
|
| LAT118-1 | (0.67) |
∞
|
∞
|
| LAT119-1 | (0.00) |
∞
|
∞
|
| LAT120-1 | (0.00) |
∞
|
∞
|
| LAT121-1 | (0.00) |
∞
|
∞
|
| LAT122-1 | (0.00) |
∞
|
∞
|
| LAT123-1 | (0.00) |
∞
|
∞
|
| LAT124-1 | (0.33) |
∞
|
∞
|
| LAT125-1 | (0.00) |
∞
|
∞
|
| LAT126-1 | (0.00) |
∞
|
∞
|
| LAT127-1 | (0.00) |
∞
|
∞
|
| LAT128-1 | (0.00) |
∞
|
∞
|
| LAT129-1 | (0.00) |
∞
|
∞
|
| LAT130-1 | (0.00) |
∞
|
∞
|
| LAT131-1 | (0.00) |
∞
|
∞
|
| LAT132-1 | (0.00) |
∞
|
∞
|
| LAT133-1 | (0.00) |
∞
|
∞
|
| LAT134-1 | (0.00) |
∞
|
∞
|
| LAT135-1 | (0.00) |
∞
|
∞
|
| LAT136-1 | (0.00) |
∞
|
∞
|
| LAT137-1 | (0.00) |
∞
|
∞
|
| LCL136-1 | (0.00) |
∞
|
∞
|
| LCL137-1 | (0.00) |
∞
|
∞
|
| LCL165-1 | (0.00) |
∞
|
∞
|
| LCL407-1 | (0.00) |
∞
|
∞
|
| LCL407-2 | (0.00) |
0.01
|
∞
|
| LCL409-1 | (0.00) |
∞
|
∞
|
| LCL410-1 | (0.00) |
∞
|
∞
|
| LCL905-1 | (0.00) |
0.01
|
0.00
|
| LDA015-1 | (0.00) |
∞
|
∞
|
| LDA016-1 | (0.00) |
∞
|
∞
|
| LDA017-1 | (0.00) |
∞
|
∞
|
| LDA018-1 | (0.00) |
∞
|
∞
|
| LDA019-1 | (0.00) |
∞
|
∞
|
| LDA020-1 | (0.00) |
∞
|
∞
|
| LDA021-1 | (0.00) |
∞
|
∞
|
| LDA022-1 | (0.00) |
∞
|
∞
|
| LDA023-1 | (0.00) |
∞
|
∞
|
| LDA024-1 | (0.00) |
∞
|
∞
|
| LDA025-1 | (0.00) |
∞
|
∞
|
| LDA026-1 | (0.00) |
∞
|
∞
|
| LDA027-1 | (0.00) |
∞
|
∞
|
| LDA028-1 | (0.00) |
∞
|
∞
|
| LDA029-1 | (0.00) |
∞
|
∞
|
| LDA030-1 | (0.00) |
∞
|
∞
|
| LDA031-1 | (0.00) |
∞
|
∞
|
| LDA032-1 | (0.00) |
∞
|
∞
|
| LDA033-1 | (0.00) |
∞
|
∞
|
| LDA034-1 | (0.00) |
∞
|
∞
|
| LDA035-1 | (0.00) |
∞
|
∞
|
| LDA036-1 | (0.00) |
∞
|
∞
|
| LDA037-1 | (0.00) |
∞
|
∞
|
| LDA038-1 | (0.00) |
∞
|
∞
|
| LDA039-1 | (0.67) |
∞
|
∞
|
| LDA040-1 | (0.67) |
∞
|
∞
|
| REL014-1 | (0.00) |
∞
|
∞
|
| REL053-1 | (0.00) |
∞
|
∞
|
| RNG025-8 | (0.00) |
∞
|
∞
|
| RNG025-9 | (0.00) |
∞
|
∞
|
| RNG030-6 | (1.00) |
∞
|
∞
|
| RNG030-7 | (1.00) |
∞
|
∞
|
| RNG031-6 | (0.33) |
∞
|
∞
|
| RNG031-7 | (0.33) |
∞
|
∞
|
| RNG032-6 | (1.00) |
∞
|
∞
|
| RNG032-7 | (1.00) |
∞
|
∞
|
| RNG042-2 | (0.00) |
∞
|
∞
|
| RNG042-3 | (0.00) |
∞
|
∞
|
| RNG043-1 | (0.00) |
∞
|
∞
|
| ROB028-1 | (0.00) |
∞
|
∞
|
| SYN305-1 | (0.67) |
0.00
|
0.00
|
| SYN552-1 | (0.00) |
0.01
|
0.01
|
| max_iterations | |||
| max_restarts | |||
| equalities | |||
| total equalities | |||
| goals | |||
| restarts | |||
| hard restarts | |||
| successes | 12 | 10 | |
| timeouts | 132 | 134 | |
| median time | 0.004 | 0.004 | |
| time/overlaps | |||
| time/rewrite | |||
| time/select | |||
| time/subsumption checks | |||
| time/success checks | |||
| time/sat | |||
| total time | 0.068 | 0.052 | |
| average time | 0.01 | 0.01 | |
| OVERALL STATS | |||
| solved | 12 | ||
| diff solved | 2 | ||