Sota solver details
QBFEVAL'04

Instance: k_grz_n-16
Best Solver: QUANTOR Time: 33.47 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QMRes 68.01 semprop 247.27 QUBE-BJ 497.91
QUANTOR(33.47)
QMRes(68.01)
semprop(247.27)
QUBE-BJ(497.91)