Instances of family Sorting_networks solved by Qute_opt500
QBFEVAL'19 - Prenex CNF Track

InstanceResultTime
sortnetsort9.v.stepl.005FAIL3.83
sortnetsort10.v.stepl.005FAIL6.77
sortnetsort9.v.stepl.007FAIL8.47
sortnetsort10.AE.stepl.005FAIL14.08
sortnetsort9.AE.stepl.007FAIL16.42
sortnetsort9.AE.stepl.008FAIL21.28
sortnetsort9.AE.stepl.009FAIL26.9
sortnetsort10.AE.stepl.008FAIL35.03
sortnetsort9.AE.stepl.012FAIL52.95
sortnetsort8.v.stepl.007FAIL432.08