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

Instance: DW-unsat-08-21-1
Best Solver: Qute_hybrid Time: 14.38 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QuAbS_2017 18.47 ghostq-cegar 98.19 Qute_opt993 144.75
- - cqesto 23.25 ghostq-plain 111.56 qfun0.1 204.14
- - - - - - Qute_opt617 796.41
Qute_hybrid(14.38)
QuAbS_2017(18.47)
cqesto(23.25)
ghostq-cegar(98.19)
ghostq-plain(111.56)
Qute_opt993(144.75)
qfun0.1(204.14)
Qute_opt617(796.41)