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

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

Instance	Solver	Result	Time
ncf_16_128_2_u.1	aqua-s3o	UNSAT	1.8
ncf_16_128_2_u.10	caqe-picosat	UNSAT	214.96
ncf_16_128_2_u.2	depqbf-v3	UNSAT	37.04
ncf_16_128_2_u.3	caqe-picosat	UNSAT	38.64
ncf_16_128_2_u.6	caqe-picosat	UNSAT	381.7
ncf_16_128_2_u.7	caqe-picosat	UNSAT	24.62
ncf_16_128_2_u.8	caqe-picosat	UNSAT	80.5
ncf_16_128_8_edau.2	xb-bid-qsts	UNSAT	87.3
ncf_16_128_8_edau.5	xb-qsts	UNSAT	46.33
ncf_16_128_8_edau.7	caqe-picosat	UNSAT	128.64
ncf_16_128_8_edau.8	xb-qsts	UNSAT	53.29
ncf_16_32_8_u.1	aqua-s3o	SAT	1.48
ncf_16_32_8_u.10	qestos	SAT	0.03
ncf_16_32_8_u.2	aqua-s2v	UNSAT	0.14
ncf_16_32_8_u.3	rareqs	SAT	0.01
ncf_16_32_8_u.4	qesto	SAT	0.01
ncf_16_32_8_u.5	aqua-s3o	UNSAT	0.18
ncf_16_32_8_u.6	qesto	SAT	0.16
ncf_16_32_8_u.7	aqua-s3o	SAT	0.16
ncf_16_32_8_u.8	qesto	UNSAT	0.04
ncf_16_32_8_u.9	hiqqer1ldsq	UNSAT	1.95
ncf_16_64_4_d.1	aqua-s3o	SAT	0.22
ncf_16_64_4_d.10	xb-qsts	UNSAT	4.63
ncf_16_64_4_d.2	aqua-f3v	UNSAT	0.75
ncf_16_64_4_d.3	depqbf-v1	UNSAT	2.01
ncf_16_64_4_d.4	xb-qsts	UNSAT	2.64
ncf_16_64_4_d.5	aqua-s3o	UNSAT	0.46
ncf_16_64_4_d.6	aqua-s3o	UNSAT	0.29
ncf_16_64_4_d.7	rareqs	UNSAT	0.98
ncf_16_64_4_d.8	aqua-s2v	UNSAT	1.8
ncf_16_64_4_d.9	aqua-f3v	SAT	0.72
ncf_4_16_2_d.1	aqua-f3v	UNSAT	0.01
ncf_4_16_2_d.10	aqua-s3o	UNSAT	0.01
ncf_4_16_2_d.2	rareqs	SAT	0
ncf_4_16_2_d.3	depqbf-v1	UNSAT	0.02
ncf_4_16_2_d.4	aqua-f3v	SAT	0
ncf_4_16_2_d.5	aqua-f3v	UNSAT	0.01
ncf_4_16_2_d.6	aqua-f3v	SAT	0
ncf_4_16_2_d.7	qesto	SAT	0
ncf_4_16_2_d.8	qestos	SAT	0
ncf_4_16_2_d.9	aqua-s2v	SAT	0
ncf_4_16_8_euad.1	depqbf-v3	SAT	0.76
ncf_4_16_8_euad.10	aqua-f3v	SAT	0.12
ncf_4_16_8_euad.2	aqua-s3o	SAT	0.17
ncf_4_16_8_euad.3	aqua-f3v	SAT	0.09
ncf_4_16_8_euad.4	aqua-s2v	SAT	0.42
ncf_4_16_8_euad.5	aqua-f3v	UNSAT	0.07
ncf_4_16_8_euad.6	depqbf-v1	SAT	0.41
ncf_4_16_8_euad.7	qesto	SAT	0
ncf_4_16_8_euad.8	aqua-s3o	UNSAT	0.07
ncf_4_16_8_euad.9	aqua-s3o	SAT	0.38
ncf_8_16_4_u.1	aqua-s3o	SAT	0
ncf_8_16_4_u.10	qesto	SAT	0
ncf_8_16_4_u.2	qesto	UNSAT	0
ncf_8_16_4_u.3	qesto	SAT	0.01
ncf_8_16_4_u.4	qesto	SAT	0
ncf_8_16_4_u.5	qesto	UNSAT	0
ncf_8_16_4_u.6	qesto	UNSAT	0
ncf_8_16_4_u.7	depqbf-v1	SAT	0.12
ncf_8_16_4_u.8	rareqs	UNSAT	0
ncf_8_16_4_u.9	aqua-f3v	UNSAT	0.02

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

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