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

Instance: amba2f9n.unsat
Best Solver: quabs___caqe-hqspre Time: 20.98 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ___cegar_qcir_2019 30.48 - - QuAbS___quabs-caqe_2019 320.45
- - - - - - GhostQ___plain_qcir_2019 357.48
quabs___caqe-hqspre(20.98)
GhostQ___cegar_qcir_2019(30.48)
QuAbS___quabs-caqe_2019(320.45)
GhostQ___plain_qcir_2019(357.48)