Results for instance nusmv.reactor^3.C-d4
QBFEVAL'16 - Solver Portfolio Track.



Solver Time Result
squeezebf+aqme6.42SAT
aqme-106.6SAT
caqe-portfolio299.94FAIL