Problem	Result	Method	Time (in ms)
1503	YES	Strong Closedness	46.77
1504	YES	Almost Development Closedness	55.61
1505	NO	"two different NFs found"	54.08
1506	NO	"two different NFs found"	50.59
1507	NO	"two different NFs found"	56.46
1508	YES	Strong Closedness	28.38
1509	NO	"two different NFs found"	55.02
1510	YES	Strong Closedness	29.10
1511	YES	Strong Closedness	27.45
1512	YES	Strong Closedness	26.90
1513	YES	Strong Closedness	28.84
1514	NO	"two different NFs found"	57.40
1515	YES	Almost Development Closedness	27.83
1516	YES	Almost Development Closedness	27.50
1517	YES	Almost Development Closedness	29.65
1518	YES	Almost Development Closedness	27.83
1519	YES	Strong Closedness	28.36
1520	YES	Almost Development Closedness	27.26
1521	MAYBE	---	3811.83
1522	YES	Strong Closedness	28.06
1523	YES	Strong Closedness	30.20
1524	NO	"two different NFs found"	42.81
1525	YES	Almost Development Closedness	43.85
1526	NO	"two different NFs found"	863.36
1527	YES	Almost Development Closedness	45.38
1528	YES	Almost Development Closedness	224.78
1529	YES	Almost Development Closedness	159.04
1530	Timeout	---	10012.83
1531	Timeout	---	10014.78
1532	YES	Almost Development Closedness	57.50
1533	YES	Almost Development Closedness	48.71
1534	YES	Strong Closedness	27.76
1535	YES	Almost Development Closedness	30.21
1536	YES	Strong Closedness	27.38
1537	YES	Strong Closedness	27.71
1538	YES	Strong Closedness	28.49
1539	NO	"two different NFs found"	56.11
1540	YES	Strong Closedness	27.52
1541	Timeout	---	10010.01
1542	NO	"two different NFs found"	657.29
1543	YES	Strong Closedness	31.67
1544	YES	Strong Closedness	28.38
1545	YES	Almost Development Closedness	33.77
1546	Timeout	---	10009.71
1547	YES	Strong Closedness	27.00
1548	YES	Strong Closedness	27.94
1549	YES	Strong Closedness	31.65
1550	Timeout	---	10010.07
1551	YES	Almost Development Closedness	27.35
1552	YES	Strong Closedness	27.57
1553	NO	"two different NFs found"	45.65
1554	YES	Strong Closedness	27.70
1555	NO	"two different NFs found"	54.53
1556	YES	Strong Closedness	27.95
1557	NO	"two different NFs found"	50.21
1558	NO	"two different NFs found"	57.52
1559	NO	"two different NFs found"	52.29
1560	YES	Almost Development Closedness	29.16
1561	NO	"two different NFs found"	54.77
1562	NO	"two different NFs found"	58.20
1563	NO	"two different NFs found"	53.24
1564	NO	"two different NFs found"	57.12
1565	NO	"two different NFs found"	49.75
1566	NO	"two different NFs found"	54.33
1567	NO	"two different NFs found"	49.52
1568	YES	Almost Development Closedness	29.91
1569	YES	Strong Closedness	27.40
1570	NO	"two different NFs found"	136.02
1571	YES	Strong Closedness	29.55
1572	YES	Strong Closedness	28.66
1573	YES	Strong Closedness	27.13
1574	YES	Strong Closedness	28.53
1575	YES	Almost Development Closedness	29.73
1576	YES	Strong Closedness	26.47
1577	YES	Strong Closedness	28.55
1578	YES	Strong Closedness	29.08
1579	YES	Strong Closedness	27.39
1580	YES	Strong Closedness	28.47
1581	YES	Almost Development Closedness	27.46
1582	YES	Almost Development Closedness	28.12
1583	YES	Almost Development Closedness	33.39
1584	YES	Strong Closedness	27.52
1585	YES	Strong Closedness	29.22
1586	YES	Almost Development Closedness	17.57
1587	YES	Almost Development Closedness	28.07
1588	YES	Strong Closedness	29.66
1589	YES	Almost Development Closedness	28.67
1590	YES	Almost Development Closedness	29.46
1591	YES	Strong Closedness	26.98
1592	YES	Almost Development Closedness	31.32
1593	NO	"two different NFs found"	50.56
1594	NO	"two different NFs found"	56.81
1595	YES	Strong Closedness	27.45
1596	YES	Strong Closedness	31.22
1597	YES	Almost Development Closedness	27.23
1598	NO	"two different NFs found"	53.59
1599	YES	Almost Development Closedness	27.59
1600	NO	"two different NFs found"	50.44
1601	YES	Strong Closedness	27.25
1602	YES	Strong Closedness	28.97
1603	YES	Almost Development Closedness	45.43
1604	YES	Almost Development Closedness	53.20
1605	YES	Almost Development Closedness	27.46
1608	YES	Almost Development Closedness	172.17
1609	MAYBE	---	2733.32
1610	Timeout	---	10010.64
1611	Timeout	---	10011.86
1614	YES	Almost Development Closedness	264.04
1615	MAYBE	---	6569.43
1616	NO	"two different NFs found"	295.83
1617	YES	NewmansLemma	72.84
1620	YES	Almost Development Closedness	96.88
1623	NO	"two different NFs found"	42.18
1645	Timeout	---	10013.03
1646	Timeout	---	10014.76
Summary of the 115 problems:	#YES: 75		109556.23
	#NO: 28
	#MAYBE: 3
	#Timeout: 9
	#Error: 0