Sota solver details
Prenex non-CNF Track

Instance: DWs-sat-12-28-1
Best Solver: Cqesto_2018 Time: 7.19 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - Quabs_2018 351.72
- - - - - - GhostQ___plain_qcir_2019 447.64
Cqesto_2018(7.19)
Quabs_2018(351.72)
GhostQ___plain_qcir_2019(447.64)