Instances of family Debug solved by <a href='solver_detail.php?solver=73'>quantor3.0</a> <br> QBFEVAL'08

qbflib.org

Instances of family Debug solved by quantor3.0
QBFEVAL'08

Instance	Result	Time
c4_Debug_s3_f2_e2_v3	FAIL	8.25
c1_Debug_s5_f1_e1_v2	SAT	26.66
c1_Debug_s3_f1_e1_v2	SAT	30.96
c2_Debug_s3_f1_e1_v2	SAT	33.27
c2_Debug_s5_f1_e1_v2	SAT	35.38
c4_Debug_s5_f2_e2_v1	SAT	47.98
c4_Debug_s5_f2_e1_v1	SAT	49.92
c4_Debug_s5_f2_e2_v3	SAT	51.11
c2_Debug_s3_f1_e1_v3	SAT	51.57
c4_Debug_s5_f2_e1_v3	SAT	51.61
c4_Debug_s5_f2_e2_v2	SAT	52.7
c4_Debug_s5_f2_e1_v2	SAT	53.86
c1_Debug_s5_f1_e1_v3	SAT	56.61
c1_Debug_s5_f1_e1_v1	SAT	60.16
c1_Debug_s3_f1_e1_v3	SAT	61.02
c1_Debug_s3_f1_e1_v1	SAT	61.64
c2_Debug_s5_f1_e1_v3	SAT	63.64
c2_Debug_s3_f1_e1_v1	SAT	64.74
c4_Debug_s3_f1_e1_v2	SAT	69.58
c4_Debug_s3_f1_e2_v2	SAT	70.64
c2_Debug_s5_f1_e1_v1	SAT	72.12
c4_Debug_s3_f1_e1_v1	SAT	74.5
c2_Debug_s3_f2_e1_v2	SAT	74.65
c4_Debug_s3_f1_e2_v1	SAT	75.6
c4_Debug_s3_f1_e1_v3	SAT	85.84
c4_Debug_s3_f1_e2_v3	SAT	86.22
c2_Debug_s3_f2_e1_v3	SAT	130.81
c4_Debug_s3_f2_e1_v2	SAT	134.75
c4_Debug_s3_f2_e2_v2	SAT	135.7
c4_Debug_s3_f2_e1_v3	SAT	140.15
c2_Debug_s3_f2_e1_v1	SAT	146.13
c4_Debug_s3_f2_e1_v1	SAT	154.01
c4_Debug_s3_f2_e2_v1	SAT	155.59
c3_Debug_s3_f2_e2_v2	FAIL	600
c1_Debug_s3_f2_e1_v1	FAIL	600
c3_Debug_s3_f2_e2_v3	FAIL	600
c1_Debug_s3_f2_e1_v2	FAIL	600
c1_Debug_s3_f2_e1_v3	FAIL	600

Contact | Organization | Links | Citing QBFLIB