Instances of family Sorting_networks solved by openQbf
QBFEVAL'06

InstanceResultTime
sortnetsort5.v.stepl.003UNSAT9.55
sortnetsort5.v.stepl.005SAT77.22
sortnetsort6.v.stepl.003UNSAT265.37
sortnetsort5.v.stepl.004UNSAT268.81
sortnetsort5.v.stepl.006SAT326.47
sortnetsort5.AE.stepl.003SAT664.62
sortnetsort5.v.stepl.007SAT1606.66
sortnetsort9.v.stepl.007FAIL6000.38
sortnetsort8.v.stepl.004FAIL6000.65
sortnetsort9.v.stepl.006FAIL6000.76
sortnetsort7.AE.stepl.003FAIL6000.76
sortnetsort7.AE.stepl.004FAIL6000.79
sortnetsort7.AE.stepl.007FAIL6000.79
sortnetsort10.v.stepl.010FAIL6000.8
sortnetsort8.v.stepl.007FAIL6000.81
sortnetsort6.AE.stepl.007FAIL6000.81
sortnetsort7.AE.stepl.005FAIL6000.83
sortnetsort8.AE.stepl.009FAIL6000.84
sortnetsort9.AE.stepl.004FAIL6000.84
sortnetsort7.v.stepl.009FAIL6000.84
sortnetsort8.AE.stepl.003FAIL6000.84
sortnetsort6.AE.stepl.005FAIL6000.84
sortnetsort9.v.stepl.009FAIL6000.85
sortnetsort7.v.stepl.007FAIL6000.85
sortnetsort5.AE.stepl.004FAIL6000.85
sortnetsort8.v.stepl.003FAIL6000.85
sortnetsort5.AE.stepl.005FAIL6000.85
sortnetsort6.AE.stepl.004FAIL6000.85
sortnetsort6.v.stepl.007FAIL6000.85
sortnetsort8.v.stepl.006FAIL6000.85
sortnetsort9.AE.stepl.009FAIL6000.86
sortnetsort8.v.stepl.009FAIL6000.86
sortnetsort5.AE.stepl.006FAIL6000.86
sortnetsort8.AE.stepl.004FAIL6000.86
sortnetsort8.v.stepl.005FAIL6000.86
sortnetsort7.v.stepl.004FAIL6000.86
sortnetsort8.AE.stepl.007FAIL6000.87
sortnetsort8.v.stepl.008FAIL6000.87
sortnetsort6.AE.stepl.003FAIL6000.87
sortnetsort7.AE.stepl.009FAIL6000.87
sortnetsort9.v.stepl.008FAIL6000.88
sortnetsort10.AE.stepl.004FAIL6000.88
sortnetsort10.v.stepl.011FAIL6000.88
sortnetsort7.AE.stepl.006FAIL6000.88
sortnetsort8.AE.stepl.008FAIL6000.88
sortnetsort9.AE.stepl.005FAIL6000.88
sortnetsort10.v.stepl.008FAIL6000.88
sortnetsort10.AE.stepl.011FAIL6000.89
sortnetsort7.v.stepl.006FAIL6000.89
sortnetsort10.AE.stepl.005FAIL6000.89
sortnetsort10.v.stepl.005FAIL6000.89
sortnetsort9.AE.stepl.006FAIL6000.89
sortnetsort5.AE.stepl.007FAIL6000.89
sortnetsort6.AE.stepl.006FAIL6000.9
sortnetsort8.AE.stepl.006FAIL6000.9
sortnetsort9.AE.stepl.011FAIL6000.9
sortnetsort7.AE.stepl.008FAIL6000.9
sortnetsort7.v.stepl.005FAIL6000.91
sortnetsort10.AE.stepl.012FAIL6000.91
sortnetsort9.AE.stepl.012FAIL6000.91
sortnetsort10.AE.stepl.007FAIL6000.91
sortnetsort9.v.stepl.004FAIL6000.91
sortnetsort9.v.stepl.005FAIL6000.91
sortnetsort9.AE.stepl.007FAIL6000.91
sortnetsort7.v.stepl.008FAIL6000.92
sortnetsort9.AE.stepl.008FAIL6000.92
sortnetsort9.AE.stepl.010FAIL6000.93
sortnetsort10.v.stepl.004FAIL6000.93
sortnetsort10.AE.stepl.006FAIL6000.93
sortnetsort6.v.stepl.004FAIL6000.93
sortnetsort9.v.stepl.012FAIL6000.93
sortnetsort6.v.stepl.006FAIL6000.93
sortnetsort8.AE.stepl.005FAIL6000.93
sortnetsort9.v.stepl.010FAIL6000.94
sortnetsort6.v.stepl.005FAIL6000.94
sortnetsort10.AE.stepl.008FAIL6000.94
sortnetsort10.v.stepl.007FAIL6000.94
sortnetsort10.v.stepl.009FAIL6000.94
sortnetsort9.v.stepl.011FAIL6000.95
sortnetsort10.AE.stepl.009FAIL6000.95
sortnetsort7.v.stepl.003FAIL6000.95
sortnetsort10.v.stepl.006FAIL6000.96
sortnetsort10.v.stepl.012FAIL6000.98
sortnetsort10.AE.stepl.010FAIL6000.98