Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: audio_ddksynth_csynth2.cpp
Best Solver: QELL_default Time: 1.09 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_unit 1.09 - - GhostQ-PG_plain 34.65
- - - - - - GhostQ-PG_cegar 36.98
QELL_default(1.09)
QELL_unit(1.09)
GhostQ-PG_plain(34.65)
GhostQ-PG_cegar(36.98)
caqe_2017_v3(399.58)
caqe_2017_v2(405.17)