Instances of family Sorting_networks solved by <a href='solver_detail.php?solver=64'>AQME-1NN</a> <br> QBFEVAL'07

Instances of family Sorting_networks solved by AQME-1NN
QBFEVAL'07

Instance	Result	Time
sortnetsort5.AE.stepl.005	UNSAT	0.71
sortnetsort6.AE.stepl.003	SAT	0.77
sortnetsort5.AE.stepl.006	UNSAT	0.78
sortnetsort5.AE.stepl.007	UNSAT	0.85
sortnetsort5.AE.stepl.004	SAT	1.02
sortnetsort7.AE.stepl.003	SAT	1.15
sortnetsort7.v.stepl.004	UNSAT	1.2
sortnetsort8.AE.stepl.003	SAT	1.4
sortnetsort6.AE.stepl.006	UNSAT	1.58
sortnetsort6.AE.stepl.004	SAT	1.66
sortnetsort7.v.stepl.007	SAT	1.72
sortnetsort7.v.stepl.008	SAT	1.91
sortnetsort7.v.stepl.009	SAT	2.17
sortnetsort7.v.stepl.006	SAT	2.24
sortnetsort6.AE.stepl.005	UNSAT	2.33
sortnetsort8.v.stepl.004	UNSAT	2.86
sortnetsort6.AE.stepl.007	UNSAT	2.91
sortnetsort8.v.stepl.006	SAT	3.58
sortnetsort8.v.stepl.007	SAT	4.36
sortnetsort8.v.stepl.008	SAT	4.82
sortnetsort8.v.stepl.009	SAT	5.58
sortnetsort8.AE.stepl.004	SAT	5.77
sortnetsort9.v.stepl.004	UNSAT	7.07
sortnetsort7.v.stepl.005	UNSAT	7.18
sortnetsort9.v.stepl.008	SAT	11.89
sortnetsort7.AE.stepl.004	SAT	12.7
sortnetsort9.v.stepl.007	SAT	15.83
sortnetsort9.AE.stepl.004	SAT	16.39
sortnetsort9.v.stepl.009	SAT	16.91
sortnetsort8.v.stepl.005	UNSAT	16.93
sortnetsort9.v.stepl.010	SAT	17.86
sortnetsort10.v.stepl.004	UNSAT	18.82
sortnetsort9.v.stepl.011	SAT	150.31
sortnetsort9.v.stepl.012	FAIL	160.57
sortnetsort10.AE.stepl.004	SAT	205.87
sortnetsort10.v.stepl.009	SAT	209.23
sortnetsort9.v.stepl.005	UNSAT	214.93
sortnetsort7.AE.stepl.008	UNSAT	216.06
sortnetsort10.v.stepl.008	SAT	234.85
sortnetsort7.AE.stepl.009	UNSAT	238.32
sortnetsort10.v.stepl.012	SAT	240.18
sortnetsort10.v.stepl.011	SAT	246.16
sortnetsort10.v.stepl.010	SAT	253.94
sortnetsort7.AE.stepl.007	UNSAT	263.92
sortnetsort10.v.stepl.005	UNSAT	272.52
sortnetsort7.AE.stepl.006	UNSAT	279.16
sortnetsort8.AE.stepl.007	UNSAT	454.65
sortnetsort10.v.stepl.007	FAIL	600
sortnetsort7.AE.stepl.005	FAIL	600
sortnetsort8.AE.stepl.008	FAIL	600
sortnetsort8.AE.stepl.009	FAIL	600
sortnetsort8.AE.stepl.005	FAIL	600
sortnetsort8.AE.stepl.006	FAIL	600

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family Sorting_networks solved by AQME-1NN
QBFEVAL'07

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family Sorting_networks solved by AQME-1NN QBFEVAL'07

Instances of family Sorting_networks solved by AQME-1NN
QBFEVAL'07