Instance | Result | Time | |
---|---|---|---|
sortnetsort7.AE.stepl.007 | UNSAT | 1.75 | |
sortnetsort7.AE.stepl.006 | UNSAT | 2 | |
sortnetsort7.AE.stepl.008 | UNSAT | 2.58 | |
sortnetsort7.AE.stepl.009 | UNSAT | 2.61 | |
sortnetsort8.AE.stepl.004 | SAT | 4.36 | |
sortnetsort8.AE.stepl.006 | UNSAT | 7.98 | |
sortnetsort8.AE.stepl.009 | UNSAT | 10.72 | |
sortnetsort9.AE.stepl.004 | SAT | 12.21 | |
sortnetsort8.AE.stepl.005 | SAT | 22.12 | |
sortnetsort10.AE.stepl.004 | SAT | 30.25 | |
sortnetsort8.AE.stepl.008 | UNSAT | 39.1 | |
sortnetsort9.AE.stepl.007 | UNSAT | 61.92 | |
sortnetsort9.AE.stepl.005 | SAT | 75.65 | |
sortnetsort7.AE.stepl.005 | SAT | 211.38 | |
sortnetsort9.AE.stepl.011 | UNSAT | 773.62 | |
sortnetsort10.AE.stepl.011 | FAIL | 900 | |
sortnetsort9.AE.stepl.008 | FAIL | 900 | |
sortnetsort10.AE.stepl.012 | FAIL | 900 | |
sortnetsort9.AE.stepl.010 | FAIL | 900 | |
sortnetsort10.AE.stepl.005 | FAIL | 900 | |
sortnetsort10.AE.stepl.006 | FAIL | 900 | |
sortnetsort10.AE.stepl.007 | FAIL | 900 | |
sortnetsort10.AE.stepl.008 | FAIL | 900 | |
sortnetsort10.AE.stepl.009 | FAIL | 900 | |
sortnetsort9.AE.stepl.006 | FAIL | 900 | |
sortnetsort10.AE.stepl.010 | FAIL | 900 |