Results for instance ev-pr-4x4-15-3-0-0-1-lg
QBFEVAL'07



Solver Time Result
AQME-1NN1.12SAT
AQME-C4.51.17SAT
AQME-RIPPER1.24SAT
qSS3.6SAT
qZilla13.87SAT
EBDDRES33.41FAIL
Adaptive2clsQ119.63SAT
sKizzo-0.10-std169.14FAIL
ncQuBE1.1240.28FAIL
ncQuBE1.0296.37FAIL
QUANTOR_2.15440.92FAIL
aigqbf_sr600FAIL
preQuel_sKizzo-0.10600FAIL
aigqbf_s600FAIL
sKizzo-0.10-qck600FAIL
squolem600FAIL
yQuaffle600FAIL