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

Instance: SR-unsat-04-01-08-1
Best Solver: QuAbS_2017 Time: 7.71 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - cqesto 11.44 ghostq-cegar 39.18 ghostq-plain 304.19
- - - - qfun0.1 54.19 Qute_opt617 350.13
- - - - - - Qute_hybrid 460.68
QuAbS_2017(7.71)
cqesto(11.44)
ghostq-cegar(39.18)
qfun0.1(54.19)
ghostq-plain(304.19)
Qute_opt617(350.13)
Qute_hybrid(460.68)
Qute_opt993(776.9)