Instances of family CounterFactual solved by <a href='solver_detail.php?solver=41'>2clsQ</a> <br> QBFEVAL'06

Instances of family CounterFactual solved by 2clsQ
QBFEVAL'06

Instance	Result	Time
ncf_4_8_2_u.8	SAT	0
ncf_8_16_4_euad.1	SAT	0
ncf_4_16_4_euad.1	SAT	0
ncf_4_8_2_u.9	SAT	0
ncf_4_8_2_u.1	UNSAT	0
ncf_4_8_4_euad.2	UNSAT	0
ncf_8_16_4_d.2	UNSAT	0
ncf_4_16_2_edau.2	SAT	0
ncf_4_8_2_euad.5	SAT	0
ncf_8_16_4_edau.8	UNSAT	0
ncf_4_8_2_euad.9	SAT	0
ncf_4_8_2_euad.1	UNSAT	0
ncf_4_16_4_edau.1	SAT	0
ncf_4_8_4_u.2	UNSAT	0
ncf_4_16_2_u.9	SAT	0
ncf_4_8_4_u.5	SAT	0
ncf_4_8_2_u.7	UNSAT	0
ncf_8_16_4_d.8	UNSAT	0
ncf_4_16_2_euad.9	SAT	0
ncf_16_32_2_d.9	UNSAT	0.01
ncf_4_16_4_d.1	SAT	0.01
ncf_4_8_8_edau.9	UNSAT	0.01
ncf_4_16_4_d.8	SAT	0.01
ncf_8_16_4_u.2	UNSAT	0.01
ncf_4_16_2_edau.4	SAT	0.01
ncf_4_8_8_d.5	UNSAT	0.01
ncf_8_16_8_edau.1	SAT	0.01
ncf_16_32_2_edau.9	UNSAT	0.01
ncf_8_16_8_euad.1	SAT	0.01
ncf_8_16_4_d.1	SAT	0.01
ncf_16_32_4_d.9	SAT	0.01
ncf_4_8_2_euad.10	SAT	0.01
ncf_16_32_2_d.6	SAT	0.01
ncf_16_32_2_edau.6	SAT	0.01
ncf_4_8_2_u.5	SAT	0.01
ncf_8_16_4_edau.2	UNSAT	0.01
ncf_4_8_8_u.9	UNSAT	0.01
ncf_4_8_4_u.9	SAT	0.01
ncf_8_16_4_u.1	SAT	0.01
ncf_4_16_4_edau.8	SAT	0.01
ncf_4_8_2_euad.7	UNSAT	0.01
ncf_4_8_8_d.9	UNSAT	0.01
ncf_4_16_2_edau.6	SAT	0.01
ncf_4_16_4_u.8	SAT	0.01
ncf_4_8_2_euad.8	SAT	0.01
ncf_4_8_4_euad.9	SAT	0.01
ncf_4_16_2_d.6	SAT	0.01
ncf_4_8_8_euad.9	UNSAT	0.01
ncf_8_16_4_euad.5	UNSAT	0.01
ncf_8_16_4_edau.10	SAT	0.01
ncf_4_8_8_edau.8	SAT	0.01
ncf_8_16_4_euad.2	UNSAT	0.02
ncf_8_16_4_d.10	SAT	0.02
ncf_16_32_4_edau.9	SAT	0.02
ncf_16_32_2_d.7	UNSAT	0.02
ncf_16_32_2_u.9	UNSAT	0.02
ncf_8_16_4_u.5	UNSAT	0.02
ncf_4_16_2_d.9	SAT	0.02
ncf_8_16_4_edau.6	UNSAT	0.02
ncf_8_16_4_edau.1	SAT	0.02
ncf_4_16_2_edau.9	SAT	0.02
ncf_8_16_4_d.5	UNSAT	0.02
ncf_4_16_2_d.2	SAT	0.02
ncf_4_8_8_d.8	SAT	0.02
ncf_4_8_4_euad.5	SAT	0.02
ncf_8_16_4_edau.5	UNSAT	0.02
ncf_8_16_4_d.6	UNSAT	0.02
ncf_4_8_2_euad.4	UNSAT	0.03
ncf_4_16_2_u.4	SAT	0.03
ncf_4_8_2_euad.6	SAT	0.03
ncf_4_16_4_u.1	SAT	0.03
ncf_4_16_2_d.4	SAT	0.03
ncf_4_8_8_edau.5	UNSAT	0.03
ncf_4_16_4_euad.8	SAT	0.03
ncf_4_16_2_euad.4	SAT	0.03
ncf_16_32_4_edau.7	UNSAT	0.03
ncf_8_16_8_d.1	SAT	0.03
ncf_16_32_4_d.10	UNSAT	0.03
ncf_4_8_2_u.4	UNSAT	0.03
ncf_4_8_2_u.10	SAT	0.03
ncf_16_32_4_edau.10	UNSAT	0.03
ncf_16_32_2_euad.9	UNSAT	0.03
ncf_16_32_4_d.7	UNSAT	0.04
ncf_4_8_2_u.6	SAT	0.04
ncf_16_32_8_d.4	SAT	0.06
ncf_16_32_8_edau.4	SAT	0.06
ncf_4_32_2_edau.1	UNSAT	0.07
ncf_4_8_8_edau.1	SAT	0.09
ncf_4_16_2_u.6	SAT	0.1
ncf_4_8_8_d.3	SAT	0.1
ncf_4_16_2_euad.6	SAT	0.12
ncf_4_16_4_d.9	SAT	0.15
ncf_4_8_8_edau.3	SAT	0.17
ncf_16_32_2_euad.7	UNSAT	0.19
ncf_4_8_8_euad.3	SAT	0.21
ncf_4_8_8_u.1	SAT	0.22
ncf_4_8_8_u.3	SAT	0.26
ncf_4_8_8_d.1	SAT	0.34
ncf_4_16_2_edau.7	SAT	0.36
ncf_4_16_2_d.7	SAT	0.42
ncf_4_8_2_u.2	SAT	0.51
ncf_4_8_4_euad.8	UNSAT	0.6
ncf_4_16_2_euad.2	SAT	0.65
ncf_4_16_2_u.2	SAT	0.66
ncf_4_8_2_euad.2	SAT	0.78
ncf_4_8_4_u.8	UNSAT	0.8
ncf_4_16_4_euad.9	SAT	0.92
ncf_4_16_4_edau.9	SAT	1.16
ncf_16_32_2_edau.7	UNSAT	2.17
ncf_4_8_4_euad.10	SAT	2.27
ncf_4_16_4_u.9	SAT	2.43
ncf_4_8_4_euad.6	SAT	3.27
ncf_4_8_4_u.10	SAT	3.38
ncf_4_16_4_edau.5	SAT	3.6
ncf_8_16_8_edau.6	UNSAT	3.64
ncf_4_16_4_d.5	SAT	3.82
ncf_4_16_4_u.5	SAT	3.98
ncf_4_16_4_euad.5	SAT	6.09
ncf_4_8_8_euad.1	SAT	7.32
ncf_4_8_4_u.6	SAT	8.57
ncf_4_8_4_euad.1	SAT	20.73
ncf_4_8_8_u.6	UNSAT	21.69
ncf_4_8_8_edau.6	UNSAT	21.71
ncf_4_8_8_euad.6	UNSAT	21.76
ncf_8_16_4_euad.6	UNSAT	24.82
ncf_4_8_8_euad.4	SAT	24.98
ncf_4_8_8_u.4	SAT	26.42
ncf_4_8_4_u.4	UNSAT	27.47
ncf_4_8_4_euad.3	UNSAT	27.95
ncf_8_16_4_u.6	UNSAT	28.52
ncf_4_8_4_euad.7	UNSAT	30.08
ncf_4_16_2_u.8	SAT	31.61
ncf_4_16_2_u.10	UNSAT	31.93
ncf_4_16_2_d.8	SAT	32.51
ncf_4_16_2_edau.1	UNSAT	32.63
ncf_8_16_4_euad.8	UNSAT	33.24
ncf_4_16_2_d.1	UNSAT	33.29
ncf_4_8_4_u.1	SAT	34.89
ncf_4_16_2_u.5	UNSAT	35.68
ncf_4_16_2_d.10	UNSAT	36.6
ncf_4_8_8_d.4	SAT	37.95
ncf_4_16_2_euad.10	UNSAT	38.71
ncf_4_16_2_euad.5	UNSAT	39.04
ncf_4_8_2_u.3	UNSAT	40.3
ncf_4_8_8_d.6	UNSAT	41.61
ncf_4_16_2_d.3	UNSAT	43.8
ncf_4_8_4_u.7	UNSAT	44.83
ncf_4_16_2_edau.3	UNSAT	44.93
ncf_4_16_2_euad.8	SAT	46.11
ncf_4_8_4_u.3	UNSAT	47.8
ncf_4_16_2_d.5	UNSAT	48.74
ncf_4_8_8_u.5	UNSAT	49.16
ncf_4_16_4_edau.4	UNSAT	49.26
ncf_16_32_2_u.7	UNSAT	51.51
ncf_8_16_4_euad.10	SAT	53.86
ncf_4_16_2_edau.10	UNSAT	57.26
ncf_4_16_4_u.7	SAT	58.2
ncf_4_16_2_u.1	UNSAT	58.89
ncf_4_8_8_u.2	UNSAT	59.24
ncf_4_16_4_d.4	UNSAT	60.52
ncf_4_16_2_u.3	UNSAT	62.08
ncf_4_8_8_edau.2	UNSAT	63.04
ncf_4_16_4_d.7	SAT	67.2
ncf_4_8_8_euad.2	UNSAT	70.25
ncf_4_8_8_edau.4	SAT	71.32
ncf_4_16_2_euad.1	UNSAT	83.46
ncf_8_16_4_u.8	UNSAT	89.47
ncf_4_16_4_edau.6	UNSAT	89.5
ncf_4_16_4_edau.7	SAT	94.69
ncf_4_16_4_edau.10	UNSAT	103.2
ncf_4_8_4_euad.4	UNSAT	106.07
ncf_8_16_4_edau.7	SAT	112.8
ncf_4_8_8_d.2	UNSAT	116.24
ncf_4_8_8_u.7	SAT	116.48
ncf_4_8_8_euad.10	SAT	117.68
ncf_4_8_8_d.7	SAT	123.72
ncf_4_8_8_edau.7	SAT	125.47
ncf_4_16_4_d.6	UNSAT	137.41
ncf_4_8_8_euad.8	SAT	143.36
ncf_4_8_8_d.10	SAT	145.28
ncf_4_16_2_u.7	SAT	149.95
ncf_4_16_2_euad.7	SAT	150.07
ncf_4_8_2_euad.3	UNSAT	152.16
ncf_4_16_2_edau.5	UNSAT	152.51
ncf_4_16_2_edau.8	SAT	152.89
ncf_4_8_8_edau.10	SAT	163.09
ncf_4_32_2_u.2	SAT	186.86
ncf_8_16_8_edau.7	UNSAT	199.44
ncf_4_16_2_euad.3	UNSAT	200.18
ncf_4_16_4_u.4	UNSAT	201.94
ncf_4_8_8_euad.7	SAT	212.18
ncf_4_16_4_edau.3	SAT	213.56
ncf_4_8_8_euad.5	UNSAT	216.16
ncf_4_16_8_d.9	SAT	224.51
ncf_4_32_2_edau.2	SAT	239.54
ncf_4_16_4_euad.7	SAT	262.68
ncf_4_16_4_u.3	SAT	263.11
ncf_4_16_8_u.5	UNSAT	280.86
ncf_4_16_4_u.10	UNSAT	312.66
ncf_4_16_4_u.2	SAT	316.61
ncf_8_16_8_edau.8	UNSAT	330.04
ncf_4_16_4_edau.2	SAT	338.25
ncf_4_8_8_u.8	SAT	346.83
ncf_8_16_4_d.7	SAT	349.85
ncf_4_16_8_u.10	SAT	374.66
ncf_4_8_8_u.10	SAT	395.59
ncf_4_16_8_d.10	SAT	447.31
ncf_4_16_4_d.3	SAT	450.96
ncf_8_16_8_d.7	UNSAT	461.16
ncf_4_16_4_d.2	SAT	474.29
ncf_8_16_4_edau.4	SAT	519.35
ncf_4_16_4_euad.10	UNSAT	552.75
ncf_4_16_4_d.10	UNSAT	666.33
ncf_8_16_4_d.4	SAT	773.17
ncf_8_16_4_d.9	UNSAT	838.24
ncf_8_16_4_u.10	SAT	884.28
ncf_8_16_8_euad.7	UNSAT	932.72
ncf_4_16_8_d.5	UNSAT	1067.4
ncf_4_32_2_edau.4	UNSAT	1214.8
ncf_4_16_4_euad.3	SAT	1403.55
ncf_4_16_8_d.7	SAT	1706.21
ncf_4_16_8_d.6	SAT	1721.22
ncf_8_16_4_edau.9	UNSAT	1764.55
ncf_4_16_8_d.1	SAT	1961.16
ncf_4_16_8_euad.10	SAT	1965.76
ncf_8_16_8_edau.9	UNSAT	2052.14
ncf_8_16_8_edau.4	FAIL	2431.2
ncf_8_16_4_edau.3	SAT	2484.09
ncf_4_16_8_d.8	UNSAT	2653.2
ncf_4_16_8_u.8	UNSAT	2669.77
ncf_8_16_8_euad.2	SAT	2769.56
ncf_4_32_2_edau.6	UNSAT	3561.42
ncf_8_16_8_d.9	UNSAT	3620.86
ncf_4_32_2_u.8	SAT	3661.9
ncf_8_16_8_d.4	FAIL	3969.28
ncf_4_32_2_edau.8	SAT	4440.54
ncf_4_32_2_edau.9	UNSAT	4947.07
ncf_8_16_8_d.8	UNSAT	5580.2
ncf_16_32_2_u.6	FAIL	5729.91
ncf_16_32_2_euad.6	FAIL	5803
ncf_8_16_4_euad.7	FAIL	5808.1
ncf_16_32_2_euad.4	FAIL	5858.06
ncf_16_32_2_u.1	FAIL	5858.73
ncf_16_32_4_euad.3	FAIL	5872.79
ncf_16_32_2_euad.10	FAIL	5874.14
ncf_16_32_2_u.4	FAIL	5889.94
ncf_16_32_2_euad.1	FAIL	5890.64
ncf_16_32_2_u.10	FAIL	5893.47
ncf_16_32_4_u.3	FAIL	5913.21
ncf_16_32_2_euad.8	FAIL	5924.48
ncf_16_32_2_euad.5	FAIL	5928.1
ncf_16_32_2_u.3	FAIL	5931.85
ncf_16_32_2_u.8	FAIL	5937.56
ncf_4_32_2_edau.7	SAT	5939.48
ncf_4_16_8_euad.1	FAIL	5949.54
ncf_16_32_2_euad.3	FAIL	5951.28
ncf_16_32_2_u.5	FAIL	5961.13
ncf_4_32_2_u.9	FAIL	5963.96
ncf_16_32_4_euad.9	FAIL	5967.39
ncf_16_32_4_edau.1	FAIL	5969.4
ncf_16_32_4_u.9	FAIL	5975.18
ncf_4_16_4_u.6	FAIL	5976.19
ncf_4_32_2_u.6	FAIL	5981.23
ncf_4_32_2_u.1	FAIL	5985.99
ncf_4_32_2_u.5	FAIL	5986.65
ncf_16_32_4_d.1	FAIL	5987.47
ncf_16_32_2_edau.4	FAIL	5987.58
ncf_4_16_4_euad.6	FAIL	5990.31
ncf_16_32_2_d.4	FAIL	5990.42
ncf_4_16_8_euad.9	FAIL	5990.52
ncf_16_32_4_u.6	FAIL	5990.58
ncf_16_32_4_u.4	FAIL	5991.45
ncf_16_32_2_edau.1	FAIL	5992.04
ncf_8_16_4_u.3	FAIL	5993.06
ncf_4_16_8_u.6	FAIL	5993.95
ncf_16_32_2_edau.10	FAIL	5994.24
ncf_16_32_2_d.10	FAIL	5994.97
ncf_8_16_4_u.4	FAIL	5996.78
ncf_16_32_4_u.7	FAIL	5998.24
ncf_16_32_2_d.1	FAIL	5998.41
ncf_16_32_4_euad.6	FAIL	5998.66
ncf_8_16_4_u.7	FAIL	5999.42
ncf_16_32_2_u.2	FAIL	5999.49
ncf_8_16_4_u.9	FAIL	5999.56
ncf_16_32_4_euad.4	FAIL	5999.92
ncf_4_32_2_u.3	FAIL	5999.99
ncf_8_16_8_edau.3	FAIL	6000.03
ncf_4_16_8_d.4	FAIL	6000.42
ncf_16_32_8_u.3	FAIL	6000.42
ncf_8_16_8_euad.3	FAIL	6000.42
ncf_16_32_4_d.4	FAIL	6000.42
ncf_16_32_4_euad.7	FAIL	6000.42
ncf_16_32_2_edau.5	FAIL	6000.42
ncf_8_16_4_euad.4	FAIL	6000.42
ncf_8_16_8_d.3	FAIL	6000.42
ncf_16_32_8_edau.7	FAIL	6000.42
ncf_16_32_4_u.8	FAIL	6000.42
ncf_16_32_4_u.10	FAIL	6000.42
ncf_16_32_8_u.7	FAIL	6000.42
ncf_8_16_8_d.2	FAIL	6000.42
ncf_16_32_8_euad.2	FAIL	6000.42
ncf_8_16_8_d.10	FAIL	6000.42
ncf_4_16_8_u.9	FAIL	6000.42
ncf_8_16_8_euad.6	FAIL	6000.42
ncf_8_16_4_euad.3	FAIL	6000.42
ncf_4_32_2_u.7	FAIL	6000.42
ncf_16_32_4_edau.4	FAIL	6000.42
ncf_16_32_4_u.1	FAIL	6000.42
ncf_16_32_8_d.7	FAIL	6000.42
ncf_16_32_8_u.9	FAIL	6000.42
ncf_16_32_8_euad.10	FAIL	6000.42
ncf_4_16_8_euad.6	FAIL	6000.42
ncf_4_16_8_u.1	FAIL	6000.42
ncf_16_32_2_d.5	FAIL	6000.42
ncf_4_16_8_euad.4	FAIL	6000.42
ncf_16_32_8_d.3	FAIL	6000.42
ncf_8_16_8_euad.9	FAIL	6000.42
ncf_4_16_8_u.4	FAIL	6000.42
ncf_16_32_2_edau.8	FAIL	6000.42
ncf_16_32_8_d.9	FAIL	6000.42
ncf_16_32_4_d.8	FAIL	6000.42
ncf_16_32_4_edau.3	FAIL	6000.42
ncf_4_32_2_u.10	FAIL	6000.42
ncf_16_32_4_u.2	FAIL	6000.42
ncf_16_32_8_d.2	FAIL	6000.42
ncf_4_16_8_euad.8	FAIL	6000.42
ncf_16_32_8_edau.8	FAIL	6000.42
ncf_16_32_4_edau.5	FAIL	6000.42
ncf_4_16_8_euad.3	FAIL	6000.42
ncf_16_32_8_d.1	FAIL	6000.42
ncf_4_16_8_euad.5	FAIL	6000.42
ncf_16_32_8_euad.3	FAIL	6000.42
ncf_16_32_4_euad.1	FAIL	6000.42
ncf_8_16_8_edau.10	FAIL	6000.42
ncf_16_32_8_d.8	FAIL	6000.42
ncf_8_16_4_d.3	FAIL	6000.42
ncf_16_32_8_u.2	FAIL	6000.42
ncf_16_32_8_euad.7	FAIL	6000.42
ncf_16_32_8_u.1	FAIL	6000.42
ncf_16_32_8_d.5	FAIL	6000.42
ncf_16_32_4_edau.2	FAIL	6000.42
ncf_16_32_2_d.8	FAIL	6000.42
ncf_4_16_8_u.2	FAIL	6000.42
ncf_16_32_2_edau.3	FAIL	6000.42
ncf_16_32_8_edau.1	FAIL	6000.42
ncf_8_16_8_euad.5	FAIL	6000.42
ncf_4_32_2_u.4	FAIL	6000.42
ncf_16_32_4_euad.8	FAIL	6000.42
ncf_16_32_8_d.10	FAIL	6000.42
ncf_16_32_8_u.4	FAIL	6000.42
ncf_16_32_4_d.5	FAIL	6000.42
ncf_16_32_2_euad.2	FAIL	6000.42
ncf_16_32_8_euad.4	FAIL	6000.42
ncf_8_16_8_euad.10	FAIL	6000.42
ncf_16_32_8_u.6	FAIL	6000.42
ncf_16_32_4_euad.10	FAIL	6000.42
ncf_8_16_8_edau.2	FAIL	6000.42
ncf_16_32_8_edau.5	FAIL	6000.42
ncf_16_32_8_edau.6	FAIL	6000.42
ncf_16_32_8_euad.8	FAIL	6000.42
ncf_4_16_4_euad.2	FAIL	6000.42
ncf_4_16_8_d.2	FAIL	6000.42
ncf_8_16_8_euad.4	FAIL	6000.42
ncf_16_32_8_u.10	FAIL	6000.42
ncf_8_16_8_edau.5	FAIL	6000.42
ncf_16_32_2_edau.2	FAIL	6000.42
ncf_16_32_8_edau.9	FAIL	6000.42
ncf_4_32_2_edau.5	FAIL	6000.42
ncf_16_32_8_euad.6	FAIL	6000.42
ncf_16_32_8_euad.1	FAIL	6000.42
ncf_4_16_8_u.3	FAIL	6000.42
ncf_16_32_4_u.5	FAIL	6000.42
ncf_16_32_8_u.8	FAIL	6000.42
ncf_4_16_8_u.7	FAIL	6000.42
ncf_4_16_8_d.3	FAIL	6000.42
ncf_4_16_8_euad.7	FAIL	6000.42
ncf_16_32_8_edau.10	FAIL	6000.42
ncf_4_32_2_edau.3	FAIL	6000.42
ncf_16_32_4_d.3	FAIL	6000.42
ncf_16_32_2_d.2	FAIL	6000.42
ncf_16_32_4_edau.8	FAIL	6000.42
ncf_8_16_8_euad.8	FAIL	6000.42
ncf_16_32_4_d.6	FAIL	6000.42
ncf_4_32_2_edau.10	FAIL	6000.42
ncf_16_32_8_euad.9	FAIL	6000.42
ncf_16_32_8_edau.3	FAIL	6000.42
ncf_16_32_4_euad.2	FAIL	6000.42
ncf_16_32_2_d.3	FAIL	6000.42
ncf_8_16_8_d.6	FAIL	6000.42
ncf_8_16_8_d.5	FAIL	6000.42
ncf_16_32_8_d.6	FAIL	6000.42
ncf_16_32_4_euad.5	FAIL	6000.42
ncf_16_32_8_euad.5	FAIL	6000.42
ncf_4_16_8_euad.2	FAIL	6000.42
ncf_16_32_4_d.2	FAIL	6000.42
ncf_16_32_8_u.5	FAIL	6000.42
ncf_4_16_4_euad.4	FAIL	6000.42
ncf_16_32_4_edau.6	FAIL	6000.42
ncf_16_32_8_edau.2	FAIL	6000.42
ncf_8_16_4_euad.9	FAIL	6000.42

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family CounterFactual solved by 2clsQ
QBFEVAL'06

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family CounterFactual solved by 2clsQ QBFEVAL'06

Instances of family CounterFactual solved by 2clsQ
QBFEVAL'06