Sota solver details
Prenex non-CNF Track

Instance: jctc13-fail
Best Solver: Qute_default Time: 0.91 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Quabs_2018 1.9 GhostQ___cegar_qcir_2019 6.19 - -
- - QFUN 1.93 - - - -
- - QuAbS___quabs-caqe_2019 1.97 - - - -
- - GhostQ___plain_qcir_2019 3.6 - - - -
Qute_default(0.91)
Quabs_2018(1.9)
QFUN(1.93)
QuAbS___quabs-caqe_2019(1.97)
GhostQ___plain_qcir_2019(3.6)
GhostQ___cegar_qcir_2019(6.19)