Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: genbuf9b4n.unsat
Best Solver: caqe_2017_v2 Time: 21.68 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v3 21.84 rev_qfun0.1 171.51 GhostQ-PG_cegar 338.41
- - rareqs 33.48 - - ghostq-cegar 342.67
- - caqe_2017_v1 74.44 - - ijtihad_v2 788.08
- - AIGSolve 89.77 - - ijtihad_v1 886.38
caqe_2017_v2(21.68)
caqe_2017_v3(21.84)
rareqs(33.48)
caqe_2017_v1(74.44)
AIGSolve(89.77)
rev_qfun0.1(171.51)
GhostQ-PG_cegar(338.41)
ghostq-cegar(342.67)
ijtihad_v2(788.08)
ijtihad_v1(886.38)