Sota solver details
Prenex non-CNF Track

Instance: chess_solving_mate_in_3_2011_UKR-OPEN-25_04
Best Solver: GhostQ___plain_qcir_2019 Time: 112.11 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - Quabs_2018 578.3 - -
GhostQ___plain_qcir_2019(112.11)
Quabs_2018(578.3)