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

Instance: DW-unsat-09-23-1
Best Solver: Qute_opt617 Time: 33.58 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QuAbS_2017 54.34 Qute_opt993 191.53 qfun0.1 558.27
- - Qute_hybrid 56.92 ghostq-cegar 225.19 - -
- - cqesto 67.99 ghostq-plain 245.99 - -
Qute_opt617(33.58)
QuAbS_2017(54.34)
Qute_hybrid(56.92)
cqesto(67.99)
Qute_opt993(191.53)
ghostq-cegar(225.19)
ghostq-plain(245.99)
qfun0.1(558.27)