Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: C880.blif_0.10_0.20_0_0_out_exact
Best Solver: prefix-opt-depqbf Time: 0.63 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.88
- - qbfrelay-limited-depqbf 0.84 - - QELL_default 13.52
- - AIGSolve 2.11 - - QELL_unit 15.39
- - - - - - ghostq-cegar 26.99
- - - - - - GhostQ-PG_cegar 35.59
prefix-opt-depqbf(0.63)
rev_qfun0.1(0.64)
qbfrelay-limited-depqbf(0.84)
AIGSolve(2.11)
GhostQ-PG_plain(11.88)
QELL_default(13.52)
QELL_unit(15.39)
ghostq-cegar(26.99)
GhostQ-PG_cegar(35.59)