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

Instance: chess_solving_mate_in_2_2011_ISC-7B_01
Best Solver: Cqesto_2018 Time: 6.1 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ_PG___plain_qcir_2018 19.07 - - Qute_opt993 84.78
- - Quabs_2018 27.06 - - QFUN 93.89
- - - - - - GhostQ_PG___cegar_qcir_2018 109.07
- - - - - - Qute_opt617 136.04
- - - - - - Qute_hybrid 140.78
Cqesto_2018(6.1)
GhostQ_PG___plain_qcir_2018(19.07)
Quabs_2018(27.06)
Qute_opt993(84.78)
QFUN(93.89)
GhostQ_PG___cegar_qcir_2018(109.07)
Qute_opt617(136.04)
Qute_hybrid(140.78)