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

Instance: amba2f9n.unsat
Best Solver: quabs___caqe-bloqqer Time: 2.88 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - QFUN 16.96 GhostQ_PG___cegar_qcir_2018 45.72
- - - - quabs___caqe-hqspre 17.54 Qute_opt993 262.67
quabs___caqe-bloqqer(2.88)
QFUN(16.96)
quabs___caqe-hqspre(17.54)
GhostQ_PG___cegar_qcir_2018(45.72)
Qute_opt993(262.67)
Qute_opt617(322.45)
GhostQ_PG___plain_qcir_2018(361.79)
Qute_hybrid(461.87)