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

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

Instance	Solver	Result	Time
ncf_16_32_8_d.1	depqbf	SAT	0.89
ncf_16_32_8_d.10	depqbf	SAT	0.08
ncf_16_32_8_d.2	depqbf-pre	UNSAT	0.24
ncf_16_32_8_d.3	QuBE7	SAT	0.1
ncf_16_32_8_d.4	quantor-3.1	SAT	0.03
ncf_16_32_8_d.5	depqbf-pre	UNSAT	0.09
ncf_16_32_8_d.6	depqbf	SAT	0.22
ncf_16_32_8_d.7	depqbf	SAT	0.18
ncf_16_32_8_d.8	depqbf	UNSAT	0.06
ncf_16_32_8_d.9	depqbf-pre	UNSAT	0.53
ncf_16_32_8_edau.1	depqbf-pre	SAT	3.54
ncf_16_32_8_edau.10	QuBE7-m	SAT	0.11
ncf_16_32_8_edau.2	QuBE7	UNSAT	0.4
ncf_16_32_8_edau.3	QuBE7-m	SAT	0.1
ncf_16_32_8_edau.4	quantor-3.1	SAT	0.02
ncf_16_32_8_edau.5	depqbf-pre	UNSAT	0.34
ncf_16_32_8_edau.6	depqbf	SAT	0.35
ncf_16_32_8_edau.7	depqbf-pre	SAT	0.27
ncf_16_32_8_edau.8	depqbf	UNSAT	0.06
ncf_16_32_8_edau.9	depqbf-pre	UNSAT	34.34
ncf_16_32_8_euad.1	depqbf	SAT	34.51
ncf_16_32_8_euad.10	depqbf-pre	SAT	0.3
ncf_16_32_8_euad.2	depqbf	UNSAT	0.34
ncf_16_32_8_euad.3	depqbf-pre	SAT	0.15
ncf_16_32_8_euad.4	depqbf-pre	SAT	0.09
ncf_16_32_8_euad.5	depqbf	UNSAT	0.28
ncf_16_32_8_euad.6	depqbf-pre	SAT	0.7
ncf_16_32_8_euad.7	depqbf	SAT	1.06
ncf_16_32_8_euad.8	depqbf-pre	UNSAT	0.05
ncf_16_32_8_euad.9	depqbf-pre	UNSAT	1.86
ncf_16_32_8_u.1	depqbf-pre	SAT	0.72
ncf_16_32_8_u.10	depqbf-pre	SAT	0.44
ncf_16_32_8_u.2	depqbf-pre	UNSAT	3.81
ncf_16_32_8_u.3	depqbf-pre	SAT	0.18
ncf_16_32_8_u.4	depqbf-pre	SAT	0.06
ncf_16_32_8_u.5	depqbf-pre	UNSAT	0.27
ncf_16_32_8_u.6	depqbf-pre	SAT	2.82
ncf_16_32_8_u.7	depqbf-pre	SAT	1.42
ncf_16_32_8_u.8	depqbf-pre	UNSAT	0.08
ncf_16_32_8_u.9	depqbf-pre	UNSAT	112.39
ncf_8_16_4_d.1	quantor-3.1	SAT	0.01
ncf_8_16_4_d.10	depqbf	SAT	0.01
ncf_8_16_4_d.2	quantor-3.1	UNSAT	0.01
ncf_8_16_4_d.3	depqbf-pre	SAT	0.07
ncf_8_16_4_d.4	QuBE7-m	SAT	0.02
ncf_8_16_4_d.5	depqbf-pre	UNSAT	0
ncf_8_16_4_d.6	depqbf-pre	UNSAT	0.01
ncf_8_16_4_d.7	depqbf-pre	SAT	0.1
ncf_8_16_4_d.8	quantor-3.1	UNSAT	0.01
ncf_8_16_4_d.9	depqbf	UNSAT	0.04
ncf_8_16_4_edau.1	quantor-3.1	SAT	0
ncf_8_16_4_edau.10	quantor-3.1	SAT	0.01
ncf_8_16_4_edau.2	quantor-3.1	UNSAT	0.01
ncf_8_16_4_edau.3	QuBE7	SAT	0.08
ncf_8_16_4_edau.4	QuBE7-m	SAT	0.01
ncf_8_16_4_edau.5	quantor-3.1	UNSAT	0
ncf_8_16_4_edau.6	quantor-3.1	UNSAT	0.01
ncf_8_16_4_edau.7	depqbf-pre	SAT	0.11
ncf_8_16_4_edau.8	quantor-3.1	UNSAT	0.01
ncf_8_16_4_edau.9	depqbf-pre	UNSAT	0.05
ncf_8_16_4_euad.1	quantor-3.1	SAT	0
ncf_8_16_4_euad.10	depqbf-pre	SAT	0.01
ncf_8_16_4_euad.2	quantor-3.1	UNSAT	0
ncf_8_16_4_euad.3	depqbf	SAT	0.04
ncf_8_16_4_euad.4	depqbf-pre	SAT	0.02
ncf_8_16_4_euad.5	depqbf	UNSAT	0.01
ncf_8_16_4_euad.6	depqbf-pre	UNSAT	0.02
ncf_8_16_4_euad.7	depqbf-pre	SAT	0.07
ncf_8_16_4_euad.8	depqbf-pre	UNSAT	0.02
ncf_8_16_4_euad.9	depqbf-pre	UNSAT	0.07
ncf_8_16_4_u.1	quantor-3.1	SAT	0.01
ncf_8_16_4_u.10	depqbf	SAT	0.01
ncf_8_16_4_u.2	quantor-3.1	UNSAT	0
ncf_8_16_4_u.3	depqbf-pre	SAT	0.04
ncf_8_16_4_u.4	depqbf-pre	SAT	0.01
ncf_8_16_4_u.5	depqbf-pre	UNSAT	0.01
ncf_8_16_4_u.6	depqbf-pre	UNSAT	0.02
ncf_8_16_4_u.7	depqbf-pre	SAT	0.14
ncf_8_16_4_u.8	depqbf-pre	UNSAT	0.02
ncf_8_16_4_u.9	depqbf-pre	UNSAT	0.06

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

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