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

Instance: chess_solving_mate_in_2_2012_GER-CH-36-19_03
Best Solver: Qute_opt617 Time: 14 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_hybrid 15.27 QFUN 133.1 GhostQ_PG___cegar_qcir_2018 260.08
- - Qute_opt993 15.79 - - - -
- - Quabs_2018 24.96 - - - -
- - GhostQ_PG___plain_qcir_2018 27.25 - - - -
- - Cqesto_2018 35.82 - - - -
Qute_opt617(14)
Qute_hybrid(15.27)
Qute_opt993(15.79)
Quabs_2018(24.96)
GhostQ_PG___plain_qcir_2018(27.25)
Cqesto_2018(35.82)
QFUN(133.1)
GhostQ_PG___cegar_qcir_2018(260.08)