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

Instance: chess_solving_mate_in_2_1983_FIN-CH-4_01
Best Solver: Quabs_2018 Time: 5.34 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_opt993 13.41 Cqesto_2018 38.97 GhostQ_PG___cegar_qcir_2018 53.68
- - GhostQ_PG___plain_qcir_2018 15.71 - - QFUN 96.18
- - - - - - Qute_opt617 193.09
- - - - - - Qute_hybrid 260.08
Quabs_2018(5.34)
Qute_opt993(13.41)
GhostQ_PG___plain_qcir_2018(15.71)
Cqesto_2018(38.97)
GhostQ_PG___cegar_qcir_2018(53.68)
QFUN(96.18)
Qute_opt617(193.09)
Qute_hybrid(260.08)