Sota solver details
Prenex non-CNF Track

Instance: CM-sat-07-01-07-3
Best Solver: Cqesto_2018 Time: 42.28 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - Quabs_2018 412.47 quabs___caqe-hqspre 563.31
- - - - - - QuAbS___quabs-caqe_2019 713.07
- - - - - - GhostQ___cegar_qcir_2019 742.01
Cqesto_2018(42.28)
Quabs_2018(412.47)
quabs___caqe-hqspre(563.31)
QuAbS___quabs-caqe_2019(713.07)
GhostQ___cegar_qcir_2019(742.01)