Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: eijk.bs1512.S-f4
Best Solver: GhostQ-PG_plain Time: 4.63 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rev_qfun0.1 10.34 - - caqe_2017_v2 103.9
- - - - - - caqe_2017_v3 105.36
GhostQ-PG_plain(4.63)
rev_qfun0.1(10.34)
caqe_2017_v2(103.9)
caqe_2017_v3(105.36)