Problem	Result	Method	Time (in ms)
KN_2013_example3	YES	Weak Orthogonality	50.87
NM_2016_example1	YES	Strongly Closedness	3806.84
WM_2018_example23	Timeout	---	10017.70
WM_2018_example23_corrected	YES	Strongly Closedness	103.71
example1	YES	Strongly Closedness	115.33
example11	YES	Parallel Closedness	38.42
example12	YES	Almost Parallel Closedness	130.36
example6	YES	Orthogonality	34.35
Summary of the 8 problems:	#YES: 7		14297.58
	#NO: 0
	#MAYBE: 0
	#Timeout: 1
	#Error: 0