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

Instance: DW-sat-08-23-1
Best Solver: QuAbS_2017 Time: 4.63 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - cqesto 5.21 ghostq-plain 38.3 qfun0.1 50.75
- - - - - - ghostq-cegar 92.2
QuAbS_2017(4.63)
cqesto(5.21)
ghostq-plain(38.3)
qfun0.1(50.75)
ghostq-cegar(92.2)
Qute_opt993(495.28)