Solver performances for family instances
QBFEVAL'07 - Evaluation track on non-prenex non-cnf formulas.


FamilyOverallTimeReference solver
N#SU
NuSMV_diam 917963162378.91ncQuBE1.0