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

Instance: beemldelec4b1_c0to15.unsat
Best Solver: QFUN Time: 0 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
Quabs_2018 0 - - - - Cqesto_2018 0.65
QFUN(0)
Quabs_2018(0)
Cqesto_2018(0.65)
Qute_opt993(1.37)
Qute_opt617(1.53)
Qute_hybrid(1.57)
GhostQ_PG___plain_qcir_2018(9.58)
GhostQ_PG___cegar_qcir_2018(9.61)
quabs___caqe-hqspre(12.28)
quabs___caqe-bloqqer(15.33)