Instances of family CounterFactual solved by <a href='solver_detail.php?solver=108'>nenofex-qbfeval10</a> <br> QBFEVAL'10

Instances of family CounterFactual solved by nenofex-qbfeval10
QBFEVAL'10 - Random QBFs Track.

Instance	Result	Time
ncf_8_16_4_d.5	UNSAT	0
ncf_8_16_4_euad.2	UNSAT	0.02
ncf_8_16_4_d.2	UNSAT	0.02
ncf_8_16_4_u.5	UNSAT	0.02
ncf_8_16_4_euad.5	UNSAT	0.02
ncf_8_16_4_d.1	SAT	0.02
ncf_8_16_4_edau.1	SAT	0.02
ncf_8_16_4_euad.1	SAT	0.02
ncf_8_16_4_u.2	UNSAT	0.02
ncf_8_16_4_edau.5	UNSAT	0.02
ncf_8_16_4_edau.2	UNSAT	0.03
ncf_8_16_4_u.1	SAT	0.03
ncf_8_16_4_edau.8	UNSAT	0.04
ncf_8_16_4_u.6	UNSAT	0.04
ncf_8_16_4_d.8	UNSAT	0.04
ncf_8_16_4_edau.6	UNSAT	0.04
ncf_8_16_4_u.8	UNSAT	0.05
ncf_8_16_4_d.6	UNSAT	0.05
ncf_8_16_4_euad.8	UNSAT	0.06
ncf_8_16_4_edau.10	SAT	0.08
ncf_8_16_4_u.10	SAT	0.09
ncf_8_16_4_d.10	SAT	0.15
ncf_8_16_4_edau.4	SAT	0.18
ncf_8_16_4_d.4	SAT	0.18
ncf_16_32_8_d.4	SAT	0.37
ncf_16_32_8_d.8	UNSAT	0.7
ncf_16_32_8_edau.8	UNSAT	0.76
ncf_16_32_8_edau.3	SAT	0.84
ncf_16_32_8_d.3	SAT	0.98
ncf_16_32_8_edau.4	SAT	1.13
ncf_16_32_8_u.8	UNSAT	1.31
ncf_16_32_8_euad.8	UNSAT	2.04
ncf_8_16_4_u.7	FAIL	51.08
ncf_8_16_4_edau.7	FAIL	52.62
ncf_8_16_4_euad.6	UNSAT	58.1
ncf_16_32_8_u.3	FAIL	68.29
ncf_16_32_8_edau.2	FAIL	86.01
ncf_8_16_4_euad.7	FAIL	88.95
ncf_8_16_4_euad.4	FAIL	89.23
ncf_8_16_4_euad.3	FAIL	100.1
ncf_8_16_4_u.4	FAIL	122.36
ncf_16_32_8_euad.10	FAIL	131.68
ncf_8_16_4_edau.9	FAIL	140.18
ncf_16_32_8_euad.4	FAIL	145.16
ncf_8_16_4_d.7	FAIL	146.21
ncf_16_32_8_edau.5	FAIL	148.96
ncf_16_32_8_euad.3	FAIL	153.09
ncf_8_16_4_d.9	FAIL	153.24
ncf_16_32_8_u.5	FAIL	154.25
ncf_8_16_4_euad.9	FAIL	158.47
ncf_16_32_8_edau.9	FAIL	164.58
ncf_8_16_4_u.9	FAIL	167.66
ncf_16_32_8_u.1	FAIL	169.94
ncf_16_32_8_u.4	FAIL	171.64
ncf_16_32_8_u.6	FAIL	180.29
ncf_16_32_8_d.10	FAIL	182.94
ncf_8_16_4_u.3	FAIL	189.27
ncf_16_32_8_edau.1	FAIL	189.52
ncf_16_32_8_d.2	FAIL	203.63
ncf_16_32_8_edau.10	FAIL	222.03
ncf_8_16_4_d.3	FAIL	249.48
ncf_16_32_8_d.9	FAIL	253.94
ncf_16_32_8_u.7	FAIL	263.87
ncf_16_32_8_euad.6	FAIL	271.47
ncf_16_32_8_euad.2	FAIL	275.73
ncf_16_32_8_euad.5	FAIL	284.97
ncf_16_32_8_euad.7	FAIL	299.86
ncf_16_32_8_u.9	FAIL	308.54
ncf_16_32_8_d.7	FAIL	309.24
ncf_16_32_8_euad.1	FAIL	323.99
ncf_8_16_4_edau.3	FAIL	329.6
ncf_16_32_8_edau.7	FAIL	338.01
ncf_16_32_8_d.1	FAIL	375.36
ncf_16_32_8_d.5	FAIL	379.55
ncf_16_32_8_edau.6	FAIL	410.96
ncf_16_32_8_u.10	FAIL	431.43
ncf_16_32_8_euad.9	FAIL	454.34
ncf_16_32_8_d.6	FAIL	471.66
ncf_16_32_8_u.2	FAIL	972.02
ncf_8_16_4_euad.10	FAIL	1200.21

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family CounterFactual solved by nenofex-qbfeval10
QBFEVAL'10 - Random QBFs Track.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family CounterFactual solved by nenofex-qbfeval10 QBFEVAL'10 - Random QBFs Track.

Instances of family CounterFactual solved by nenofex-qbfeval10
QBFEVAL'10 - Random QBFs Track.