Instances of family Abduction solved by <a href='solver_detail.php?solver=62'>AQME-C4.5</a> <br> QBFEVAL'07 - Evaluation of Suite Audemard as hors concours formulas.

Instances of family Abduction solved by AQME-C4.5
QBFEVAL'07 - Evaluation of Suite Audemard as hors concours formulas.

Instance	Result	Time
aim-50-2_0-yes1-4-50	SAT	0.56
aim-50-2_0-yes1-3-50	UNSAT	0.56
aim-50-1_6-yes1-2-00	SAT	0.56
aim-50-3_4-yes1-1-00	UNSAT	0.56
aim-50-6_0-yes1-2-00	UNSAT	0.56
aim-50-1_6-yes1-3-90	SAT	0.57
aim-50-2_0-yes1-4-90	SAT	0.57
aim-50-1_6-yes1-3-50	UNSAT	0.57
aim-50-1_6-yes1-1-00	SAT	0.57
aim-50-2_0-yes1-1-90	UNSAT	0.57
aim-50-1_6-yes1-2-90	UNSAT	0.57
aim-50-2_0-yes1-1-50	UNSAT	0.57
aim-50-1_6-yes1-3-00	SAT	0.57
aim-50-2_0-yes1-1-00	UNSAT	0.58
aim-50-3_4-yes1-2-50	SAT	0.58
aim-50-2_0-yes1-3-90	UNSAT	0.58
ii8a1-90	SAT	0.58
aim-50-2_0-yes1-4-00	UNSAT	0.58
par8-4-c-00	SAT	0.58
aim-50-6_0-yes1-1-90	SAT	0.58
aim-50-1_6-yes1-2-50	SAT	0.58
aim-50-1_6-yes1-1-50	SAT	0.58
aim-50-6_0-yes1-4-50	UNSAT	0.58
aim-50-3_4-yes1-1-50	UNSAT	0.59
aim-50-2_0-yes1-3-00	UNSAT	0.59
aim-100-1_6-yes1-2-50	SAT	0.59
aim-50-6_0-yes1-4-00	SAT	0.59
aim-50-3_4-yes1-3-90	UNSAT	0.59
aim-50-1_6-yes1-4-50	SAT	0.59
par8-1-c-90	UNSAT	0.59
aim-50-3_4-yes1-4-00	UNSAT	0.59
aim-100-1_6-yes1-1-50	SAT	0.59
aim-50-2_0-yes1-2-90	SAT	0.59
aim-50-2_0-yes1-2-00	UNSAT	0.59
par8-2-c-50	UNSAT	0.59
aim-50-1_6-yes1-1-90	UNSAT	0.59
aim-50-1_6-yes1-4-90	UNSAT	0.59
aim-100-2_0-yes1-4-50	UNSAT	0.59
aim-100-1_6-yes1-1-90	UNSAT	0.6
aim-100-1_6-yes1-4-50	UNSAT	0.6
aim-50-3_4-yes1-4-50	UNSAT	0.6
aim-50-6_0-yes1-2-50	UNSAT	0.6
ii8a1-50	SAT	0.6
aim-100-1_6-yes1-3-50	UNSAT	0.6
aim-50-3_4-yes1-2-00	SAT	0.6
aim-50-6_0-yes1-1-00	UNSAT	0.6
aim-50-3_4-yes1-4-90	SAT	0.6
aim-100-1_6-yes1-3-90	SAT	0.6
aim-100-1_6-yes1-2-00	SAT	0.6
par8-4-c-50	SAT	0.6
aim-50-3_4-yes1-1-90	UNSAT	0.6
aim-50-3_4-yes1-3-50	SAT	0.6
aim-50-3_4-yes1-2-90	SAT	0.6
par8-5-c-00	UNSAT	0.6
aim-50-2_0-yes1-2-50	UNSAT	0.6
aim-100-2_0-yes1-4-90	SAT	0.6
aim-50-3_4-yes1-3-00	SAT	0.6
aim-100-1_6-yes1-2-90	UNSAT	0.6
par8-1-c-00	UNSAT	0.6
aim-100-2_0-yes1-2-00	SAT	0.61
aim-50-6_0-yes1-3-00	UNSAT	0.61
aim-50-1_6-yes1-4-00	SAT	0.61
par8-4-c-90	SAT	0.61
aim-100-2_0-yes1-1-90	UNSAT	0.61
aim-100-2_0-yes1-2-50	SAT	0.61
par8-2-c-00	UNSAT	0.61
aim-50-6_0-yes1-3-90	SAT	0.61
aim-100-2_0-yes1-3-50	UNSAT	0.61
aim-100-1_6-yes1-4-90	UNSAT	0.61
par8-3-c-00	SAT	0.62
aim-100-2_0-yes1-3-00	UNSAT	0.62
par8-5-c-90	UNSAT	0.62
par8-2-c-90	UNSAT	0.62
par8-5-c-50	UNSAT	0.62
aim-100-2_0-yes1-4-00	UNSAT	0.62
aim-50-6_0-yes1-3-50	UNSAT	0.62
aim-50-6_0-yes1-4-90	SAT	0.62
aim-50-6_0-yes1-1-50	UNSAT	0.62
aim-100-1_6-yes1-4-00	UNSAT	0.62
aim-100-1_6-yes1-3-00	UNSAT	0.62
aim-100-2_0-yes1-1-50	UNSAT	0.62
par8-3-c-50	UNSAT	0.62
aim-100-2_0-yes1-2-90	UNSAT	0.62
aim-100-3_4-yes1-3-00	SAT	0.63
par8-1-c-50	UNSAT	0.63
aim-100-2_0-yes1-3-90	UNSAT	0.63
aim-100-3_4-yes1-4-00	SAT	0.63
par8-3-c-90	UNSAT	0.64
aim-100-6_0-yes1-3-00	SAT	0.64
aim-100-3_4-yes1-1-90	SAT	0.64
aim-100-6_0-yes1-1-00	SAT	0.64
aim-100-3_4-yes1-2-50	SAT	0.64
aim-50-6_0-yes1-2-90	UNSAT	0.64
aim-200-1_6-yes1-1-00	SAT	0.65
aim-100-2_0-yes1-1-00	UNSAT	0.65
aim-200-1_6-yes1-1-50	SAT	0.65
aim-100-3_4-yes1-1-50	UNSAT	0.65
aim-100-3_4-yes1-2-00	UNSAT	0.66
aim-200-1_6-yes1-2-50	SAT	0.66
aim-100-3_4-yes1-2-90	UNSAT	0.66
aim-200-1_6-yes1-4-50	SAT	0.66
aim-100-3_4-yes1-4-50	UNSAT	0.66
aim-200-1_6-yes1-4-00	UNSAT	0.66
aim-200-1_6-yes1-3-50	UNSAT	0.66
aim-100-6_0-yes1-2-00	UNSAT	0.66
jnh213-50	SAT	0.66
aim-100-6_0-yes1-4-00	UNSAT	0.67
aim-100-3_4-yes1-4-90	SAT	0.67
aim-100-1_6-yes1-1-00	SAT	0.67
aim-100-6_0-yes1-3-50	SAT	0.67
aim-100-3_4-yes1-1-00	UNSAT	0.68
aim-100-3_4-yes1-3-50	UNSAT	0.68
aim-100-3_4-yes1-3-90	UNSAT	0.68
aim-200-2_0-yes1-4-50	SAT	0.69
aim-200-1_6-yes1-3-90	UNSAT	0.69
ii8a2-00	SAT	0.69
aim-200-3_4-yes1-4-90	SAT	0.69
aim-200-1_6-yes1-2-00	UNSAT	0.69
aim-200-2_0-yes1-3-50	UNSAT	0.69
aim-200-1_6-yes1-4-90	SAT	0.7
aim-200-2_0-yes1-4-90	SAT	0.7
aim-100-6_0-yes1-1-50	SAT	0.7
aim-200-2_0-yes1-3-90	SAT	0.7
aim-200-1_6-yes1-3-00	UNSAT	0.7
aim-100-6_0-yes1-1-90	UNSAT	0.7
aim-100-6_0-yes1-3-90	UNSAT	0.7
aim-100-6_0-yes1-2-90	SAT	0.7
aim-200-1_6-yes1-2-90	UNSAT	0.71
aim-100-6_0-yes1-4-50	UNSAT	0.71
aim-200-2_0-yes1-1-50	UNSAT	0.71
aim-200-2_0-yes1-1-90	UNSAT	0.71
aim-200-2_0-yes1-4-00	SAT	0.71
aim-100-6_0-yes1-4-90	SAT	0.71
aim-100-6_0-yes1-2-50	UNSAT	0.72
aim-200-2_0-yes1-2-00	UNSAT	0.72
aim-200-2_0-yes1-3-00	UNSAT	0.72
aim-200-2_0-yes1-2-50	UNSAT	0.72
aim-200-2_0-yes1-2-90	UNSAT	0.72
aim-200-1_6-yes1-1-90	SAT	0.74
jnh217-50	SAT	0.74
aim-200-2_0-yes1-1-00	SAT	0.74
aim-200-3_4-yes1-3-00	SAT	0.75
aim-200-3_4-yes1-1-50	SAT	0.75
aim-200-3_4-yes1-3-50	SAT	0.75
jnh7-50	SAT	0.78
aim-200-3_4-yes1-4-00	SAT	0.78
aim-200-3_4-yes1-4-50	SAT	0.78
aim-200-6_0-yes1-3-00	SAT	0.78
jnh220-50	SAT	0.8
par8-1-50	SAT	0.8
jnh205-50	SAT	0.8
ii8a3-00	SAT	0.81
aim-200-3_4-yes1-2-00	UNSAT	0.82
jnh213-90	SAT	0.82
jnh207-90	SAT	0.82
aim-200-3_4-yes1-2-50	SAT	0.82
aim-200-3_4-yes1-1-90	SAT	0.82
jnh7-90	SAT	0.82
par8-4-00	SAT	0.82
par8-1-00	SAT	0.82
ii32b1-50	SAT	0.83
jnh218-90	SAT	0.84
aim-200-3_4-yes1-1-00	UNSAT	0.84
jnh210-50	SAT	0.85
aim-200-6_0-yes1-4-00	UNSAT	0.86
ii8c1-90	SAT	0.87
aim-200-6_0-yes1-2-00	UNSAT	0.88
aim-200-3_4-yes1-3-90	UNSAT	0.88
aim-200-6_0-yes1-1-00	UNSAT	0.89
aim-200-3_4-yes1-2-90	UNSAT	0.9
aim-200-6_0-yes1-1-90	SAT	0.91
ii8b1-90	SAT	0.94
jnh207-50	UNSAT	0.95
aim-200-6_0-yes1-4-50	SAT	0.95
par8-2-50	UNSAT	0.96
par8-2-00	UNSAT	0.98
jnh210-90	UNSAT	0.98
par8-3-00	UNSAT	0.98
aim-200-6_0-yes1-1-50	UNSAT	1
par8-5-00	UNSAT	1
ii8a4-90	SAT	1
aim-200-6_0-yes1-2-50	UNSAT	1
jnh212-50	UNSAT	1.01
aim-200-6_0-yes1-2-90	UNSAT	1.02
jnh205-90	UNSAT	1.04
aim-200-6_0-yes1-3-50	UNSAT	1.04
par8-5-50	SAT	1.06
jnh301-90	UNSAT	1.08
aim-200-6_0-yes1-3-90	UNSAT	1.11
aim-200-6_0-yes1-4-90	SAT	1.13
jnh212-90	UNSAT	1.14
par8-1-90	UNSAT	1.17
par8-4-50	UNSAT	1.24
jnh218-50	SAT	1.27
par8-4-90	UNSAT	1.27
par8-3-50	UNSAT	1.28
ssa7552-159-00	SAT	1.28
par8-2-90	UNSAT	1.28
ii8a4-00	SAT	1.31
ssa7552-158-90	SAT	1.33
par8-5-90	UNSAT	1.33
par8-3-90	SAT	1.33
ii32b1-90	SAT	1.34
ssa7552-159-50	SAT	1.34
ii8a2-90	UNSAT	1.43
jnh213-00	SAT	1.54
ssa7552-160-00	SAT	1.55
jnh204-50	SAT	1.56
ssa7552-160-50	SAT	1.56
jnh220-90	SAT	1.7
ssa7552-159-90	SAT	1.9
jnh209-90	UNSAT	1.99
jnh7-00	SAT	2.39
jnh209-50	UNSAT	2.57
jnh217-90	SAT	2.66
par16-4-c-00	SAT	2.69
jnh204-90	SAT	2.97
par16-4-c-50	UNSAT	3.03
ssa7552-158-50	SAT	3.04
ii32b1-00	SAT	3.44
par16-4-c-90	UNSAT	3.84
par16-5-c-00	SAT	4.54
par16-4-50	UNSAT	5.67
par16-5-c-90	SAT	5.71
par16-4-90	UNSAT	6.15
par16-2-c-50	SAT	6.2
par16-4-00	UNSAT	6.28
ii8a1-00	SAT	6.39
par16-2-c-00	SAT	6.97
par16-1-c-50	SAT	7.19
par16-2-c-90	SAT	7.22
par16-1-c-90	SAT	8.06
par16-1-90	UNSAT	8.9
par16-1-c-00	SAT	9.02
ii32b2-50	SAT	9.24
par16-3-c-90	UNSAT	9.3
ii32b2-00	SAT	10.13
par16-3-c-50	UNSAT	11.55
par16-1-00	UNSAT	11.78
par16-5-c-50	UNSAT	12.8
par16-1-50	UNSAT	13.77
jnh217-00	SAT	21.49
jnh218-00	SAT	21.81
jnh209-00	SAT	21.83
ii32e1-50	SAT	22.61
ii32e1-00	SAT	23.11
jnh220-00	SAT	23.18
jnh204-00	SAT	23.55
jnh207-00	UNSAT	26.05
jnh212-00	UNSAT	26.24
jnh301-50	SAT	33.25
ii32c2-50	SAT	38.96
jnh301-00	UNSAT	39.23
ii32c2-00	SAT	39.67
jnh12-00	UNSAT	68.68
jnh12-90	SAT	82.32
jnh12-50	UNSAT	83.28
jnh17-00	SAT	87.44
jnh1-50	SAT	105.31
jnh17-50	SAT	117
jnh201-00	SAT	118.36
jnh17-90	UNSAT	122.34
ii32d1-00	SAT	124.78
ii32d1-50	SAT	128.73
jnh1-00	SAT	131.74
jnh201-50	SAT	141.11
ii32c1-50	SAT	141.34
ii32e1-90	UNSAT	142.71
jnh205-00	UNSAT	144.45
jnh1-90	UNSAT	146.15
ii32e2-50	SAT	147.14
ii32c1-90	UNSAT	149.65
ii32e2-00	SAT	151.12
ii32d1-90	SAT	164.98
ii32c3-90	SAT	166.82
ii32c3-50	SAT	168.3
ii32c3-00	SAT	168.49
par16-3-c-00	UNSAT	170.96
ii32c1-00	FAIL	195.68
jnh201-90	FAIL	205.07
ii32b2-90	FAIL	206.65
ii32e2-90	FAIL	207.9
ii8a3-50	FAIL	600
ii8a2-50	FAIL	600
ssa7552-158-00	FAIL	600
ii8b1-00	FAIL	600
jnh210-00	FAIL	600
ii32c2-90	FAIL	600
ii8a3-90	FAIL	600
ii8a4-50	FAIL	600
f600-50	FAIL	600
f600-00	FAIL	600
ii8e1-90	FAIL	600
ii8e1-50	FAIL	600
ii8e1-00	FAIL	600
ii8d1-90	FAIL	600
ii8d1-50	FAIL	600
ii8d1-00	FAIL	600
ii8c1-50	FAIL	600
f600-90	FAIL	600
ii8c1-00	FAIL	600
ii8b1-50	FAIL	600
ssa7552-160-90	FAIL	600

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family Abduction solved by AQME-C4.5
QBFEVAL'07 - Evaluation of Suite Audemard as hors concours formulas.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family Abduction solved by AQME-C4.5 QBFEVAL'07 - Evaluation of Suite Audemard as hors concours formulas.

Instances of family Abduction solved by AQME-C4.5
QBFEVAL'07 - Evaluation of Suite Audemard as hors concours formulas.