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

InstanceResultTime
sortnetsort5.AE.stepl.006UNSAT0.66
sortnetsort5.AE.stepl.007UNSAT0.74
sortnetsort6.AE.stepl.007UNSAT1.52
sortnetsort5.AE.stepl.005UNSAT1.59
sortnetsort5.AE.stepl.003SAT5.63
sortnetsort6.AE.stepl.006UNSAT13.98
sortnetsort5.AE.stepl.004SAT52.9
sortnetsort6.AE.stepl.003SAT78.33
sortnetsort7.AE.stepl.003SAT494.3
sortnetsort7.AE.stepl.008FAIL599.71
sortnetsort8.AE.stepl.009FAIL599.71
sortnetsort9.AE.stepl.011FAIL599.71
sortnetsort10.AE.stepl.012FAIL599.71
sortnetsort9.AE.stepl.004FAIL599.71
sortnetsort9.AE.stepl.012FAIL599.71
sortnetsort9.AE.stepl.008FAIL599.71
sortnetsort6.AE.stepl.005FAIL599.81
sortnetsort10.AE.stepl.004FAIL599.81
sortnetsort7.AE.stepl.009FAIL599.81
sortnetsort10.AE.stepl.005FAIL599.81
sortnetsort8.AE.stepl.003FAIL599.81
sortnetsort9.AE.stepl.005FAIL599.81
sortnetsort10.AE.stepl.006FAIL599.81
sortnetsort8.AE.stepl.004FAIL599.81
sortnetsort9.AE.stepl.006FAIL599.81
sortnetsort10.AE.stepl.007FAIL599.81
sortnetsort7.AE.stepl.004FAIL599.81
sortnetsort8.AE.stepl.005FAIL599.81
sortnetsort9.AE.stepl.007FAIL599.81
sortnetsort10.AE.stepl.008FAIL599.81
sortnetsort7.AE.stepl.005FAIL599.81
sortnetsort8.AE.stepl.006FAIL599.81
sortnetsort10.AE.stepl.009FAIL599.81
sortnetsort7.AE.stepl.006FAIL599.81
sortnetsort9.AE.stepl.009FAIL599.81
sortnetsort10.AE.stepl.010FAIL599.81
sortnetsort6.AE.stepl.004FAIL599.81
sortnetsort7.AE.stepl.007FAIL599.81
sortnetsort8.AE.stepl.008FAIL599.81
sortnetsort9.AE.stepl.010FAIL599.81
sortnetsort10.AE.stepl.011FAIL599.81
sortnetsort8.AE.stepl.007FAIL599.82