Instances of family Sorting_networks solved by ghostq-plain
QBFEVAL'16 - 2QBF Track.

InstanceResultTime
sortnetsort5.AE.stepl.003SAT28.45
sortnetsort5.AE.stepl.004SAT226.65
sortnetsort5.AE.stepl.006UNSAT414.49
sortnetsort6.AE.stepl.003SAT490.68
sortnetsort5.AE.stepl.005UNSAT531.76
sortnetsort6.AE.stepl.004FAIL599.81
sortnetsort7.AE.stepl.007FAIL599.81
sortnetsort8.AE.stepl.008FAIL599.81
sortnetsort10.AE.stepl.004FAIL599.81
sortnetsort6.AE.stepl.005FAIL599.81
sortnetsort8.AE.stepl.009FAIL599.81
sortnetsort9.AE.stepl.011FAIL599.81
sortnetsort10.AE.stepl.005FAIL599.81
sortnetsort6.AE.stepl.006FAIL599.81
sortnetsort7.AE.stepl.009FAIL599.81
sortnetsort9.AE.stepl.004FAIL599.81
sortnetsort6.AE.stepl.007FAIL599.81
sortnetsort8.AE.stepl.003FAIL599.81
sortnetsort7.AE.stepl.003FAIL599.81
sortnetsort8.AE.stepl.004FAIL599.81
sortnetsort9.AE.stepl.006FAIL599.81
sortnetsort10.AE.stepl.008FAIL599.81
sortnetsort7.AE.stepl.004FAIL599.81
sortnetsort8.AE.stepl.005FAIL599.81
sortnetsort10.AE.stepl.009FAIL599.81
sortnetsort8.AE.stepl.006FAIL599.81
sortnetsort9.AE.stepl.008FAIL599.81
sortnetsort10.AE.stepl.010FAIL599.81
sortnetsort7.AE.stepl.006FAIL599.81
sortnetsort9.AE.stepl.009FAIL599.81
sortnetsort7.AE.stepl.008FAIL599.82
sortnetsort9.AE.stepl.005FAIL599.82
sortnetsort10.AE.stepl.011FAIL599.91
sortnetsort9.AE.stepl.010FAIL599.91
sortnetsort9.AE.stepl.012FAIL599.91
sortnetsort10.AE.stepl.006FAIL599.91
sortnetsort10.AE.stepl.007FAIL599.91
sortnetsort9.AE.stepl.007FAIL599.91
sortnetsort5.AE.stepl.007FAIL599.91
sortnetsort7.AE.stepl.005FAIL599.91
sortnetsort8.AE.stepl.007FAIL599.91
sortnetsort10.AE.stepl.012FAIL599.92