Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: C880.blif_0.10_0.20_0_1_out_exact
Best Solver: prefix-opt-depqbf Time: 0.62 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rev_qfun0.1 0.64 - - GhostQ-PG_plain 11.91
- - qbfrelay-limited-depqbf 0.87 - - QELL_default 13.5
- - AIGSolve 2.09 - - QELL_unit 15.35
- - - - - - ghostq-cegar 25.86
- - - - - - GhostQ-PG_cegar 35.3
prefix-opt-depqbf(0.62)
rev_qfun0.1(0.64)
qbfrelay-limited-depqbf(0.87)
AIGSolve(2.09)
GhostQ-PG_plain(11.91)
QELL_default(13.5)
QELL_unit(15.35)
ghostq-cegar(25.86)
GhostQ-PG_cegar(35.3)