Sota solver details
QBFEVAL'16 - Prenex non-CNF Track.

Instance: C5315.blif_0.10_0.20_0_1_inp_exact
Best Solver: ghostq-cegar Time: 2.38 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ghostq-plain 3.64 - - - -
ghostq-cegar(2.38)
ghostq-plain(3.64)
quabs-picosat(434.46)