Sota solver details
QBFEVAL'19 - Prenex non-CNF Track

Instance: gb_s2_r2_comp3_REAL.unsat
Best Solver: quabs___caqe-hqspre Time: 57.76 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - QuAbS___quabs-caqe_2019 356.92 - -
- - - - GhostQ___cegar_qcir_2019 486.99 - -
quabs___caqe-hqspre(57.76)
QuAbS___quabs-caqe_2019(356.92)
GhostQ___cegar_qcir_2019(486.99)