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

Instance: klieber2017q-092-23-t1
Best Solver: QFUN Time: 0.3 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_opt993 1.21 - - Qute_opt617 4.73
- - - - - - Quabs_2018 15.47
- - - - - - quabs___caqe-bloqqer 16
- - - - - - quabs___caqe-hqspre 18.64
- - - - - - GhostQ_PG___cegar_qcir_2018 24.77
- - - - - - Qute_hybrid 28.87
QFUN(0.3)
Qute_opt993(1.21)
Qute_opt617(4.73)
Quabs_2018(15.47)
quabs___caqe-bloqqer(16)
quabs___caqe-hqspre(18.64)
GhostQ_PG___cegar_qcir_2018(24.77)
Qute_hybrid(28.87)
Cqesto_2018(128.68)