sauer_reimer
Overview
- number of participating solvers: 12
- number of participating formulas: 150
Overall Solving Statistics
| SOLVER | SAT | UNSAT | TOTAL |
| ghost-cegar.sh | 102 | 28 | 130 | |
| ghost-bq-cegar.sh | 102 | 28 | 130 | |
| ghost-plain.sh | 89 | 27 | 116 | |
| hiqqer3 | 79 | 30 | 109 | |
| pre_dual_ooq.py | 48 | 29 | 77 | |
| depqbf | 51 | 25 | 76 | |
| depqbf-lazy-qup | 51 | 24 | 75 | |
| squeezebf1.2-qube3.0 | 33 | 26 | 59 | |
| rareqs-1.1 | 27 | 26 | 53 | |
| ooq | 6 | 29 | 35 | |
| clean_dual_ooq | 5 | 28 | 33 | |
| nenofex | 7 | 11 | 18 | |
Number of Solved Formulas
| solver | AVERAGE | SUM |
| ghost-cegar.sh | 154.30 | 23145.88 | |
| ghost-bq-cegar.sh | 154.90 | 23235.71 | |
| ghost-plain.sh | 235.38 | 35307.47 | |
| hiqqer3 | 265.18 | 39777.85 | |
| pre_dual_ooq.py | 448.59 | 67289.89 | |
| depqbf | 456.56 | 68484.09 | |
| depqbf-lazy-qup | 459.60 | 68940.62 | |
| squeezebf1.2-qube3.0 | 561.23 | 84185.97 | |
| rareqs-1.1 | 589.94 | 88492.21 | |
| ooq | 692.81 | 103921.64 | |
| clean_dual_ooq | 707.40 | 106110.38 | |
| nenofex | 792.41 | 118861.54 | |
Time Statistics (overall runtime, average runtime)
| formula |
| b18_PR_8_75 | |
| b18_PR_6_5 | |
| b14_PR_1_75 | |
| b15_PR_2_75 | |
| b21_PR_0_75 | |
| b18_PR_9_2 | |
| b18_PR_3_50 | |
| b18_PR_3_20 | |
| b20_PR_8_75 | |
| b22_PR_3_75 | |
| b18_PR_2_5 | |
Number of Unsolved Formulas (solved by no solver)
| FORMULA | SOLVER |
| b18_PR_2_10 | hiqqer3 | |
| b18_PR_6_50 | hiqqer3 | |
| s09234_PR_3_50 | hiqqer3 | |
Formulas only solved by one solver
Formulas with Discrepancies
| FORMULA | SAT | UNSAT |
Formulas with Discrepancies