Instances of family Sorting_networks solved by Heretiq-cube
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
sortnetsort8.v.stepl.007SAT0.08
sortnetsort9.v.stepl.007SAT28.89
sortnetsort9.v.stepl.005UNSAT32.31
sortnetsort9.AE.stepl.007UNSAT37.51
sortnetsort9.AE.stepl.012UNSAT43.64
sortnetsort9.AE.stepl.009UNSAT95.11
sortnetsort9.AE.stepl.008UNSAT95.68
sortnetsort10.AE.stepl.008UNSAT97.59
sortnetsort10.v.stepl.005UNSAT314.14
sortnetsort10.AE.stepl.005FAIL900.05