Results for instance ken.oop^1.C-f2
QBFEVAL'06



Solver Time Result
qube5.06.11SAT
preQuantor22.29FAIL
QUANTOR_hc36.45UNSAT
SQBF175.62FAIL
Quaffle591.53FAIL
GRL600.83FAIL
semprop601FAIL
WalkQSAT601FAIL
QUANTOR805.2FAIL
qube3.04422.62FAIL
qube4.05643.62FAIL
Qbfl5986.68FAIL
2clsQ5997.17FAIL
ssolve+ut5998.67FAIL
sSolve5998.76FAIL
yQuaffle5999.65FAIL
sKizzo-0.9-std5999.72FAIL
ssolve-ut6000.19FAIL
sKizzo-0.9-grn6000.36FAIL
sKizzo-0.9-abs6000.4FAIL
openQbf6000.91FAIL