Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: audio_ddksynth_csynth2.cpp
Best Solver: GhostQ-PG_plain Time: 35.44 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ-PG_cegar 37.56 Caqe-hqspre 255.17 - -
GhostQ-PG_plain(35.44)
GhostQ-PG_cegar(37.56)
Caqe-hqspre(255.17)