Sota solver details
Prenex non-CNF Track

Instance: jctc8-pass
Best Solver: Qute_default Time: 2.18 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QFUN 4.16 GhostQ___plain_qcir_2019 13.06 GhostQ___cegar_qcir_2019 125.9
Qute_default(2.18)
QFUN(4.16)
GhostQ___plain_qcir_2019(13.06)
GhostQ___cegar_qcir_2019(125.9)