Results for instance 6qbf-5cnf-20var-160cl.5
QBFEVAL'06



Solver Time Result
preQuantor0FAIL
qube4.00.05SAT
qube5.00.05SAT
WalkQSAT0.05SAT
GRL0.07SAT
qube3.00.08SAT
semprop0.11SAT
sSolve0.16SAT
ssolve+ut0.17SAT
ssolve-ut0.17SAT
Qbfl4.23UNSAT
openQbf21.78SAT
yQuaffle101.06SAT
SQBF150.02SAT
2clsQ152.95SAT
Quaffle538.26FAIL
QUANTOR_hc559.89FAIL
QUANTOR560.11FAIL
sKizzo-0.9-std5796.68FAIL
sKizzo-0.9-abs5812.87FAIL
sKizzo-0.9-grn6000.57FAIL