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


InstanceSolverResultTime
flipflop-10-caqme-10UNSAT1.65
flipflop-11-caqme-10UNSAT2.36
flipflop-12-caqme-10UNSAT3.28
flipflop-3-ccaqe-portfolioUNSAT0.12
flipflop-4-ccaqe-portfolioUNSAT0.12
flipflop-5-ccaqe-portfolioUNSAT0.32
flipflop-6-caqme-10UNSAT0.69
flipflop-7-caqme-10UNSAT0.88
flipflop-8-caqme-10UNSAT1.02
flipflop-9-caqme-10UNSAT1.3