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

Instance: chess_solving_mate_in_2_2005_POLTAVA-OPEN_01
Best Solver: Quabs_2018 Time: 11.88 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ_PG___plain_qcir_2018 14.47 Qute_opt617 75.93 QFUN 189.89
- - Qute_opt993 35.31 GhostQ_PG___cegar_qcir_2018 94.69 - -
- - Cqesto_2018 53.29 Qute_hybrid 103.75 - -
Quabs_2018(11.88)
GhostQ_PG___plain_qcir_2018(14.47)
Qute_opt993(35.31)
Cqesto_2018(53.29)
Qute_opt617(75.93)
GhostQ_PG___cegar_qcir_2018(94.69)
Qute_hybrid(103.75)
QFUN(189.89)