Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: b21_C_3_206
Best Solver: rev_qfun0.1 Time: 35.54 s.

CPU Time differences with best solver

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