Instances of family CounterFactual solved by <a href='solver_detail.php?solver=113'>QuBE7-m</a> <br> QBFEVAL'10

Instances of family CounterFactual solved by QuBE7-m
QBFEVAL'10 - Random QBFs Track.

Instance	Result	Time
ncf_8_16_4_edau.1	SAT	0.01
ncf_8_16_4_edau.4	SAT	0.01
ncf_8_16_4_edau.5	UNSAT	0.02
ncf_8_16_4_edau.10	SAT	0.02
ncf_8_16_4_d.10	SAT	0.02
ncf_8_16_4_u.1	SAT	0.02
ncf_8_16_4_d.4	SAT	0.02
ncf_8_16_4_euad.1	SAT	0.02
ncf_8_16_4_euad.5	UNSAT	0.02
ncf_8_16_4_d.1	SAT	0.02
ncf_8_16_4_euad.10	SAT	0.02
ncf_8_16_4_u.5	UNSAT	0.02
ncf_8_16_4_u.10	SAT	0.02
ncf_8_16_4_d.5	UNSAT	0.02
ncf_8_16_4_edau.6	UNSAT	0.03
ncf_8_16_4_d.6	UNSAT	0.03
ncf_8_16_4_u.6	UNSAT	0.03
ncf_8_16_4_euad.2	UNSAT	0.03
ncf_8_16_4_u.2	UNSAT	0.03
ncf_8_16_4_edau.2	UNSAT	0.03
ncf_8_16_4_u.8	UNSAT	0.03
ncf_8_16_4_d.8	UNSAT	0.03
ncf_8_16_4_edau.8	UNSAT	0.04
ncf_8_16_4_euad.6	UNSAT	0.04
ncf_8_16_4_euad.4	SAT	0.04
ncf_8_16_4_d.2	UNSAT	0.04
ncf_8_16_4_euad.8	UNSAT	0.04
ncf_8_16_4_u.4	SAT	0.05
ncf_8_16_4_d.3	SAT	0.08
ncf_16_32_8_edau.4	SAT	0.09
ncf_16_32_8_d.4	SAT	0.09
ncf_16_32_8_euad.4	SAT	0.1
ncf_16_32_8_u.4	SAT	0.1
ncf_16_32_8_edau.3	SAT	0.1
ncf_16_32_8_d.8	UNSAT	0.1
ncf_16_32_8_d.3	SAT	0.11
ncf_16_32_8_edau.8	UNSAT	0.11
ncf_16_32_8_d.10	SAT	0.11
ncf_16_32_8_edau.10	SAT	0.11
ncf_8_16_4_edau.3	SAT	0.11
ncf_8_16_4_d.9	UNSAT	0.14
ncf_16_32_8_u.3	SAT	0.29
ncf_8_16_4_d.7	SAT	0.29
ncf_8_16_4_edau.9	UNSAT	0.38
ncf_8_16_4_u.3	SAT	0.88
ncf_8_16_4_euad.3	SAT	0.98
ncf_8_16_4_edau.7	SAT	1.04
ncf_16_32_8_euad.3	SAT	1.51
ncf_16_32_8_euad.7	SAT	1.99
ncf_8_16_4_u.7	SAT	2.3
ncf_8_16_4_u.9	UNSAT	2.51
ncf_8_16_4_euad.9	UNSAT	2.95
ncf_8_16_4_euad.7	SAT	3.84
ncf_16_32_8_u.7	SAT	49.88
ncf_16_32_8_d.5	UNSAT	96.23
ncf_16_32_8_edau.5	UNSAT	259.93
ncf_16_32_8_u.8	UNSAT	315.2
ncf_16_32_8_d.6	SAT	510.1
ncf_16_32_8_euad.8	UNSAT	997.73
ncf_16_32_8_u.10	SAT	1142.77
ncf_16_32_8_euad.2	FAIL	1200.01
ncf_16_32_8_d.7	FAIL	1200.01
ncf_16_32_8_euad.10	FAIL	1200.01
ncf_16_32_8_euad.1	FAIL	1200.02
ncf_16_32_8_edau.1	FAIL	1200.02
ncf_16_32_8_u.9	FAIL	1200.02
ncf_16_32_8_euad.9	FAIL	1200.02
ncf_16_32_8_u.5	FAIL	1200.02
ncf_16_32_8_u.2	FAIL	1200.02
ncf_16_32_8_d.2	FAIL	1200.03
ncf_16_32_8_euad.5	FAIL	1200.03
ncf_16_32_8_u.6	FAIL	1200.03
ncf_16_32_8_edau.9	FAIL	1200.03
ncf_16_32_8_edau.6	FAIL	1200.03
ncf_16_32_8_d.1	FAIL	1200.03
ncf_16_32_8_euad.6	FAIL	1200.03
ncf_16_32_8_u.1	FAIL	1200.04
ncf_16_32_8_edau.7	FAIL	1200.05
ncf_16_32_8_edau.2	FAIL	1200.05
ncf_16_32_8_d.9	FAIL	1200.1

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family CounterFactual solved by QuBE7-m
QBFEVAL'10 - Random QBFs Track.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family CounterFactual solved by QuBE7-m QBFEVAL'10 - Random QBFs Track.

Instances of family CounterFactual solved by QuBE7-m
QBFEVAL'10 - Random QBFs Track.