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

qbflib.org

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

Instance	Result	Time
sortnetsort8.AE.stepl.004	SAT	3.36
sortnetsort7.AE.stepl.006	UNSAT	3.48
sortnetsort7.AE.stepl.007	UNSAT	4.81
sortnetsort9.AE.stepl.004	SAT	5.9
sortnetsort7.AE.stepl.008	UNSAT	5.95
sortnetsort8.AE.stepl.005	SAT	6.51
sortnetsort8.AE.stepl.006	UNSAT	6.95
sortnetsort7.AE.stepl.009	UNSAT	6.97
sortnetsort9.AE.stepl.005	SAT	12.21
sortnetsort5.AE.stepl.003	SAT	15.5
sortnetsort5.AE.stepl.006	UNSAT	19.92
sortnetsort8.AE.stepl.003	SAT	23.43
sortnetsort8.AE.stepl.007	UNSAT	26.55
sortnetsort8.AE.stepl.008	UNSAT	26.82
sortnetsort9.AE.stepl.009	UNSAT	28.04
sortnetsort10.AE.stepl.004	SAT	29.06
sortnetsort5.AE.stepl.004	SAT	34.05
sortnetsort7.AE.stepl.004	SAT	36.77
sortnetsort9.AE.stepl.008	UNSAT	37.46
sortnetsort5.AE.stepl.005	UNSAT	39.18
sortnetsort6.AE.stepl.003	SAT	40.56
sortnetsort6.AE.stepl.007	UNSAT	42.97
sortnetsort6.AE.stepl.004	SAT	45.3
sortnetsort5.AE.stepl.007	UNSAT	46.45
sortnetsort7.AE.stepl.003	SAT	50.06
sortnetsort9.AE.stepl.007	UNSAT	51.43
sortnetsort6.AE.stepl.005	UNSAT	54.24
sortnetsort7.AE.stepl.005	SAT	56.55
sortnetsort6.AE.stepl.006	UNSAT	66.12
sortnetsort9.AE.stepl.011	UNSAT	68.34
sortnetsort8.AE.stepl.009	UNSAT	77.33
sortnetsort10.AE.stepl.011	UNSAT	86.81
sortnetsort10.AE.stepl.009	UNSAT	99.67
sortnetsort9.AE.stepl.012	UNSAT	103.97
sortnetsort9.AE.stepl.010	UNSAT	108.49
sortnetsort10.AE.stepl.008	UNSAT	109.95
sortnetsort10.AE.stepl.010	UNSAT	185.27
sortnetsort10.AE.stepl.012	UNSAT	193.08
sortnetsort10.AE.stepl.005	SAT	211.85
sortnetsort9.AE.stepl.006	SAT	561.03
sortnetsort10.AE.stepl.006	FAIL	599.71
sortnetsort10.AE.stepl.007	FAIL	599.71

Contact | Organization | Links | Citing QBFLIB