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

Instance: k0206272.v.oe
Best Solver: GhostQ_PG___plain_qcir_2018 Time: 0.42 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QFUN 1.9 quabs___caqe-bloqqer 3.81 Cqesto_2018 5.17
- - Quabs_2018 2.1 GhostQ_PG___cegar_qcir_2018 4.02 - -
GhostQ_PG___plain_qcir_2018(0.42)
QFUN(1.9)
Quabs_2018(2.1)
quabs___caqe-bloqqer(3.81)
GhostQ_PG___cegar_qcir_2018(4.02)
Cqesto_2018(5.17)
quabs___caqe-hqspre(49.71)
Qute_hybrid(216.48)
Qute_opt617(433.27)