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

Instance: amba2f9n.unsat
Best Solver: qfun0.1 Time: 15.21 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ghostq-cegar 30.2 - - Qute_opt993 239.03
- - - - - - Qute_opt617 299.98
- - - - - - ghostq-plain 342.49
- - - - - - Qute_hybrid 443.42
qfun0.1(15.21)
ghostq-cegar(30.2)
Qute_opt993(239.03)
Qute_opt617(299.98)
ghostq-plain(342.49)
Qute_hybrid(443.42)