Sota solver details
Prenex non-CNF Track

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ___cegar_qcir_2019 155.63 QFUN 217.23 Quabs_2018 436.96
- - - - - - quabs___caqe-hqspre 604.16
- - - - - - QuAbS___quabs-caqe_2019 753.7
Cqesto_2018(40.85)
GhostQ___cegar_qcir_2019(155.63)
QFUN(217.23)
Quabs_2018(436.96)
quabs___caqe-hqspre(604.16)
QuAbS___quabs-caqe_2019(753.7)