Instances of family Sorting_networks solved by Cqesto_2018
QBFEVAL'18 - Prenex non-CNF Track

InstanceResultTime
sortnetsort9.AE.stepl.012UNSAT6.59
sortnetsort10.v.stepl.005FAIL900
sortnetsort9.v.stepl.005FAIL900.01
sortnetsort9.v.stepl.007FAIL900.06