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

Instance: klieber2017q-116-29-t1
Best Solver: QFUN Time: 0.9 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - quabs___caqe-hqspre 7.72 Cqesto_2018 25.07
- - - - - - quabs___caqe-bloqqer 28.15
QFUN(0.9)
quabs___caqe-hqspre(7.72)
Cqesto_2018(25.07)
quabs___caqe-bloqqer(28.15)
Quabs_2018(126.7)
GhostQ_PG___cegar_qcir_2018(618.74)