Sota solver details
Prenex non-CNF Track

Instance: DW-sat-08-22-1
Best Solver: QuAbS___quabs-caqe_2019 Time: 6.98 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Quabs_2018 7.08 - - GhostQ___cegar_qcir_2019 83.49
- - Cqesto_2018 16.79 - - GhostQ___plain_qcir_2019 102.2
- - - - - - QFUN 121.58
- - - - - - quabs___caqe-hqspre 490.95
QuAbS___quabs-caqe_2019(6.98)
Quabs_2018(7.08)
Cqesto_2018(16.79)
GhostQ___cegar_qcir_2019(83.49)
GhostQ___plain_qcir_2019(102.2)
QFUN(121.58)
quabs___caqe-hqspre(490.95)