Instances of family Sorting_networks solved by ijtihad_v1
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
sortnetsort8.v.stepl.007SAT0.28
sortnetsort9.v.stepl.007SAT24.27
sortnetsort9.v.stepl.005UNSAT32.03
sortnetsort10.v.stepl.005UNSAT202.14
sortnetsort9.AE.stepl.012FAIL900
sortnetsort9.AE.stepl.009FAIL900