Instances of family Sorting_networks solved by <a href='solver_detail.php?solver=224'>aspQ</a> <br> QBFEVAL'16 - 2QBF Track.

qbflib.org

Instances of family Sorting_networks solved by aspQ
QBFEVAL'16 - 2QBF Track.

Instance	Result	Time
sortnetsort7.AE.stepl.008	FAIL	1.33
sortnetsort8.AE.stepl.006	FAIL	1.52
sortnetsort7.AE.stepl.009	FAIL	1.57
sortnetsort10.AE.stepl.006	FAIL	2.57
sortnetsort10.AE.stepl.004	FAIL	2.59
sortnetsort8.AE.stepl.008	FAIL	2.61
sortnetsort5.AE.stepl.003	SAT	2.76
sortnetsort8.AE.stepl.003	FAIL	3.65
sortnetsort5.AE.stepl.006	UNSAT	3.99
sortnetsort5.AE.stepl.005	UNSAT	4.08
sortnetsort5.AE.stepl.007	UNSAT	4.64
sortnetsort9.AE.stepl.011	FAIL	4.81
sortnetsort10.AE.stepl.008	FAIL	5.09
sortnetsort8.AE.stepl.009	FAIL	5.13
sortnetsort5.AE.stepl.004	SAT	5.23
sortnetsort6.AE.stepl.004	SAT	5.45
sortnetsort6.AE.stepl.003	SAT	5.63
sortnetsort9.AE.stepl.006	FAIL	5.82
sortnetsort6.AE.stepl.007	UNSAT	5.94
sortnetsort7.AE.stepl.004	SAT	6.07
sortnetsort7.AE.stepl.006	UNSAT	6.23
sortnetsort8.AE.stepl.004	SAT	6.39
sortnetsort7.AE.stepl.007	UNSAT	6.73
sortnetsort7.AE.stepl.005	FAIL	6.98
sortnetsort7.AE.stepl.003	SAT	7.78
sortnetsort6.AE.stepl.006	FAIL	8.15
sortnetsort6.AE.stepl.005	FAIL	9.37
sortnetsort8.AE.stepl.007	UNSAT	17.07
sortnetsort9.AE.stepl.004	SAT	20.87
sortnetsort9.AE.stepl.009	UNSAT	34.54
sortnetsort8.AE.stepl.005	SAT	40.53
sortnetsort9.AE.stepl.012	UNSAT	41.9
sortnetsort9.AE.stepl.010	UNSAT	51.93
sortnetsort9.AE.stepl.005	FAIL	61.26
sortnetsort9.AE.stepl.008	FAIL	62.14
sortnetsort10.AE.stepl.011	UNSAT	62.87
sortnetsort9.AE.stepl.007	FAIL	63.04
sortnetsort10.AE.stepl.009	FAIL	63.64
sortnetsort10.AE.stepl.005	FAIL	63.91
sortnetsort10.AE.stepl.010	FAIL	69.3
sortnetsort10.AE.stepl.007	FAIL	70.4
sortnetsort10.AE.stepl.012	FAIL	72.57

Contact | Organization | Links | Citing QBFLIB