Results for instance ev-pr-4x4-11-3-0-0-1-lg
QBFEVAL'06



Solver Time Result
Quaffle0.31SAT
WalkQSAT0.36SAT
GRL0.61SAT
sKizzo-0.9-grn12.2FAIL
qube4.020.62SAT
qube3.023.06SAT
qube5.072.05SAT
QUANTOR192.76FAIL
QUANTOR_hc193.42FAIL
Qbfl216.11SAT
SQBF217.99SAT
semprop232.54SAT
openQbf305.61SAT
sKizzo-0.9-std354.21FAIL
sKizzo-0.9-abs358.06FAIL
preQuantor371.53FAIL
sSolve540.2SAT
ssolve+ut542.65SAT
ssolve-ut545.62SAT
yQuaffle591.9FAIL
2clsQ1451.77SAT