Sota solver details
Prenex non-CNF Track

Instance: chess_solving_mate_in_2_2015_GBR-CH-36_02
Best Solver: QuAbS___quabs-caqe_2019 Time: 14.7 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Quabs_2018 14.91 GhostQ___cegar_qcir_2019 108.5 Qute_default 391.93
- - GhostQ___plain_qcir_2019 24.38 - - - -
- - QFUN 43.8 - - - -
- - Cqesto_2018 71.3 - - - -
QuAbS___quabs-caqe_2019(14.7)
Quabs_2018(14.91)
GhostQ___plain_qcir_2019(24.38)
QFUN(43.8)
Cqesto_2018(71.3)
GhostQ___cegar_qcir_2019(108.5)
Qute_default(391.93)