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

Instance: chess_solving_mate_in_2_1996_FIN-CH-17_03
Best Solver: Quabs_2018 Time: 3.03 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - Qute_opt617 16.28 Qute_hybrid 40.47
- - - - Qute_opt993 19.49 QFUN 46.2
- - - - GhostQ_PG___plain_qcir_2018 20.44 Cqesto_2018 50.17
- - - - - - GhostQ_PG___cegar_qcir_2018 113.91
Quabs_2018(3.03)
Qute_opt617(16.28)
Qute_opt993(19.49)
GhostQ_PG___plain_qcir_2018(20.44)
Qute_hybrid(40.47)
QFUN(46.2)
Cqesto_2018(50.17)
GhostQ_PG___cegar_qcir_2018(113.91)