Results for instance x190.5
QBFEVAL'06



Solver Time Result
preQuantor0FAIL
semprop0.09SAT
QUANTOR76.07FAIL
QUANTOR_hc76.13FAIL
yQuaffle544.33FAIL
Quaffle563.39FAIL
ssolve-ut600.29FAIL
GRL600.88FAIL
WalkQSAT600.98FAIL
qube5.01508.14UNSAT
qube4.01514.6UNSAT
qube3.04413.38UNSAT
SQBF4434.36FAIL
Qbfl6000.07FAIL
sSolve6000.3FAIL
ssolve+ut6000.35FAIL
2clsQ6000.42FAIL
sKizzo-0.9-abs6000.68FAIL
sKizzo-0.9-std6000.73FAIL
sKizzo-0.9-grn6000.78FAIL
openQbf6000.92FAIL