Instances of family Sorting_networks solved by qesto
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
sortnetsort7.AE.stepl.007UNSAT1.75
sortnetsort7.AE.stepl.006UNSAT2
sortnetsort7.AE.stepl.008UNSAT2.58
sortnetsort7.AE.stepl.009UNSAT2.61
sortnetsort8.AE.stepl.004SAT4.36
sortnetsort8.AE.stepl.006UNSAT7.98
sortnetsort8.AE.stepl.009UNSAT10.72
sortnetsort9.AE.stepl.004SAT12.21
sortnetsort8.AE.stepl.005SAT22.12
sortnetsort10.AE.stepl.004SAT30.25
sortnetsort8.AE.stepl.008UNSAT39.1
sortnetsort9.AE.stepl.007UNSAT61.92
sortnetsort9.AE.stepl.005SAT75.65
sortnetsort7.AE.stepl.005SAT211.38
sortnetsort9.AE.stepl.011UNSAT773.62
sortnetsort10.AE.stepl.006FAIL900
sortnetsort10.AE.stepl.007FAIL900
sortnetsort10.AE.stepl.008FAIL900
sortnetsort10.AE.stepl.009FAIL900
sortnetsort9.AE.stepl.006FAIL900
sortnetsort10.AE.stepl.010FAIL900
sortnetsort10.AE.stepl.011FAIL900
sortnetsort9.AE.stepl.008FAIL900
sortnetsort10.AE.stepl.012FAIL900
sortnetsort9.AE.stepl.010FAIL900
sortnetsort10.AE.stepl.005FAIL900