Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: genbuf10b4n.unsat
Best Solver: caqe_2017_v3 Time: 27.04 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v2 27.26 rev_qfun0.1 250.16 ghostq-cegar 402.79
- - caqe_2017_v1 47.61 - - GhostQ-PG_cegar 413.72
- - rareqs 67.51 - - AIGSolve 440.67
- - - - - - ijtihad_v2 610.27
- - - - - - ijtihad_v1 618.57
caqe_2017_v3(27.04)
caqe_2017_v2(27.26)
caqe_2017_v1(47.61)
rareqs(67.51)
rev_qfun0.1(250.16)
ghostq-cegar(402.79)
GhostQ-PG_cegar(413.72)
AIGSolve(440.67)
ijtihad_v2(610.27)
ijtihad_v1(618.57)