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

Instance: DW-unsat-09-22-1
Best Solver: QuAbS_2017 Time: 48.56 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - cqesto 70.37 qfun0.1 255.53 - -
- - Qute_opt993 73.04 ghostq-plain 270.56 - -
- - ghostq-cegar 166.36 Qute_hybrid 456.7 - -
QuAbS_2017(48.56)
cqesto(70.37)
Qute_opt993(73.04)
ghostq-cegar(166.36)
qfun0.1(255.53)
ghostq-plain(270.56)
Qute_hybrid(456.7)