Sota solver details
Prenex non-CNF Track

Instance: chess_solving_mate_in_2_1982_WCSC-6_02
Best Solver: QuAbS___quabs-caqe_2019 Time: 22.7 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Quabs_2018 23.07 QFUN 149.12 - -
- - GhostQ___plain_qcir_2019 30.87 Cqesto_2018 170.14 - -
- - - - GhostQ___cegar_qcir_2019 182.29 - -
QuAbS___quabs-caqe_2019(22.7)
Quabs_2018(23.07)
GhostQ___plain_qcir_2019(30.87)
QFUN(149.12)
Cqesto_2018(170.14)
GhostQ___cegar_qcir_2019(182.29)