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



Solver Time Result
preQuantor0FAIL
qube3.00.08SAT
GRL0.09SAT
qube5.00.11SAT
qube4.00.11SAT
sSolve0.15SAT
ssolve+ut0.2SAT
ssolve-ut0.22SAT
WalkQSAT0.31SAT
semprop5.4FAIL
QUANTOR19.53FAIL
QUANTOR_hc20.11FAIL
Qbfl43.66UNSAT
SQBF144.42SAT
Quaffle527.64FAIL
yQuaffle599.92FAIL
openQbf775.46SAT
2clsQ1508.78SAT
sKizzo-0.9-abs6000.19FAIL
sKizzo-0.9-std6000.56FAIL
sKizzo-0.9-grn6000.7FAIL