Sota solver results for family DFlipFlop
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.


InstanceSolverResultTime
flipflop-10-chiqqerforkUNSAT0.18
flipflop-11-chiqqerforkUNSAT0.28
flipflop-12-chiqqerforkUNSAT0.44
flipflop-3-ccaqe-minisat-parUNSAT0
flipflop-4-chiqqerforkUNSAT0.02
flipflop-5-chiqqerforkUNSAT0.03
flipflop-6-chiqqerforkUNSAT0.04
flipflop-7-chiqqerforkUNSAT0.07
flipflop-8-chiqqerforkUNSAT0.11
flipflop-9-chiqqerforkUNSAT0.19