Results for instance nusmv.reactor^3.C-d4
QBFEVAL'07



Solver Time Result
sKizzo-0.10-qck4.94SAT
sKizzo-0.10-std6.72SAT
QUANTOR_2.1518.69FAIL
EBDDRES25.3FAIL
qSS27.53SAT
ncQuBE1.130.92SAT
ncQuBE1.031.55SAT
AQME-1NN165.39SAT
AQME-C4.5165.54SAT
AQME-RIPPER165.64SAT
Adaptive2clsQ600FAIL
qZilla600FAIL
preQuel_sKizzo-0.10600FAIL
aigqbf_sr600FAIL
aigqbf_s600FAIL
squolem600FAIL
yQuaffle600FAIL