Sota solver results for family Sorting

Sota solver results for family Sorting_networks
QBFEVAL'07

Instance	Solver	Result	Time
sortnetsort10.AE.stepl.004	yQuaffle	SAT	22.97
sortnetsort10.v.stepl.004	sKizzo-0.10-qck	UNSAT	5.88
sortnetsort10.v.stepl.005	sKizzo-0.10-qck	UNSAT	37.11
sortnetsort10.v.stepl.007	sKizzo-0.10-std	SAT	143.47
sortnetsort10.v.stepl.008	QUANTOR_2.15	SAT	33.18
sortnetsort10.v.stepl.009	QUANTOR_2.15	SAT	39.56
sortnetsort10.v.stepl.010	QUANTOR_2.15	SAT	39.96
sortnetsort10.v.stepl.011	QUANTOR_2.15	SAT	46.98
sortnetsort10.v.stepl.012	qSS	SAT	39.08
sortnetsort5.AE.stepl.004	yQuaffle	SAT	0.19
sortnetsort5.AE.stepl.005	yQuaffle	UNSAT	0.16
sortnetsort5.AE.stepl.006	yQuaffle	UNSAT	0.16
sortnetsort5.AE.stepl.007	yQuaffle	UNSAT	0.22
sortnetsort6.AE.stepl.003	yQuaffle	SAT	0.12
sortnetsort6.AE.stepl.004	yQuaffle	SAT	0.64
sortnetsort6.AE.stepl.005	yQuaffle	UNSAT	1.22
sortnetsort6.AE.stepl.006	yQuaffle	UNSAT	1.51
sortnetsort6.AE.stepl.007	yQuaffle	UNSAT	0.92
sortnetsort7.AE.stepl.003	yQuaffle	SAT	0.18
sortnetsort7.AE.stepl.004	yQuaffle	SAT	2.71
sortnetsort7.AE.stepl.005	ncQuBE1.0	SAT	223.44
sortnetsort7.AE.stepl.006	ncQuBE1.0	UNSAT	18.24
sortnetsort7.AE.stepl.007	ncQuBE1.0	UNSAT	25.67
sortnetsort7.AE.stepl.008	ncQuBE1.0	UNSAT	25.75
sortnetsort7.AE.stepl.009	ncQuBE1.0	UNSAT	21.92
sortnetsort7.v.stepl.004	sKizzo-0.10-qck	UNSAT	0.24
sortnetsort7.v.stepl.005	QUANTOR_2.15	UNSAT	6.5
sortnetsort7.v.stepl.006	qZilla	SAT	1.67
sortnetsort7.v.stepl.007	QUANTOR_2.15	SAT	1.25
sortnetsort7.v.stepl.008	qZilla	SAT	1.14
sortnetsort7.v.stepl.009	qZilla	SAT	1.31
sortnetsort8.AE.stepl.003	yQuaffle	SAT	0.34
sortnetsort8.AE.stepl.004	yQuaffle	SAT	3.92
sortnetsort8.AE.stepl.006	ncQuBE1.0	UNSAT	83.06
sortnetsort8.AE.stepl.007	ncQuBE1.1	UNSAT	41.31
sortnetsort8.AE.stepl.008	ncQuBE1.0	UNSAT	104.26
sortnetsort8.AE.stepl.009	ncQuBE1.1	UNSAT	222.32
sortnetsort8.v.stepl.004	QUANTOR_2.15	UNSAT	2
sortnetsort8.v.stepl.005	QUANTOR_2.15	UNSAT	14.27
sortnetsort8.v.stepl.006	AQME-1NN	SAT	3.58
sortnetsort8.v.stepl.007	Adaptive2clsQ	SAT	3.57
sortnetsort8.v.stepl.008	QUANTOR_2.15	SAT	4.37
sortnetsort8.v.stepl.009	qZilla	SAT	4.75
sortnetsort9.AE.stepl.004	AQME-C4.5	SAT	16.32
sortnetsort9.v.stepl.004	QUANTOR_2.15	UNSAT	5.13
sortnetsort9.v.stepl.005	QUANTOR_2.15	UNSAT	35.51
sortnetsort9.v.stepl.007	AQME-1NN	SAT	15.83
sortnetsort9.v.stepl.008	AQME-1NN	SAT	11.89
sortnetsort9.v.stepl.009	qSS	SAT	13.81
sortnetsort9.v.stepl.010	qSS	SAT	11.79
sortnetsort9.v.stepl.011	qSS	SAT	14.6
sortnetsort9.v.stepl.012	qSS	SAT	11.23

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Sota solver results for family Sorting_networks
QBFEVAL'07

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Sota solver results for family Sorting_networks QBFEVAL'07

Sota solver results for family Sorting_networks
QBFEVAL'07