sauer_reimer

Overview

• number of participating solvers: 12
• number of participating formulas: 150

Overall Solving Statistics

Number of Solved Formulas

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

Time Statistics (overall runtime, average runtime)

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

Number of Unsolved Formulas (solved by no solver)

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

Formulas only solved by one solver

FORMULA	SOLVER
b18_PR_2_10	hiqqer3
b18_PR_6_50	hiqqer3
s09234_PR_3_50	hiqqer3

Formulas with Discrepancies

Formulas with Discrepancies

FORMULA

SAT

UNSAT