Sota solver results for family terminator
QBFEVAL'16 - Solver Portfolio Track.


InstanceSolverResultTime
stmt19_217_309caqe-portfolioUNSAT5.53
stmt19_3_214caqe-portfolioUNSAT36.28
stmt19_83_412aqme-10UNSAT13.1
stmt19_90_266squeezebf+aqmeUNSAT3.18
stmt21_79_304caqe-portfolioUNSAT3.53
stmt27_16_97caqe-portfolioUNSAT0.82
stmt29_226_376aqme-10UNSAT9.94
stmt52_244_394aqme-10UNSAT8.67