Instances of family Abduction solved by <a href='solver_detail.php?solver=77'>QuBE6.1</a> <br> QBFEVAL'08

Instances of family Abduction solved by QuBE6.1
QBFEVAL'08

Instance	Result	Time
aim-50-1_6-yes1-2-50	SAT	0.03
aim-50-1_6-yes1-3-90	SAT	0.03
aim-50-1_6-yes1-1-90	UNSAT	0.04
aim-50-1_6-yes1-2-90	UNSAT	0.04
aim-50-2_0-yes1-4-50	SAT	0.04
aim-50-2_0-yes1-4-90	SAT	0.04
aim-50-2_0-yes1-2-90	SAT	0.04
aim-50-1_6-yes1-4-50	SAT	0.04
aim-50-1_6-yes1-2-00	SAT	0.04
aim-50-1_6-yes1-4-90	UNSAT	0.04
aim-50-2_0-yes1-1-00	UNSAT	0.04
aim-50-2_0-yes1-3-90	UNSAT	0.04
aim-50-2_0-yes1-1-50	UNSAT	0.04
aim-50-1_6-yes1-3-00	SAT	0.04
aim-50-2_0-yes1-1-90	UNSAT	0.04
aim-50-1_6-yes1-3-50	UNSAT	0.04
aim-50-1_6-yes1-1-00	SAT	0.04
aim-50-2_0-yes1-2-50	UNSAT	0.04
aim-50-2_0-yes1-3-00	UNSAT	0.04
aim-50-2_0-yes1-3-50	UNSAT	0.04
ii8a1-50	SAT	0.04
aim-50-2_0-yes1-4-00	UNSAT	0.04
aim-50-2_0-yes1-2-00	UNSAT	0.04
aim-100-1_6-yes1-3-90	SAT	0.04
aim-50-1_6-yes1-1-50	SAT	0.04
aim-50-1_6-yes1-4-00	SAT	0.04
aim-50-3_4-yes1-1-90	UNSAT	0.05
aim-50-3_4-yes1-4-50	UNSAT	0.05
aim-100-1_6-yes1-1-90	UNSAT	0.05
aim-50-3_4-yes1-2-50	SAT	0.05
aim-50-3_4-yes1-3-50	SAT	0.05
par8-4-c-90	SAT	0.05
aim-50-3_4-yes1-1-50	UNSAT	0.05
aim-50-3_4-yes1-2-00	SAT	0.05
aim-100-1_6-yes1-2-50	SAT	0.05
ii8a1-90	SAT	0.05
aim-50-3_4-yes1-3-00	SAT	0.05
aim-100-1_6-yes1-3-50	UNSAT	0.05
aim-100-2_0-yes1-2-50	SAT	0.05
aim-50-3_4-yes1-4-00	UNSAT	0.05
aim-100-1_6-yes1-1-50	SAT	0.05
aim-100-1_6-yes1-4-50	UNSAT	0.06
aim-100-1_6-yes1-2-00	SAT	0.06
aim-100-2_0-yes1-3-50	UNSAT	0.06
aim-50-3_4-yes1-2-90	SAT	0.06
aim-100-2_0-yes1-2-00	SAT	0.06
aim-50-3_4-yes1-1-00	UNSAT	0.06
aim-50-3_4-yes1-3-90	UNSAT	0.06
aim-100-1_6-yes1-1-00	SAT	0.06
aim-100-1_6-yes1-4-00	UNSAT	0.06
aim-100-1_6-yes1-4-90	UNSAT	0.06
aim-100-2_0-yes1-3-90	UNSAT	0.06
aim-100-1_6-yes1-2-90	UNSAT	0.06
aim-100-2_0-yes1-1-50	UNSAT	0.06
aim-50-6_0-yes1-1-90	SAT	0.06
aim-100-2_0-yes1-4-50	UNSAT	0.06
par8-4-c-50	SAT	0.06
aim-50-6_0-yes1-4-90	SAT	0.06
aim-50-6_0-yes1-3-00	UNSAT	0.06
par8-2-c-50	UNSAT	0.06
aim-50-3_4-yes1-4-90	SAT	0.06
aim-50-6_0-yes1-3-50	UNSAT	0.06
par8-1-c-90	UNSAT	0.06
aim-100-1_6-yes1-3-00	UNSAT	0.06
aim-100-2_0-yes1-1-90	UNSAT	0.06
aim-100-2_0-yes1-4-90	SAT	0.06
aim-100-2_0-yes1-3-00	UNSAT	0.07
par8-1-c-00	UNSAT	0.07
aim-50-6_0-yes1-3-90	SAT	0.07
par8-1-c-50	UNSAT	0.07
aim-50-6_0-yes1-1-50	UNSAT	0.07
aim-100-2_0-yes1-4-00	UNSAT	0.07
par8-4-c-00	SAT	0.07
aim-50-6_0-yes1-2-50	UNSAT	0.07
par8-3-c-50	UNSAT	0.07
aim-50-6_0-yes1-2-90	UNSAT	0.07
aim-100-2_0-yes1-2-90	UNSAT	0.07
par8-2-c-90	UNSAT	0.07
aim-100-2_0-yes1-1-00	UNSAT	0.07
aim-50-6_0-yes1-4-00	SAT	0.07
aim-50-6_0-yes1-4-50	UNSAT	0.07
aim-50-6_0-yes1-1-00	UNSAT	0.08
par8-5-c-50	UNSAT	0.08
aim-100-3_4-yes1-3-00	SAT	0.08
aim-50-6_0-yes1-2-00	UNSAT	0.08
par8-2-c-00	UNSAT	0.08
aim-100-3_4-yes1-1-90	SAT	0.08
par8-5-c-00	UNSAT	0.08
par8-5-c-90	UNSAT	0.08
par8-3-c-00	SAT	0.08
aim-100-3_4-yes1-2-50	SAT	0.08
par8-3-c-90	UNSAT	0.08
aim-100-3_4-yes1-4-50	UNSAT	0.09
aim-100-3_4-yes1-4-00	SAT	0.09
aim-200-1_6-yes1-2-50	SAT	0.09
aim-100-3_4-yes1-1-50	UNSAT	0.09
aim-100-3_4-yes1-4-90	SAT	0.1
aim-100-3_4-yes1-3-50	UNSAT	0.1
aim-100-3_4-yes1-1-00	UNSAT	0.1
aim-200-1_6-yes1-1-90	SAT	0.1
aim-100-3_4-yes1-2-00	UNSAT	0.1
aim-200-1_6-yes1-1-50	SAT	0.1
aim-100-3_4-yes1-2-90	UNSAT	0.1
aim-200-1_6-yes1-2-90	UNSAT	0.1
aim-200-1_6-yes1-3-50	UNSAT	0.1
aim-100-3_4-yes1-3-90	UNSAT	0.11
aim-200-1_6-yes1-1-00	SAT	0.11
aim-200-2_0-yes1-3-90	SAT	0.12
aim-200-1_6-yes1-3-00	UNSAT	0.12
aim-200-1_6-yes1-3-90	UNSAT	0.12
aim-200-2_0-yes1-4-50	SAT	0.12
aim-200-1_6-yes1-4-50	SAT	0.12
aim-200-1_6-yes1-2-00	UNSAT	0.12
aim-200-1_6-yes1-4-00	UNSAT	0.12
aim-100-6_0-yes1-3-50	SAT	0.13
aim-200-2_0-yes1-3-50	UNSAT	0.13
aim-200-3_4-yes1-4-90	SAT	0.13
aim-100-6_0-yes1-1-50	SAT	0.13
aim-200-2_0-yes1-1-50	UNSAT	0.13
aim-200-2_0-yes1-2-50	UNSAT	0.13
aim-100-6_0-yes1-1-00	SAT	0.14
aim-200-1_6-yes1-4-90	SAT	0.14
aim-200-2_0-yes1-1-90	UNSAT	0.14
aim-100-6_0-yes1-3-00	SAT	0.14
aim-100-6_0-yes1-4-90	SAT	0.14
aim-100-6_0-yes1-2-90	SAT	0.14
aim-200-2_0-yes1-2-90	UNSAT	0.14
aim-100-6_0-yes1-3-90	UNSAT	0.15
aim-200-2_0-yes1-1-00	SAT	0.15
aim-100-6_0-yes1-4-50	UNSAT	0.15
aim-100-6_0-yes1-2-50	UNSAT	0.15
aim-200-2_0-yes1-4-00	SAT	0.15
aim-100-6_0-yes1-1-90	UNSAT	0.15
aim-200-2_0-yes1-3-00	UNSAT	0.16
aim-100-6_0-yes1-4-00	UNSAT	0.16
aim-100-6_0-yes1-2-00	UNSAT	0.16
aim-200-2_0-yes1-2-00	UNSAT	0.16
ssa7552-159-00	SAT	0.16
jnh301-50	SAT	0.17
jnh213-50	SAT	0.17
ii32c1-50	SAT	0.18
jnh217-00	SAT	0.18
aim-200-2_0-yes1-4-90	SAT	0.18
aim-200-3_4-yes1-3-50	SAT	0.18
jnh210-50	SAT	0.19
aim-200-3_4-yes1-4-50	SAT	0.19
aim-200-3_4-yes1-1-50	SAT	0.19
ii32b1-50	SAT	0.2
ii32e1-00	SAT	0.2
jnh201-50	SAT	0.2
jnh213-00	SAT	0.2
jnh218-00	SAT	0.21
jnh209-00	SAT	0.21
jnh12-90	SAT	0.22
jnh17-00	SAT	0.22
aim-200-3_4-yes1-1-90	SAT	0.22
aim-200-3_4-yes1-4-00	SAT	0.22
ii8a2-00	SAT	0.22
jnh1-50	SAT	0.22
jnh217-50	SAT	0.23
par8-1-50	SAT	0.23
aim-200-3_4-yes1-2-50	SAT	0.24
jnh7-00	SAT	0.24
jnh12-50	UNSAT	0.24
jnh205-50	SAT	0.25
jnh220-50	SAT	0.25
aim-200-3_4-yes1-3-00	SAT	0.25
jnh1-00	SAT	0.26
aim-200-3_4-yes1-2-00	UNSAT	0.26
jnh12-00	UNSAT	0.26
jnh7-50	SAT	0.26
jnh7-90	SAT	0.27
jnh213-90	SAT	0.27
jnh17-50	SAT	0.28
ii32e1-50	SAT	0.28
par8-1-00	SAT	0.29
aim-200-3_4-yes1-1-00	UNSAT	0.29
jnh207-90	SAT	0.3
par8-4-00	SAT	0.32
aim-200-3_4-yes1-3-90	UNSAT	0.32
ii8c1-90	SAT	0.32
jnh218-90	SAT	0.32
ii8b1-90	SAT	0.32
aim-200-3_4-yes1-2-90	UNSAT	0.34
par8-5-50	SAT	0.35
par8-2-00	UNSAT	0.36
par8-3-00	UNSAT	0.36
jnh212-00	UNSAT	0.36
par8-5-00	UNSAT	0.37
aim-200-6_0-yes1-4-50	SAT	0.38
jnh204-00	SAT	0.38
aim-200-6_0-yes1-3-00	SAT	0.4
ii32e1-90	UNSAT	0.41
jnh207-00	UNSAT	0.42
jnh212-50	UNSAT	0.43
jnh205-90	UNSAT	0.44
aim-200-6_0-yes1-2-50	UNSAT	0.44
ii32d1-00	SAT	0.44
aim-200-6_0-yes1-3-50	UNSAT	0.45
aim-200-6_0-yes1-1-50	UNSAT	0.45
par8-4-50	UNSAT	0.46
aim-200-6_0-yes1-3-90	UNSAT	0.46
jnh207-50	UNSAT	0.46
jnh301-90	UNSAT	0.47
aim-200-6_0-yes1-4-00	UNSAT	0.47
aim-200-6_0-yes1-2-90	UNSAT	0.48
aim-200-6_0-yes1-1-00	UNSAT	0.48
aim-200-6_0-yes1-2-00	UNSAT	0.48
par8-2-90	UNSAT	0.5
aim-200-6_0-yes1-1-90	SAT	0.51
jnh212-90	UNSAT	0.52
par8-1-90	UNSAT	0.53
par8-3-90	SAT	0.53
jnh301-00	UNSAT	0.54
ii8a3-00	SAT	0.54
ii32d1-50	SAT	0.55
jnh201-00	SAT	0.57
jnh204-50	SAT	0.57
ii32b1-90	SAT	0.58
jnh210-90	UNSAT	0.58
aim-200-6_0-yes1-4-90	SAT	0.59
par8-4-90	UNSAT	0.59
par8-3-50	UNSAT	0.6
jnh220-00	SAT	0.6
par8-5-90	UNSAT	0.6
jnh17-90	UNSAT	0.67
par8-2-50	UNSAT	0.68
ii8a2-90	UNSAT	0.72
jnh209-90	UNSAT	0.75
jnh218-50	SAT	0.81
ssa7552-159-50	SAT	0.92
jnh220-90	SAT	0.96
jnh205-00	UNSAT	1.09
ii8a4-90	SAT	1.2
jnh204-90	SAT	1.3
ii8a4-00	SAT	1.37
ssa7552-159-90	SAT	1.44
ssa7552-158-90	SAT	1.45
jnh209-50	UNSAT	1.68
ii32d1-90	SAT	1.68
ssa7552-160-00	SAT	1.7
par16-4-c-00	SAT	1.91
ssa7552-158-50	SAT	2.01
par16-1-c-50	SAT	2.04
ii32b1-00	SAT	2.06
par16-1-c-00	SAT	2.19
par16-4-c-50	UNSAT	2.44
jnh1-90	UNSAT	2.51
par16-1-c-90	SAT	2.72
jnh217-90	SAT	3.09
par16-5-c-50	UNSAT	3.22
par16-5-c-90	SAT	3.38
par16-4-c-90	UNSAT	3.41
par16-4-90	UNSAT	3.6
par16-2-c-50	SAT	3.72
par16-4-50	UNSAT	3.87
ii32c1-90	UNSAT	3.95
par16-4-00	UNSAT	4.06
par16-5-c-00	SAT	4.18
ii32b2-50	SAT	4.3
ii32c2-90	SAT	4.57
ii32b2-00	SAT	4.77
par16-3-c-00	UNSAT	5.1
par16-2-c-90	SAT	5.13
par16-1-90	UNSAT	5.54
par16-3-c-90	UNSAT	5.7
ii32c2-50	SAT	5.9
ii32c3-90	SAT	6.64
ii32e2-50	SAT	6.95
par16-3-c-50	UNSAT	7.31
par16-1-50	UNSAT	7.48
ii32e2-00	SAT	7.54
ii32c3-50	SAT	8.08
ii32e2-90	SAT	9.29
jnh201-90	SAT	9.77
par16-1-00	UNSAT	10.26
ii32c3-00	SAT	12.55
par16-2-c-00	SAT	13.11
ii32c2-00	SAT	14.22
ii8b1-00	SAT	15.58
ii8b1-50	SAT	17.12
jnh210-00	UNSAT	39.95
ii32b2-90	SAT	53.25
ii8a2-50	SAT	64.71
ii8a1-00	SAT	120.6
ii8d1-00	SAT	151.83
f600-90	FAIL	600
ii8a3-50	FAIL	600
ii8c1-00	FAIL	600
ii8e1-90	FAIL	600
ii8a3-90	FAIL	600
ii8c1-50	FAIL	600
ii8a4-50	FAIL	600
ssa7552-160-50	FAIL	600
ii8d1-50	FAIL	600
ssa7552-158-00	FAIL	600
ssa7552-160-90	FAIL	600
ii8d1-90	FAIL	600
f600-00	FAIL	600
ii8e1-00	FAIL	600
f600-50	FAIL	600
ii32c1-00	FAIL	600
ii8e1-50	FAIL	600

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family Abduction solved by QuBE6.1
QBFEVAL'08

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family Abduction solved by QuBE6.1 QBFEVAL'08

Instances of family Abduction solved by QuBE6.1
QBFEVAL'08