Instance | Result | Time | |
---|---|---|---|
sortnetsort8.AE.stepl.004 | SAT | 3.42 | |
sortnetsort7.AE.stepl.006 | UNSAT | 3.71 | |
sortnetsort7.AE.stepl.007 | UNSAT | 4.93 | |
sortnetsort7.AE.stepl.008 | UNSAT | 6.05 | |
sortnetsort9.AE.stepl.004 | SAT | 6.08 | |
sortnetsort7.AE.stepl.009 | UNSAT | 7.16 | |
sortnetsort8.AE.stepl.005 | SAT | 7.51 | |
sortnetsort8.AE.stepl.006 | UNSAT | 8.86 | |
sortnetsort9.AE.stepl.005 | SAT | 13.38 | |
sortnetsort10.AE.stepl.004 | SAT | 24.2 | |
sortnetsort9.AE.stepl.008 | UNSAT | 25.52 | |
sortnetsort8.AE.stepl.008 | UNSAT | 29.24 | |
sortnetsort10.AE.stepl.009 | UNSAT | 46.86 | |
sortnetsort9.AE.stepl.011 | UNSAT | 57.96 | |
sortnetsort8.AE.stepl.009 | UNSAT | 60.76 | |
sortnetsort10.AE.stepl.011 | UNSAT | 63.59 | |
sortnetsort9.AE.stepl.007 | UNSAT | 63.94 | |
sortnetsort7.AE.stepl.005 | SAT | 83.91 | |
sortnetsort9.AE.stepl.010 | UNSAT | 84.24 | |
sortnetsort10.AE.stepl.005 | SAT | 109.42 | |
sortnetsort10.AE.stepl.012 | UNSAT | 112.79 | |
sortnetsort10.AE.stepl.010 | UNSAT | 125.32 | |
sortnetsort10.AE.stepl.006 | FAIL | 900 | |
sortnetsort10.AE.stepl.007 | FAIL | 900 | |
sortnetsort10.AE.stepl.008 | FAIL | 900 | |
sortnetsort9.AE.stepl.006 | FAIL | 900 |