Sota solver results for family q2k3k3 <br> QBFEVAL'10

Sota solver results for family q2k3k3
QBFEVAL'10 - Random QBFs Track.

Instance	Solver	Result	Time
Qq2k3k3v100v100m2000s3	aqme-10	UNSAT	1200
Qq2k3k3v100v100m2000s7	aqme-10	UNSAT	15.53
Qq2k3k3v100v100m2000s8	aqme-10	UNSAT	66.74
Qq2k3k3v100v100m400s1	aqme-10	SAT	1.99
Qq2k3k3v100v100m400s10	aqme-10	SAT	1.98
Qq2k3k3v100v100m400s2	aqme-10	SAT	1.94
Qq2k3k3v100v100m400s3	aqme-10	SAT	2
Qq2k3k3v100v100m400s4	aqme-10	SAT	2.02
Qq2k3k3v100v100m400s5	aqme-10	SAT	1.94
Qq2k3k3v100v100m400s6	aqme-10	SAT	1.98
Qq2k3k3v100v100m400s7	aqme-10	SAT	1.94
Qq2k3k3v100v100m400s8	aqme-10	SAT	1.96
Qq2k3k3v100v100m400s9	aqme-10	SAT	2.03
Qq2k3k3v100v100m600s1	aqme-10	SAT	976.24
Qq2k3k3v100v100m600s10	aqme-10	SAT	685.2
Qq2k3k3v100v100m600s3	aqme-10	SAT	960.35
Qq2k3k3v100v100m600s6	aqme-10	SAT	798.53
Qq2k3k3v100v100m600s7	aqme-10	SAT	1153.88
Qq2k3k3v100v100m600s8	aqme-10	SAT	25.11
Qq2k3k3v100v100m600s9	aqme-10	SAT	916.95
Qq2k3k3v20v20m120s1	QuBE7	SAT	0.05
Qq2k3k3v20v20m120s10	depqbf	SAT	0.04
Qq2k3k3v20v20m120s2	QuBE7	SAT	0.04
Qq2k3k3v20v20m120s3	depqbf-pre	SAT	0.02
Qq2k3k3v20v20m120s4	QuBE7	SAT	0.05
Qq2k3k3v20v20m120s5	QuBE7	SAT	0.04
Qq2k3k3v20v20m120s6	QuBE7	SAT	0.04
Qq2k3k3v20v20m120s7	QuBE7-c	SAT	0.03
Qq2k3k3v20v20m120s8	QuBE7-m	SAT	0.06
Qq2k3k3v20v20m120s9	QuBE7-m	SAT	0.05
Qq2k3k3v20v20m160s1	QuBE7	SAT	0.24
Qq2k3k3v20v20m160s10	depqbf-pre	SAT	0.29
Qq2k3k3v20v20m160s2	QuBE7	SAT	0.44
Qq2k3k3v20v20m160s3	QuBE7	SAT	0.1
Qq2k3k3v20v20m160s4	QuBE7-c	SAT	0.28
Qq2k3k3v20v20m160s5	QuBE7	SAT	0.34
Qq2k3k3v20v20m160s6	depqbf-pre	SAT	0.49
Qq2k3k3v20v20m160s7	QuBE7	SAT	0.18
Qq2k3k3v20v20m160s8	QuBE7-m	SAT	0.24
Qq2k3k3v20v20m160s9	QuBE7-c	SAT	0.27
Qq2k3k3v20v20m200s1	depqbf-pre	SAT	1.68
Qq2k3k3v20v20m200s10	depqbf-pre	SAT	1.66
Qq2k3k3v20v20m200s2	depqbf-pre	SAT	1.71
Qq2k3k3v20v20m200s3	depqbf-pre	SAT	0.83
Qq2k3k3v20v20m200s4	depqbf-pre	SAT	1.5
Qq2k3k3v20v20m200s5	depqbf-pre	SAT	1.18
Qq2k3k3v20v20m200s6	aqme-10	SAT	1.92
Qq2k3k3v20v20m200s7	depqbf-pre	SAT	1.17
Qq2k3k3v20v20m200s8	depqbf-pre	SAT	1.02
Qq2k3k3v20v20m200s9	depqbf-pre	SAT	1.56
Qq2k3k3v20v20m240s1	aqme-10	SAT	1.97
Qq2k3k3v20v20m240s10	aqme-10	SAT	1.88
Qq2k3k3v20v20m240s2	aqme-10	SAT	1.9
Qq2k3k3v20v20m240s3	aqme-10	SAT	1.9
Qq2k3k3v20v20m240s4	aqme-10	SAT	1.96
Qq2k3k3v20v20m240s5	aqme-10	SAT	1.96
Qq2k3k3v20v20m240s6	aqme-10	SAT	1.88
Qq2k3k3v20v20m240s7	aqme-10	SAT	1.89
Qq2k3k3v20v20m240s8	aqme-10	SAT	1.98
Qq2k3k3v20v20m240s9	aqme-10	SAT	2
Qq2k3k3v20v20m280s1	aqme-10	SAT	2.06
Qq2k3k3v20v20m280s10	aqme-10	SAT	2.15
Qq2k3k3v20v20m280s2	aqme-10	SAT	2.22
Qq2k3k3v20v20m280s3	aqme-10	SAT	1.99
Qq2k3k3v20v20m280s4	aqme-10	SAT	2.23
Qq2k3k3v20v20m280s5	aqme-10	SAT	2.06
Qq2k3k3v20v20m280s6	aqme-10	SAT	2.2
Qq2k3k3v20v20m280s7	aqme-10	SAT	2.02
Qq2k3k3v20v20m280s8	aqme-10	SAT	2.17
Qq2k3k3v20v20m280s9	aqme-10	SAT	2.18
Qq2k3k3v20v20m320s1	aqme-10	SAT	2.44
Qq2k3k3v20v20m320s10	aqme-10	SAT	2.5
Qq2k3k3v20v20m320s2	struqs-10	UNSAT	1.18
Qq2k3k3v20v20m320s3	aqme-10	SAT	2.28
Qq2k3k3v20v20m320s4	depqbf-pre	UNSAT	1.62
Qq2k3k3v20v20m320s5	aqme-10	SAT	2.46
Qq2k3k3v20v20m320s6	aqme-10	UNSAT	2.1
Qq2k3k3v20v20m320s7	aqme-10	UNSAT	2.32
Qq2k3k3v20v20m320s8	aqme-10	UNSAT	2.5
Qq2k3k3v20v20m320s9	aqme-10	UNSAT	1.93
Qq2k3k3v20v20m360s1	QuBE7-c	UNSAT	0.18
Qq2k3k3v20v20m360s10	QuBE7	UNSAT	1.84
Qq2k3k3v20v20m360s2	QuBE7	UNSAT	0.24
Qq2k3k3v20v20m360s3	QuBE7-c	UNSAT	0.05
Qq2k3k3v20v20m360s4	depqbf	UNSAT	0.14
Qq2k3k3v20v20m360s5	depqbf-pre	UNSAT	0.29
Qq2k3k3v20v20m360s6	QuBE7	UNSAT	0.06
Qq2k3k3v20v20m360s7	aqme-10	UNSAT	2.27
Qq2k3k3v20v20m360s8	aqme-10	UNSAT	2.07
Qq2k3k3v20v20m360s9	QuBE7	UNSAT	0.77
Qq2k3k3v20v20m400s1	QuBE7-m	UNSAT	0.08
Qq2k3k3v20v20m400s10	QuBE7-m	UNSAT	0.07
Qq2k3k3v20v20m400s2	depqbf-pre	UNSAT	0.16
Qq2k3k3v20v20m400s3	QuBE7-m	UNSAT	0.06
Qq2k3k3v20v20m400s4	QuBE7-m	UNSAT	0.04
Qq2k3k3v20v20m400s5	depqbf-pre	UNSAT	0.02
Qq2k3k3v20v20m400s6	QuBE7	UNSAT	0.04
Qq2k3k3v20v20m400s7	depqbf-pre	UNSAT	0.29
Qq2k3k3v20v20m400s8	QuBE7	UNSAT	0.25
Qq2k3k3v20v20m400s9	QuBE7-m	UNSAT	0.21
Qq2k3k3v20v20m80s1	struqs-10	SAT	0
Qq2k3k3v20v20m80s10	depqbf-pre	SAT	0
Qq2k3k3v20v20m80s2	struqs-10	SAT	0.01
Qq2k3k3v20v20m80s3	struqs-10	SAT	0.01
Qq2k3k3v20v20m80s4	depqbf-pre	SAT	0
Qq2k3k3v20v20m80s5	depqbf	SAT	0.01
Qq2k3k3v20v20m80s6	depqbf	SAT	0.01
Qq2k3k3v20v20m80s7	depqbf	SAT	0
Qq2k3k3v20v20m80s8	depqbf-pre	SAT	0.01
Qq2k3k3v20v20m80s9	depqbf	SAT	0
Qq2k3k3v50v50m1000s1	aqme-10	UNSAT	2.93
Qq2k3k3v50v50m1000s10	aqme-10	UNSAT	2.28
Qq2k3k3v50v50m1000s2	aqme-10	UNSAT	4.03
Qq2k3k3v50v50m1000s3	aqme-10	UNSAT	5.92
Qq2k3k3v50v50m1000s4	aqme-10	UNSAT	2.32
Qq2k3k3v50v50m1000s5	aqme-10	UNSAT	2.64
Qq2k3k3v50v50m1000s6	aqme-10	UNSAT	267.48
Qq2k3k3v50v50m1000s7	aqme-10	UNSAT	2.52
Qq2k3k3v50v50m1000s8	aqme-10	UNSAT	2.79
Qq2k3k3v50v50m1000s9	aqme-10	UNSAT	9.13
Qq2k3k3v50v50m200s1	aqme-10	SAT	1.86
Qq2k3k3v50v50m200s10	QuBE7-m	SAT	0.61
Qq2k3k3v50v50m200s2	aqme-10	SAT	1.85
Qq2k3k3v50v50m200s3	QuBE7	SAT	1.22
Qq2k3k3v50v50m200s4	aqme-10	SAT	1.83
Qq2k3k3v50v50m200s5	aqme-10	SAT	1.87
Qq2k3k3v50v50m200s6	aqme-10	SAT	1.88
Qq2k3k3v50v50m200s7	QuBE7	SAT	0.35
Qq2k3k3v50v50m200s8	QuBE7-m	SAT	1.14
Qq2k3k3v50v50m200s9	QuBE7	SAT	1.07
Qq2k3k3v50v50m300s1	aqme-10	SAT	2
Qq2k3k3v50v50m300s10	aqme-10	SAT	1.9
Qq2k3k3v50v50m300s2	aqme-10	SAT	2.1
Qq2k3k3v50v50m300s3	aqme-10	SAT	2.02
Qq2k3k3v50v50m300s4	aqme-10	SAT	2.24
Qq2k3k3v50v50m300s5	aqme-10	SAT	2.37
Qq2k3k3v50v50m300s6	aqme-10	SAT	2.1
Qq2k3k3v50v50m300s7	aqme-10	SAT	1.92
Qq2k3k3v50v50m300s8	aqme-10	SAT	2.24
Qq2k3k3v50v50m300s9	aqme-10	SAT	2.26
Qq2k3k3v50v50m400s1	aqme-10	SAT	16.27
Qq2k3k3v50v50m400s10	aqme-10	SAT	17.78
Qq2k3k3v50v50m400s2	aqme-10	SAT	23.65
Qq2k3k3v50v50m400s3	aqme-10	SAT	10.2
Qq2k3k3v50v50m400s4	aqme-10	SAT	24.53
Qq2k3k3v50v50m400s5	aqme-10	SAT	70.45
Qq2k3k3v50v50m400s6	aqme-10	SAT	35.71
Qq2k3k3v50v50m400s7	aqme-10	SAT	24.8
Qq2k3k3v50v50m400s8	aqme-10	SAT	49.22
Qq2k3k3v50v50m400s9	aqme-10	SAT	36.73
Qq2k3k3v50v50m500s3	aqme-10	SAT	1103.17
Qq2k3k3v50v50m900s1	aqme-10	UNSAT	1167.87
Qq2k3k3v50v50m900s10	aqme-10	UNSAT	12.65
Qq2k3k3v50v50m900s2	aqme-10	UNSAT	736.21
Qq2k3k3v50v50m900s3	aqme-10	UNSAT	73.15
Qq2k3k3v50v50m900s4	aqme-10	UNSAT	717.03
Qq2k3k3v50v50m900s5	aqme-10	UNSAT	72.97
Qq2k3k3v50v50m900s6	aqme-10	UNSAT	6.65
Qq2k3k3v50v50m900s7	aqme-10	UNSAT	3.02
Qq2k3k3v50v50m900s8	aqme-10	UNSAT	83.87
Qq2k3k3v50v50m900s9	aqme-10	UNSAT	772.57

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Sota solver results for family q2k3k3
QBFEVAL'10 - Random QBFs Track.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Sota solver results for family q2k3k3 QBFEVAL'10 - Random QBFs Track.

Sota solver results for family q2k3k3
QBFEVAL'10 - Random QBFs Track.