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

Sota solver results for family CounterFactual
QBFEVAL'06

Instance	Solver	Result	Time
ncf_16_32_2_d.1	WalkQSAT	UNSAT	0.12
ncf_16_32_2_d.10	yQuaffle	UNSAT	0.43
ncf_16_32_2_d.2	yQuaffle	UNSAT	0.02
ncf_16_32_2_d.3	WalkQSAT	SAT	0.1
ncf_16_32_2_d.4	WalkQSAT	UNSAT	0.05
ncf_16_32_2_d.5	yQuaffle	UNSAT	0.02
ncf_16_32_2_d.6	sKizzo-0.9-grn	SAT	0
ncf_16_32_2_d.7	semprop	UNSAT	0.01
ncf_16_32_2_d.8	WalkQSAT	UNSAT	0.02
ncf_16_32_2_d.9	semprop	UNSAT	0
ncf_16_32_2_edau.1	WalkQSAT	UNSAT	0.3
ncf_16_32_2_edau.10	WalkQSAT	UNSAT	0.06
ncf_16_32_2_edau.2	yQuaffle	UNSAT	0.02
ncf_16_32_2_edau.3	WalkQSAT	SAT	0.05
ncf_16_32_2_edau.4	WalkQSAT	UNSAT	0.06
ncf_16_32_2_edau.5	yQuaffle	UNSAT	0.01
ncf_16_32_2_edau.6	QUANTOR_hc	SAT	0
ncf_16_32_2_edau.7	sKizzo-0.9-abs	UNSAT	0.01
ncf_16_32_2_edau.8	WalkQSAT	UNSAT	0.02
ncf_16_32_2_edau.9	QUANTOR_hc	UNSAT	0
ncf_16_32_2_euad.1	WalkQSAT	UNSAT	0.09
ncf_16_32_2_euad.10	WalkQSAT	UNSAT	0.17
ncf_16_32_2_euad.2	WalkQSAT	UNSAT	0.02
ncf_16_32_2_euad.3	WalkQSAT	SAT	0.09
ncf_16_32_2_euad.4	WalkQSAT	UNSAT	0.05
ncf_16_32_2_euad.5	WalkQSAT	UNSAT	0.04
ncf_16_32_2_euad.6	WalkQSAT	SAT	0.02
ncf_16_32_2_euad.7	WalkQSAT	UNSAT	0.02
ncf_16_32_2_euad.8	yQuaffle	UNSAT	0.04
ncf_16_32_2_euad.9	QUANTOR_hc	UNSAT	0
ncf_16_32_2_u.1	WalkQSAT	UNSAT	0.07
ncf_16_32_2_u.10	WalkQSAT	UNSAT	0.03
ncf_16_32_2_u.2	WalkQSAT	UNSAT	0.02
ncf_16_32_2_u.3	WalkQSAT	SAT	0.06
ncf_16_32_2_u.4	WalkQSAT	UNSAT	0.04
ncf_16_32_2_u.5	WalkQSAT	UNSAT	0.02
ncf_16_32_2_u.6	semprop	SAT	0.01
ncf_16_32_2_u.7	WalkQSAT	UNSAT	0.03
ncf_16_32_2_u.8	WalkQSAT	UNSAT	0.03
ncf_16_32_2_u.9	semprop	UNSAT	0
ncf_16_32_4_d.1	qube4.0	SAT	0.03
ncf_16_32_4_d.10	QUANTOR	UNSAT	0.02
ncf_16_32_4_d.2	sKizzo-0.9-abs	SAT	0.02
ncf_16_32_4_d.3	sKizzo-0.9-abs	SAT	0
ncf_16_32_4_d.4	WalkQSAT	UNSAT	0.05
ncf_16_32_4_d.5	WalkQSAT	UNSAT	0.06
ncf_16_32_4_d.6	WalkQSAT	UNSAT	0.33
ncf_16_32_4_d.7	QUANTOR	UNSAT	0.03
ncf_16_32_4_d.8	sKizzo-0.9-abs	SAT	0.02
ncf_16_32_4_d.9	2clsQ	SAT	0.01
ncf_16_32_4_edau.1	qube4.0	SAT	0.04
ncf_16_32_4_edau.10	QUANTOR	UNSAT	0.02
ncf_16_32_4_edau.2	sKizzo-0.9-abs	SAT	0.01
ncf_16_32_4_edau.3	sKizzo-0.9-abs	SAT	0.01
ncf_16_32_4_edau.4	WalkQSAT	UNSAT	0.05
ncf_16_32_4_edau.5	WalkQSAT	UNSAT	0.05
ncf_16_32_4_edau.6	WalkQSAT	UNSAT	1.48
ncf_16_32_4_edau.7	2clsQ	UNSAT	0.03
ncf_16_32_4_edau.8	sKizzo-0.9-std	SAT	0.01
ncf_16_32_4_edau.9	QUANTOR	SAT	0.01
ncf_16_32_4_euad.1	WalkQSAT	SAT	0.07
ncf_16_32_4_euad.10	WalkQSAT	UNSAT	0.1
ncf_16_32_4_euad.2	WalkQSAT	SAT	0.19
ncf_16_32_4_euad.3	WalkQSAT	SAT	0.04
ncf_16_32_4_euad.4	WalkQSAT	UNSAT	0.07
ncf_16_32_4_euad.5	WalkQSAT	UNSAT	0.05
ncf_16_32_4_euad.6	WalkQSAT	UNSAT	0.3
ncf_16_32_4_euad.7	WalkQSAT	UNSAT	0.08
ncf_16_32_4_euad.8	WalkQSAT	SAT	0.19
ncf_16_32_4_euad.9	qube3.0	SAT	0.02
ncf_16_32_4_u.1	qube4.0	SAT	0.05
ncf_16_32_4_u.10	WalkQSAT	UNSAT	0.1
ncf_16_32_4_u.2	WalkQSAT	SAT	0.22
ncf_16_32_4_u.3	WalkQSAT	SAT	0.07
ncf_16_32_4_u.4	WalkQSAT	UNSAT	0.05
ncf_16_32_4_u.5	WalkQSAT	UNSAT	0.09
ncf_16_32_4_u.6	WalkQSAT	UNSAT	0.69
ncf_16_32_4_u.7	WalkQSAT	UNSAT	0.07
ncf_16_32_4_u.8	WalkQSAT	SAT	0.18
ncf_16_32_4_u.9	qube3.0	SAT	0.02
ncf_16_32_8_d.10	qube4.0	SAT	3.47
ncf_16_32_8_d.2	WalkQSAT	UNSAT	18.3
ncf_16_32_8_d.3	sKizzo-0.9-grn	SAT	0.02
ncf_16_32_8_d.4	QUANTOR	SAT	0.03
ncf_16_32_8_d.5	qube4.0	UNSAT	2.59
ncf_16_32_8_d.6	WalkQSAT	SAT	15.03
ncf_16_32_8_d.7	WalkQSAT	SAT	0.55
ncf_16_32_8_d.8	WalkQSAT	UNSAT	0.1
ncf_16_32_8_edau.10	qube4.0	SAT	2.42
ncf_16_32_8_edau.2	openQbf	UNSAT	835.8
ncf_16_32_8_edau.3	sKizzo-0.9-abs	SAT	0.03
ncf_16_32_8_edau.4	QUANTOR	SAT	0.03
ncf_16_32_8_edau.5	WalkQSAT	UNSAT	1.95
ncf_16_32_8_edau.6	ssolve-ut	SAT	5.83
ncf_16_32_8_edau.7	ssolve-ut	SAT	5.36
ncf_16_32_8_edau.8	WalkQSAT	UNSAT	0.13
ncf_16_32_8_euad.10	WalkQSAT	SAT	3.73
ncf_16_32_8_euad.2	WalkQSAT	UNSAT	3.44
ncf_16_32_8_euad.3	semprop	SAT	8.59
ncf_16_32_8_euad.4	WalkQSAT	SAT	0.58
ncf_16_32_8_euad.5	WalkQSAT	UNSAT	1.07
ncf_16_32_8_euad.6	WalkQSAT	SAT	9.95
ncf_16_32_8_euad.7	WalkQSAT	SAT	1.08
ncf_16_32_8_euad.8	WalkQSAT	UNSAT	0.19
ncf_16_32_8_u.10	ssolve-ut	SAT	3.39
ncf_16_32_8_u.3	ssolve-ut	SAT	2.16
ncf_16_32_8_u.4	WalkQSAT	SAT	0.48
ncf_16_32_8_u.5	WalkQSAT	UNSAT	3.08
ncf_16_32_8_u.6	ssolve-ut	SAT	6.36
ncf_16_32_8_u.7	WalkQSAT	SAT	1.43
ncf_16_32_8_u.8	WalkQSAT	UNSAT	0.13
ncf_4_16_2_d.1	qube5.0	UNSAT	0.05
ncf_4_16_2_d.10	qube5.0	UNSAT	0.06
ncf_4_16_2_d.2	SQBF	SAT	0
ncf_4_16_2_d.3	qube5.0	UNSAT	0.2
ncf_4_16_2_d.4	QUANTOR	SAT	0
ncf_4_16_2_d.5	qube5.0	UNSAT	0.07
ncf_4_16_2_d.6	preQuantor	SAT	0
ncf_4_16_2_d.7	qube5.0	SAT	0.05
ncf_4_16_2_d.8	qube5.0	SAT	0.07
ncf_4_16_2_d.9	semprop	SAT	0
ncf_4_16_2_edau.1	qube4.0	UNSAT	0.05
ncf_4_16_2_edau.10	qube4.0	UNSAT	0.05
ncf_4_16_2_edau.2	2clsQ	SAT	0
ncf_4_16_2_edau.3	qube5.0	UNSAT	0.16
ncf_4_16_2_edau.4	sKizzo-0.9-grn	SAT	0
ncf_4_16_2_edau.5	WalkQSAT	UNSAT	0.08
ncf_4_16_2_edau.6	QUANTOR_hc	SAT	0
ncf_4_16_2_edau.7	semprop	SAT	0.02
ncf_4_16_2_edau.8	qube4.0	SAT	0.11
ncf_4_16_2_edau.9	semprop	SAT	0.01
ncf_4_16_2_euad.1	WalkQSAT	UNSAT	0.04
ncf_4_16_2_euad.10	ssolve+ut	UNSAT	0.2
ncf_4_16_2_euad.2	WalkQSAT	SAT	0.01
ncf_4_16_2_euad.3	ssolve+ut	UNSAT	1.21
ncf_4_16_2_euad.4	SQBF	SAT	0.02
ncf_4_16_2_euad.5	WalkQSAT	UNSAT	0.05
ncf_4_16_2_euad.6	qube5.0	SAT	0
ncf_4_16_2_euad.7	qube5.0	SAT	0.02
ncf_4_16_2_euad.8	qube5.0	SAT	0.22
ncf_4_16_2_euad.9	2clsQ	SAT	0
ncf_4_16_2_u.1	qube3.0	UNSAT	0.26
ncf_4_16_2_u.10	ssolve+ut	UNSAT	0.15
ncf_4_16_2_u.2	WalkQSAT	SAT	0.01
ncf_4_16_2_u.3	qube4.0	UNSAT	0.79
ncf_4_16_2_u.4	QUANTOR	SAT	0.01
ncf_4_16_2_u.5	WalkQSAT	UNSAT	0.05
ncf_4_16_2_u.6	semprop	SAT	0.01
ncf_4_16_2_u.7	semprop	SAT	0.01
ncf_4_16_2_u.8	qube4.0	SAT	0.26
ncf_4_16_2_u.9	QUANTOR	SAT	0
ncf_4_16_4_d.1	sKizzo-0.9-std	SAT	0
ncf_4_16_4_d.10	ssolve+ut	UNSAT	0.16
ncf_4_16_4_d.2	qube4.0	SAT	0.23
ncf_4_16_4_d.3	qube4.0	SAT	5.27
ncf_4_16_4_d.4	qube4.0	UNSAT	0.1
ncf_4_16_4_d.5	sKizzo-0.9-abs	SAT	0
ncf_4_16_4_d.6	sSolve	UNSAT	0.12
ncf_4_16_4_d.7	qube4.0	SAT	0.14
ncf_4_16_4_d.8	sKizzo-0.9-abs	SAT	0
ncf_4_16_4_d.9	semprop	SAT	0.05
ncf_4_16_4_edau.1	2clsQ	SAT	0
ncf_4_16_4_edau.10	sSolve	UNSAT	0.24
ncf_4_16_4_edau.2	qube4.0	SAT	0.23
ncf_4_16_4_edau.3	qube4.0	SAT	0.24
ncf_4_16_4_edau.4	qube4.0	UNSAT	0.1
ncf_4_16_4_edau.5	sKizzo-0.9-abs	SAT	0
ncf_4_16_4_edau.6	semprop	UNSAT	0.05
ncf_4_16_4_edau.7	qube4.0	SAT	0.16
ncf_4_16_4_edau.8	sKizzo-0.9-std	SAT	0
ncf_4_16_4_edau.9	semprop	SAT	0.03
ncf_4_16_4_euad.1	2clsQ	SAT	0
ncf_4_16_4_euad.10	sSolve	UNSAT	0.1
ncf_4_16_4_euad.2	qube5.0	SAT	4.19
ncf_4_16_4_euad.3	qube5.0	SAT	9.06
ncf_4_16_4_euad.4	qube4.0	UNSAT	2.06
ncf_4_16_4_euad.5	WalkQSAT	SAT	0.02
ncf_4_16_4_euad.6	sSolve	UNSAT	0.17
ncf_4_16_4_euad.7	qube4.0	SAT	0.89
ncf_4_16_4_euad.8	preQuantor	SAT	0.01
ncf_4_16_4_euad.9	WalkQSAT	SAT	0.06
ncf_4_16_4_u.1	SQBF	SAT	0.01
ncf_4_16_4_u.10	ssolve+ut	UNSAT	0.2
ncf_4_16_4_u.2	qube4.0	SAT	13.92
ncf_4_16_4_u.3	qube5.0	SAT	0.63
ncf_4_16_4_u.4	qube5.0	UNSAT	0.52
ncf_4_16_4_u.5	WalkQSAT	SAT	0.02
ncf_4_16_4_u.6	ssolve+ut	UNSAT	0.2
ncf_4_16_4_u.7	qube4.0	SAT	0.82
ncf_4_16_4_u.8	QUANTOR_hc	SAT	0.01
ncf_4_16_4_u.9	semprop	SAT	0.01
ncf_4_16_8_d.1	qube5.0	SAT	1465.85
ncf_4_16_8_d.10	WalkQSAT	SAT	27.35
ncf_4_16_8_d.2	qube4.0	SAT	6.24
ncf_4_16_8_d.3	qube4.0	SAT	280.85
ncf_4_16_8_d.4	qube4.0	SAT	7.52
ncf_4_16_8_d.5	semprop	UNSAT	33.9
ncf_4_16_8_d.6	qube4.0	SAT	0.23
ncf_4_16_8_d.7	sKizzo-0.9-grn	SAT	0.01
ncf_4_16_8_d.8	qube4.0	UNSAT	2.14
ncf_4_16_8_d.9	semprop	SAT	75.25
ncf_4_16_8_euad.1	qube4.0	SAT	911.38
ncf_4_16_8_euad.10	qube4.0	SAT	0.68
ncf_4_16_8_euad.2	qube4.0	SAT	36.68
ncf_4_16_8_euad.4	semprop	SAT	216.13
ncf_4_16_8_euad.5	qube4.0	UNSAT	23.05
ncf_4_16_8_euad.6	semprop	SAT	514.24
ncf_4_16_8_euad.7	WalkQSAT	SAT	0.18
ncf_4_16_8_euad.8	qube4.0	UNSAT	2.62
ncf_4_16_8_euad.9	qube4.0	SAT	6.27
ncf_4_16_8_u.1	qube4.0	SAT	28.14
ncf_4_16_8_u.10	qube4.0	SAT	0.9
ncf_4_16_8_u.2	qube5.0	SAT	8.11
ncf_4_16_8_u.3	ssolve-ut	SAT	1155.48
ncf_4_16_8_u.4	WalkQSAT	SAT	3.53
ncf_4_16_8_u.5	qube4.0	UNSAT	47.98
ncf_4_16_8_u.6	ssolve-ut	SAT	173.98
ncf_4_16_8_u.7	WalkQSAT	SAT	0.23
ncf_4_16_8_u.8	WalkQSAT	UNSAT	57.44
ncf_4_16_8_u.9	qube4.0	SAT	5.56
ncf_4_32_2_edau.1	yQuaffle	UNSAT	0.02
ncf_4_32_2_edau.10	semprop	SAT	1.5
ncf_4_32_2_edau.2	qube5.0	SAT	0.03
ncf_4_32_2_edau.3	ssolve+ut	UNSAT	0.18
ncf_4_32_2_edau.4	yQuaffle	UNSAT	0.04
ncf_4_32_2_edau.5	sSolve	UNSAT	0.36
ncf_4_32_2_edau.6	qube4.0	UNSAT	0.54
ncf_4_32_2_edau.7	semprop	SAT	7.56
ncf_4_32_2_edau.8	semprop	SAT	0.31
ncf_4_32_2_edau.9	semprop	UNSAT	0.02
ncf_4_32_2_u.1	WalkQSAT	UNSAT	0.06
ncf_4_32_2_u.10	semprop	SAT	3.04
ncf_4_32_2_u.2	semprop	SAT	0.02
ncf_4_32_2_u.3	sSolve	UNSAT	0.14
ncf_4_32_2_u.4	ssolve+ut	UNSAT	0.15
ncf_4_32_2_u.5	ssolve+ut	UNSAT	0.36
ncf_4_32_2_u.6	ssolve+ut	UNSAT	2.62
ncf_4_32_2_u.7	semprop	SAT	58.38
ncf_4_32_2_u.8	semprop	SAT	0.24
ncf_4_32_2_u.9	semprop	UNSAT	0.12
ncf_4_8_2_euad.1	2clsQ	UNSAT	0
ncf_4_8_2_euad.10	WalkQSAT	SAT	0
ncf_4_8_2_euad.2	qube4.0	SAT	0
ncf_4_8_2_euad.3	WalkQSAT	UNSAT	0.01
ncf_4_8_2_euad.4	yQuaffle	UNSAT	0
ncf_4_8_2_euad.5	semprop	SAT	0
ncf_4_8_2_euad.6	QUANTOR_hc	SAT	0.01
ncf_4_8_2_euad.7	SQBF	UNSAT	0
ncf_4_8_2_euad.8	QUANTOR_hc	SAT	0
ncf_4_8_2_euad.9	2clsQ	SAT	0
ncf_4_8_2_u.1	2clsQ	UNSAT	0
ncf_4_8_2_u.10	QUANTOR	SAT	0
ncf_4_8_2_u.2	semprop	SAT	0
ncf_4_8_2_u.3	yQuaffle	UNSAT	0
ncf_4_8_2_u.4	QUANTOR	UNSAT	0
ncf_4_8_2_u.5	semprop	SAT	0
ncf_4_8_2_u.6	QUANTOR	SAT	0.01
ncf_4_8_2_u.7	WalkQSAT	UNSAT	0
ncf_4_8_2_u.8	2clsQ	SAT	0
ncf_4_8_2_u.9	semprop	SAT	0
ncf_4_8_4_euad.1	semprop	SAT	0.05
ncf_4_8_4_euad.10	qube3.0	SAT	0.07
ncf_4_8_4_euad.2	2clsQ	UNSAT	0
ncf_4_8_4_euad.3	WalkQSAT	UNSAT	0.01
ncf_4_8_4_euad.4	WalkQSAT	UNSAT	0.09
ncf_4_8_4_euad.5	QUANTOR_hc	SAT	0
ncf_4_8_4_euad.6	WalkQSAT	SAT	0.01
ncf_4_8_4_euad.7	WalkQSAT	UNSAT	0.02
ncf_4_8_4_euad.8	WalkQSAT	UNSAT	0.02
ncf_4_8_4_euad.9	semprop	SAT	0
ncf_4_8_4_u.1	WalkQSAT	SAT	0.06
ncf_4_8_4_u.10	qube3.0	SAT	0.05
ncf_4_8_4_u.2	semprop	UNSAT	0
ncf_4_8_4_u.3	yQuaffle	UNSAT	0.01
ncf_4_8_4_u.4	qube4.0	UNSAT	0.08
ncf_4_8_4_u.5	QUANTOR	SAT	0
ncf_4_8_4_u.6	semprop	SAT	0.01
ncf_4_8_4_u.7	WalkQSAT	UNSAT	0.01
ncf_4_8_4_u.8	semprop	UNSAT	0.01
ncf_4_8_4_u.9	QUANTOR	SAT	0
ncf_4_8_8_d.1	sKizzo-0.9-abs	SAT	0
ncf_4_8_8_d.10	qube5.0	SAT	1.7
ncf_4_8_8_d.2	qube4.0	UNSAT	0.17
ncf_4_8_8_d.3	sKizzo-0.9-grn	SAT	0
ncf_4_8_8_d.4	semprop	SAT	0.02
ncf_4_8_8_d.5	sKizzo-0.9-grn	UNSAT	0.01
ncf_4_8_8_d.6	qube4.0	UNSAT	1.18
ncf_4_8_8_d.7	qube5.0	SAT	0.29
ncf_4_8_8_d.8	sKizzo-0.9-abs	SAT	0.01
ncf_4_8_8_d.9	sKizzo-0.9-std	UNSAT	0
ncf_4_8_8_edau.1	sKizzo-0.9-grn	SAT	0
ncf_4_8_8_edau.10	qube4.0	SAT	0.38
ncf_4_8_8_edau.2	qube4.0	UNSAT	0.13
ncf_4_8_8_edau.3	sKizzo-0.9-abs	SAT	0.01
ncf_4_8_8_edau.4	semprop	SAT	0.02
ncf_4_8_8_edau.5	WalkQSAT	UNSAT	0.01
ncf_4_8_8_edau.6	qube4.0	UNSAT	0.35
ncf_4_8_8_edau.7	qube4.0	SAT	0.2
ncf_4_8_8_edau.8	2clsQ	SAT	0.01
ncf_4_8_8_edau.9	2clsQ	UNSAT	0.01
ncf_4_8_8_euad.1	qube3.0	SAT	0.08
ncf_4_8_8_euad.10	qube4.0	SAT	1.96
ncf_4_8_8_euad.2	qube4.0	UNSAT	1.47
ncf_4_8_8_euad.3	qube3.0	SAT	0.08
ncf_4_8_8_euad.4	semprop	SAT	0.02
ncf_4_8_8_euad.5	WalkQSAT	UNSAT	0.04
ncf_4_8_8_euad.6	WalkQSAT	UNSAT	0.1
ncf_4_8_8_euad.7	qube4.0	SAT	3.67
ncf_4_8_8_euad.8	WalkQSAT	SAT	0.04
ncf_4_8_8_euad.9	QUANTOR	UNSAT	0
ncf_4_8_8_u.1	qube3.0	SAT	0.08
ncf_4_8_8_u.10	ssolve-ut	SAT	1.17
ncf_4_8_8_u.2	qube5.0	UNSAT	0.71
ncf_4_8_8_u.3	qube3.0	SAT	0.09
ncf_4_8_8_u.4	semprop	SAT	0.01
ncf_4_8_8_u.5	WalkQSAT	UNSAT	0.02
ncf_4_8_8_u.6	WalkQSAT	UNSAT	0.11
ncf_4_8_8_u.7	ssolve-ut	SAT	1.43
ncf_4_8_8_u.8	WalkQSAT	SAT	0.05
ncf_4_8_8_u.9	QUANTOR	UNSAT	0
ncf_8_16_4_d.1	sKizzo-0.9-abs	SAT	0
ncf_8_16_4_d.10	sKizzo-0.9-abs	SAT	0
ncf_8_16_4_d.2	2clsQ	UNSAT	0
ncf_8_16_4_d.3	qube4.0	SAT	0.75
ncf_8_16_4_d.4	sKizzo-0.9-std	SAT	0
ncf_8_16_4_d.5	WalkQSAT	UNSAT	0
ncf_8_16_4_d.6	SQBF	UNSAT	0
ncf_8_16_4_d.7	qube4.0	SAT	1.24
ncf_8_16_4_d.8	2clsQ	UNSAT	0
ncf_8_16_4_d.9	WalkQSAT	UNSAT	0.2
ncf_8_16_4_edau.1	semprop	SAT	0
ncf_8_16_4_edau.10	QUANTOR	SAT	0
ncf_8_16_4_edau.2	semprop	UNSAT	0
ncf_8_16_4_edau.3	semprop	SAT	0.5
ncf_8_16_4_edau.4	sKizzo-0.9-abs	SAT	0.01
ncf_8_16_4_edau.5	Qbfl	UNSAT	0
ncf_8_16_4_edau.6	SQBF	UNSAT	0
ncf_8_16_4_edau.7	semprop	SAT	0.19
ncf_8_16_4_edau.8	2clsQ	UNSAT	0
ncf_8_16_4_edau.9	qube5.0	UNSAT	0.5
ncf_8_16_4_euad.1	sKizzo-0.9-std	SAT	0
ncf_8_16_4_euad.10	qube4.0	SAT	0.02
ncf_8_16_4_euad.2	SQBF	UNSAT	0
ncf_8_16_4_euad.3	semprop	SAT	22.41
ncf_8_16_4_euad.4	WalkQSAT	SAT	0.05
ncf_8_16_4_euad.5	WalkQSAT	UNSAT	0
ncf_8_16_4_euad.6	WalkQSAT	UNSAT	0.01
ncf_8_16_4_euad.7	ssolve-ut	SAT	0.57
ncf_8_16_4_euad.8	WalkQSAT	UNSAT	0
ncf_8_16_4_euad.9	WalkQSAT	UNSAT	0.1
ncf_8_16_4_u.1	sKizzo-0.9-std	SAT	0
ncf_8_16_4_u.10	WalkQSAT	SAT	0.03
ncf_8_16_4_u.2	SQBF	UNSAT	0
ncf_8_16_4_u.3	semprop	SAT	0.21
ncf_8_16_4_u.4	WalkQSAT	SAT	0.04
ncf_8_16_4_u.5	QUANTOR	UNSAT	0
ncf_8_16_4_u.6	WalkQSAT	UNSAT	0.03
ncf_8_16_4_u.7	semprop	SAT	0.24
ncf_8_16_4_u.8	semprop	UNSAT	0.02
ncf_8_16_4_u.9	sSolve	UNSAT	1.23
ncf_8_16_8_d.1	QUANTOR	SAT	0.01
ncf_8_16_8_d.10	qube5.0	SAT	1.95
ncf_8_16_8_d.2	qube4.0	SAT	37
ncf_8_16_8_d.3	qube4.0	SAT	4.06
ncf_8_16_8_d.4	semprop	UNSAT	135.77
ncf_8_16_8_d.5	qube4.0	SAT	4
ncf_8_16_8_d.6	WalkQSAT	UNSAT	0.04
ncf_8_16_8_d.7	WalkQSAT	UNSAT	0.08
ncf_8_16_8_d.8	semprop	UNSAT	6.41
ncf_8_16_8_d.9	qube4.0	UNSAT	0.36
ncf_8_16_8_edau.1	2clsQ	SAT	0.01
ncf_8_16_8_edau.10	qube4.0	SAT	0.59
ncf_8_16_8_edau.2	qube4.0	SAT	10.99
ncf_8_16_8_edau.3	qube4.0	SAT	0.65
ncf_8_16_8_edau.4	qube4.0	UNSAT	62.81
ncf_8_16_8_edau.5	qube4.0	SAT	11.42
ncf_8_16_8_edau.6	WalkQSAT	UNSAT	0.03
ncf_8_16_8_edau.7	qube5.0	UNSAT	0.13
ncf_8_16_8_edau.8	WalkQSAT	UNSAT	0.21
ncf_8_16_8_edau.9	qube4.0	UNSAT	0.31
ncf_8_16_8_euad.1	2clsQ	SAT	0.01
ncf_8_16_8_euad.10	ssolve-ut	SAT	17.1
ncf_8_16_8_euad.2	qube4.0	SAT	230.47
ncf_8_16_8_euad.3	qube5.0	SAT	239.11
ncf_8_16_8_euad.4	ssolve-ut	UNSAT	473.28
ncf_8_16_8_euad.5	ssolve-ut	SAT	307.93
ncf_8_16_8_euad.6	WalkQSAT	UNSAT	0.04
ncf_8_16_8_euad.7	WalkQSAT	UNSAT	0.15
ncf_8_16_8_euad.8	semprop	UNSAT	4.53
ncf_8_16_8_euad.9	qube5.0	UNSAT	1.04

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Sota solver results for family CounterFactual
QBFEVAL'06

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Sota solver results for family CounterFactual QBFEVAL'06

Sota solver results for family CounterFactual
QBFEVAL'06