Instances of family Sorting_networks solved by iprover-QBF-bloqqer
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
sortnetsort5.v.stepl.004UNSAT0.78
sortnetsort7.v.stepl.007SAT23.87
sortnetsort9.AE.stepl.012FAIL76.93
sortnetsort8.v.stepl.007SAT235.83
sortnetsort9.AE.stepl.009FAIL410.83
sortnetsort10.v.stepl.005FAIL412.44
sortnetsort8.v.stepl.009FAIL475.48
sortnetsort9.v.stepl.007FAIL505.34
sortnetsort9.v.stepl.005FAIL599.22
sortnetsort8.AE.stepl.003FAIL599.23