Sota solver details
QBFEVAL'17 - Prenex non-CNF Track

Instance: JP-unsat-02-06-3
Best Solver: QuAbS_2017 Time: 1.59 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - cqesto 2.57 ghostq-cegar 14.18 qfun0.1 20.7
QuAbS_2017(1.59)
cqesto(2.57)
ghostq-cegar(14.18)
qfun0.1(20.7)