Problem	Result	Time (in ms)
1503	MAYBE	31.22
1504	MAYBE	14.43
1505	YES	23.29
1506	YES	13.38
1507	YES	29.68
1508	YES	26.94
1509	YES	27.26
1510	YES	22.69
1511	YES	20.66
1512	YES	11.97
1513	YES	20.72
1514	MAYBE	40.32
1515	YES	24.54
1516	MAYBE	30.30
1517	YES	24.96
1518	YES	21.17
1519	YES	24.03
1520	YES	21.52
1521	MAYBE	19.10
1522	YES	16.83
1523	YES	22.12
1524	YES	2.33
1525	YES	1.95
1526	YES	28.36
1527	YES	2.16
1528	MAYBE	25.80
1529	MAYBE	23.26
1530	MAYBE	28.83
1531	MAYBE	31.84
1532	YES	22.93
1533	MAYBE	16.87
1534	YES	21.90
1535	MAYBE	43.15
1536	YES	10.24
1537	YES	20.40
1538	YES	12.04
1539	MAYBE	26.60
1540	YES	12.04
1541	YES	15.71
1542	MAYBE	34.88
1543	MAYBE	205.18
1544	YES	26.72
1545	YES	30.89
1546	YES	2.47
1547	YES	21.98
1548	YES	11.47
1549	MAYBE	13.01
1550	MAYBE	48.70
1551	YES	22.08
1552	YES	13.17
1553	YES	11.78
1554	YES	13.98
1555	YES	22.84
1556	YES	13.98
1557	YES	26.18
1558	MAYBE	38.00
1559	YES	25.37
1560	MAYBE	11.75
1561	YES	26.10
1562	YES	26.26
1563	YES	27.60
1564	YES	30.78
1565	YES	24.28
1566	YES	26.42
1567	YES	25.17
1568	YES	23.08
1569	YES	13.58
1570	YES	2.43
1571	MAYBE	24.38
1572	YES	11.84
1573	YES	11.71
1574	MAYBE	49.07
1575	MAYBE	42.21
1576	MAYBE	17.02
1577	MAYBE	19.14
1578	YES	12.94
1579	YES	12.90
1580	YES	12.95
1581	YES	12.49
1582	YES	12.37
1583	YES	12.00
1584	MAYBE	19.41
1585	MAYBE	19.41
1586	YES	14.50
1587	MAYBE	39.15
1588	YES	15.05
1589	YES	15.50
1590	YES	48.72
1591	YES	12.41
1592	YES	20.74
1593	MAYBE	23.59
1594	YES	20.60
1595	YES	12.14
1596	MAYBE	150.42
1597	YES	23.28
1598	YES	21.21
1599	YES	18.91
1600	YES	20.50
1601	YES	2.40
1602	YES	17.04
1603	YES	2.26
1604	MAYBE	29.49
1605	MAYBE	19.47
1608	MAYBE	18.45
1609	YES	2.57
1610	MAYBE	48.89
1611	MAYBE	138.17
1614	YES	2.95
1615	YES	43.36
1616	YES	2.72
1617	YES	9.87
1620	MAYBE	16.12
1623	YES	2.31
1645	Timeout	10001.53
1646	MAYBE	2296.59
Summary of the 115 problems:	#YES: 79	15054.46
	#NO: 0
	#MAYBE: 35
	#Timeout: 1
	#Error: 0