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

Instance: chess_solving_mate_in_2_2009_POL-CH-33_01
Best Solver: Quabs_2018 Time: 4 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QuAbS___quabs-caqe_2019 4.06 - - GhostQ___cegar_qcir_2019 70.29
- - GhostQ___plain_qcir_2019 16.64 - - Qute_default 192.6
Quabs_2018(4)
QuAbS___quabs-caqe_2019(4.06)
GhostQ___plain_qcir_2019(16.64)
GhostQ___cegar_qcir_2019(70.29)
Qute_default(192.6)