Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: b20_C_3_2
Best Solver: rev_qfun0.1 Time: 668.06 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
rev_qfun0.1(668.06)