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

InstanceResultTime
sortnetsort8.AE.stepl.004SAT16.59
sortnetsort7.AE.stepl.009UNSAT17.69
sortnetsort7.AE.stepl.008UNSAT25.66
sortnetsort9.AE.stepl.004SAT26.95
sortnetsort7.AE.stepl.007UNSAT41.86
sortnetsort10.AE.stepl.004SAT46.45
sortnetsort7.AE.stepl.006UNSAT48.18
sortnetsort8.AE.stepl.008UNSAT81.07
sortnetsort8.AE.stepl.005SAT162.75
sortnetsort9.AE.stepl.005SAT302.31
sortnetsort8.AE.stepl.006UNSAT336.23
sortnetsort8.AE.stepl.009UNSAT514.15
sortnetsort9.AE.stepl.011UNSAT753.05
sortnetsort10.AE.stepl.007FAIL900
sortnetsort10.AE.stepl.008FAIL900
sortnetsort10.AE.stepl.009FAIL900
sortnetsort9.AE.stepl.006FAIL900
sortnetsort10.AE.stepl.010FAIL900
sortnetsort9.AE.stepl.007FAIL900
sortnetsort10.AE.stepl.011FAIL900
sortnetsort9.AE.stepl.008FAIL900
sortnetsort10.AE.stepl.012FAIL900
sortnetsort9.AE.stepl.010FAIL900
sortnetsort10.AE.stepl.005FAIL900
sortnetsort7.AE.stepl.005FAIL900
sortnetsort10.AE.stepl.006FAIL900