Instances of family Sorting_networks solved by QuBE7-m
QBFEVAL'10 - 2QBF Track.

InstanceResultTime
sortnetsort5.AE.stepl.003SAT0.2
sortnetsort6.AE.stepl.003SAT0.5
sortnetsort5.AE.stepl.005UNSAT0.7
sortnetsort5.AE.stepl.006UNSAT0.93
sortnetsort7.AE.stepl.003SAT1.08
sortnetsort5.AE.stepl.007UNSAT1.25
sortnetsort6.AE.stepl.006UNSAT3.2
sortnetsort9.AE.stepl.004SAT8.79
sortnetsort7.AE.stepl.006UNSAT580.09
sortnetsort7.AE.stepl.009UNSAT590.58
sortnetsort8.AE.stepl.007FAIL1200.02
sortnetsort8.AE.stepl.009FAIL1200.02
sortnetsort10.AE.stepl.005FAIL1200.02
sortnetsort8.AE.stepl.005FAIL1200.03
sortnetsort9.AE.stepl.005FAIL1200.03
sortnetsort9.AE.stepl.012FAIL1200.06
sortnetsort10.AE.stepl.012FAIL1200.06