Tool	YES	MAYBE	TIMEOUT
AProVE	19 [2.40]	278 [2.87]	3
CiaoPP-det	132 [5.93]	163 [6.05]	5

Example	AProVE		CiaoPP-det
	MAYBE	2.48	YES	5.85
	MAYBE	2.49	YES	5.62
	MAYBE	2.37	YES	5.5
	MAYBE	3.25	MAYBE	6.37
	MAYBE	3.14	TIMEOUT	60
	MAYBE	3.14	MAYBE	6.33
	MAYBE	3.11	MAYBE	6.46
	MAYBE	3.03	TIMEOUT	60
	MAYBE	2.5	MAYBE	5.69
	MAYBE	2.51	MAYBE	5.51
	MAYBE	2.57	YES	10.17
	MAYBE	2.87	YES	17.75
	MAYBE	2.47	YES	5.64
	MAYBE	2.43	MAYBE	5.58
	MAYBE	2.42	MAYBE	5.6
	MAYBE	2.52	YES	5.65
	MAYBE	2.39	YES	5.55
	MAYBE	2.44	YES	5.65
	MAYBE	2.42	YES	5.62
	MAYBE	2.49	YES	5.68
	MAYBE	2.56	MAYBE	6.1
	MAYBE	2.71	MAYBE	6.19
	MAYBE	2.61	YES	5.81
	MAYBE	2.64	MAYBE	6.23
	MAYBE	2.61	MAYBE	5.91
	MAYBE	2.48	YES	5.88
	MAYBE	2.58	YES	5.76
	MAYBE	2.76	MAYBE	6.04
	MAYBE	2.85	MAYBE	5.97
	MAYBE	2.71	MAYBE	6.41
	MAYBE	2.55	MAYBE	6.16
	MAYBE	2.78	MAYBE	6.27
	MAYBE	2.36	YES	5.62
	MAYBE	2.39	YES	5.57
	MAYBE	2.34	YES	5.46
	MAYBE	2.4	YES	5.59
	MAYBE	2.31	YES	5.48
	YES	2.5	YES	5.58
	MAYBE	2.41	MAYBE	5.59
	MAYBE	2.5	MAYBE	5.66
	MAYBE	2.41	MAYBE	5.59
	MAYBE	2.44	MAYBE	5.62
	MAYBE	2.36	MAYBE	5.46
	MAYBE	2.93	YES	6.5
	MAYBE	2.35	MAYBE	5.48
	MAYBE	2.4	MAYBE	5.58
	MAYBE	2.42	YES	5.65
	MAYBE	2.51	YES	5.76
	MAYBE	2.48	YES	5.66
	MAYBE	2.36	YES	5.49
	MAYBE	2.36	YES	5.65
	MAYBE	2.64	YES	5.73
	MAYBE	2.69	MAYBE	7.21
	MAYBE	2.42	MAYBE	5.67
	MAYBE	2.45	MAYBE	5.93
	MAYBE	2.49	MAYBE	5.86
	MAYBE	2.53	MAYBE	6.55
	MAYBE	2.44	YES	5.69
	MAYBE	2.37	YES	5.5
	MAYBE	2.37	YES	5.54
	MAYBE	2.68	MAYBE	6.13
	MAYBE	2.91	MAYBE	6.17
	MAYBE	2.54	YES	5.77
	MAYBE	2.56	YES	5.78
	MAYBE	2.56	MAYBE	5.63
	MAYBE	2.4	MAYBE	5.56
	MAYBE	2.36	MAYBE	5.61
	MAYBE	2.41	MAYBE	5.65
	MAYBE	2.57	MAYBE	6.2
	MAYBE	2.57	MAYBE	6.2
	MAYBE	2.54	MAYBE	5.98
	MAYBE	2.4	MAYBE	5.73
	MAYBE	2.38	MAYBE	5.65
	MAYBE	2.42	MAYBE	5.66
	MAYBE	2.41	MAYBE	5.57
	MAYBE	2.36	MAYBE	5.57
	MAYBE	2.35	MAYBE	5.55
	MAYBE	2.37	YES	5.57
	MAYBE	2.36	YES	5.61
	MAYBE	2.5	MAYBE	5.81
	MAYBE	2.48	YES	5.95
	MAYBE	2.54	YES	5.93
	MAYBE	2.47	YES	5.85
	MAYBE	2.52	MAYBE	5.56
	MAYBE	2.53	MAYBE	5.52
	MAYBE	2.44	YES	5.55
	MAYBE	2.55	YES	5.73
	MAYBE	2.52	YES	5.88
	MAYBE	2.57	MAYBE	5.56
	MAYBE	2.48	MAYBE	5.68
	YES	2.35	MAYBE	5.64
	MAYBE	2.56	YES	5.88
	MAYBE	2.63	YES	5.82
	MAYBE	20.84	YES	6.07
	MAYBE	20.82	MAYBE	6.13
	MAYBE	2.5	MAYBE	6.16
	MAYBE	2.66	YES	6.03
	MAYBE	2.52	YES	6.06
	MAYBE	2.65	MAYBE	7.82
	MAYBE	2.44	YES	5.62
	MAYBE	2.47	YES	5.78
	YES	2.47	MAYBE	5.57
	MAYBE	2.54	MAYBE	5.74
	MAYBE	2.37	YES	5.67
	MAYBE	2.46	MAYBE	5.63
	MAYBE	2.51	MAYBE	5.64
	MAYBE	2.69	MAYBE	6.64
	MAYBE	2.52	YES	5.62
	MAYBE	2.38	YES	5.54
	MAYBE	2.71	MAYBE	5.66
	MAYBE	2.76	MAYBE	5.84
	MAYBE	2.52	MAYBE	5.68
	MAYBE	2.5	MAYBE	6.0
	MAYBE	2.73	MAYBE	6.51
	MAYBE	2.51	MAYBE	6.01
	MAYBE	2.58	MAYBE	6.02
	MAYBE	2.37	YES	5.52
	TIMEOUT	60	YES	6.24
	MAYBE	2.46	MAYBE	5.8
	MAYBE	3.02	MAYBE	5.82
	MAYBE	2.41	YES	5.58
	MAYBE	2.42	YES	5.72
	MAYBE	2.56	YES	5.81
	MAYBE	2.41	YES	5.67
	MAYBE	2.36	YES	5.61
	MAYBE	2.34	YES	5.62
	MAYBE	2.38	MAYBE	5.65
	MAYBE	2.46	MAYBE	5.86
	MAYBE	2.61	MAYBE	5.6
	YES	2.35	MAYBE	5.52
	YES	2.35	MAYBE	5.52
	YES	2.34	MAYBE	5.55
	MAYBE	2.44	MAYBE	6.26
	MAYBE	2.46	YES	5.65
	MAYBE	2.38	YES	5.7
	MAYBE	2.54	MAYBE	6.1
	MAYBE	2.5	MAYBE	6.04
	MAYBE	2.43	YES	5.6
	MAYBE	2.38	YES	5.53
	MAYBE	2.75	MAYBE	7.22
	MAYBE	2.45	MAYBE	5.69
	MAYBE	2.41	YES	5.6
	MAYBE	2.54	MAYBE	6.56
	MAYBE	2.52	YES	5.69
	MAYBE	2.51	YES	5.55
	YES	2.46	YES	5.56
	MAYBE	2.36	YES	5.67
	MAYBE	20.6	YES	8.26
	YES	2.39	YES	5.54
	MAYBE	2.71	MAYBE	6.13
	MAYBE	3.45	YES	5.78
	MAYBE	2.48	YES	6.62
	MAYBE	2.4	YES	5.74
	MAYBE	2.43	MAYBE	5.85
	TIMEOUT	60	YES	6.19
	MAYBE	2.81	MAYBE	6.18
	MAYBE	3.22	YES	5.68
	YES	2.37	MAYBE	5.51
	YES	2.64	MAYBE	5.56
	MAYBE	2.6	YES	6.02
	MAYBE	38.76	MAYBE	7.19
	MAYBE	2.45	YES	5.55
	YES	2.45	YES	5.59
	MAYBE	2.39	YES	5.55
	MAYBE	2.44	MAYBE	5.81
	MAYBE	2.37	YES	5.59
	MAYBE	2.39	YES	5.63
	MAYBE	2.41	MAYBE	5.62
	MAYBE	2.7	YES	6.69
	MAYBE	2.62	YES	6.48
	MAYBE	2.5	YES	5.66
	MAYBE	2.49	YES	5.72
	MAYBE	2.41	YES	5.65
	MAYBE	2.38	MAYBE	5.67
	MAYBE	2.46	MAYBE	6.18
	MAYBE	2.93	MAYBE	7.27
	MAYBE	2.68	MAYBE	6.4
	MAYBE	2.4	MAYBE	5.52
	MAYBE	2.39	MAYBE	5.52
	MAYBE	2.65	MAYBE	6.12
	MAYBE	2.55	MAYBE	6.05
	MAYBE	2.61	MAYBE	6.13
	MAYBE	2.54	MAYBE	5.59
	MAYBE	2.53	MAYBE	5.65
	MAYBE	2.34	YES	5.53
	MAYBE	2.38	YES	5.56
	MAYBE	2.39	MAYBE	5.7
	MAYBE	2.51	MAYBE	5.65
	MAYBE	2.33	YES	5.52
	MAYBE	2.56	MAYBE	5.89
	MAYBE	2.4	MAYBE	5.62
	MAYBE	2.42	YES	5.64
	MAYBE	2.36	YES	5.65
	MAYBE	2.43	YES	5.65
	MAYBE	2.33	YES	5.72
	MAYBE	2.59	YES	5.8
	MAYBE	2.41	MAYBE	5.63
	MAYBE	2.63	YES	6.0
	MAYBE	2.44	MAYBE	5.73
	MAYBE	2.56	MAYBE	5.75
	MAYBE	2.54	YES	6.42
	MAYBE	2.61	YES	6.51
	MAYBE	2.48	MAYBE	6.03
	MAYBE	2.61	MAYBE	6.08
	MAYBE	2.34	MAYBE	5.52
	MAYBE	2.75	MAYBE	6.46
	MAYBE	3.05	MAYBE	10.66
	MAYBE	2.58	YES	5.72
	MAYBE	2.45	MAYBE	5.64
	MAYBE	2.53	YES	5.95
	MAYBE	2.43	YES	5.59
	MAYBE	2.52	MAYBE	5.71
	MAYBE	2.45	MAYBE	5.6
	TIMEOUT	60	MAYBE	9.46
	MAYBE	2.66	MAYBE	6.73
	MAYBE	2.36	YES	5.52
	MAYBE	2.5	MAYBE	6.0
	MAYBE	2.5	MAYBE	6.07
	MAYBE	2.35	YES	5.53
	YES	2.36	MAYBE	5.51
	YES	2.33	YES	5.52
	MAYBE	2.35	YES	5.58
	MAYBE	2.38	YES	5.61
	MAYBE	2.37	YES	5.6
	MAYBE	2.5	MAYBE	6.01
	MAYBE	2.45	MAYBE	5.7
	MAYBE	2.82	MAYBE	9.49
	MAYBE	2.35	MAYBE	5.56
	MAYBE	2.33	MAYBE	5.47
	MAYBE	2.34	MAYBE	5.57
	MAYBE	3.12	MAYBE	8.74
	MAYBE	2.62	MAYBE	6.43
	MAYBE	2.43	YES	5.7
	MAYBE	2.53	MAYBE	6.03
	MAYBE	2.48	MAYBE	6.35
	MAYBE	2.56	MAYBE	6.48
	MAYBE	2.56	YES	6.44
	MAYBE	2.65	YES	6.47
	MAYBE	2.69	MAYBE	7.91
	MAYBE	2.58	MAYBE	7.85
	YES	2.41	MAYBE	5.53
	MAYBE	3.7	MAYBE	6.06
	MAYBE	2.44	YES	5.63
	MAYBE	2.93	MAYBE	6.45
	MAYBE	2.95	MAYBE	7.6
	MAYBE	3.48	MAYBE	7.52
	MAYBE	2.95	MAYBE	6.5
	MAYBE	2.43	YES	5.7
	MAYBE	2.65	MAYBE	7.24
	YES	2.35	YES	5.5
	YES	2.41	MAYBE	5.5
	YES	2.34	MAYBE	5.53
	MAYBE	2.47	YES	5.58
	MAYBE	2.53	MAYBE	6.16
	MAYBE	2.66	YES	5.96
	MAYBE	2.41	MAYBE	5.74
	MAYBE	2.64	YES	5.74
	MAYBE	2.48	MAYBE	6.05
	MAYBE	2.43	MAYBE	5.75
	MAYBE	2.62	MAYBE	6.37
	MAYBE	2.59	MAYBE	5.96
	MAYBE	2.5	MAYBE	5.72
	YES	2.41	YES	5.54
	MAYBE	2.5	MAYBE	5.68
	MAYBE	2.59	MAYBE	5.73
	MAYBE	2.36	MAYBE	5.59
	MAYBE	3.32	MAYBE	5.96
	MAYBE	2.34	YES	5.49
	MAYBE	2.34	YES	5.56
	MAYBE	2.38	YES	5.57
	MAYBE	2.57	YES	10.28
	MAYBE	2.56	YES	5.67
	YES	2.35	MAYBE	5.59
	MAYBE	2.6	YES	5.82
	MAYBE	2.46	MAYBE	5.64
	MAYBE	2.47	MAYBE	5.57
	MAYBE	2.6	YES	5.83
	MAYBE	2.5	YES	5.83
	MAYBE	2.51	MAYBE	5.5
	MAYBE	2.71	YES	6.14
	MAYBE	2.36	YES	5.55
	MAYBE	2.62	YES	6.55
	MAYBE	2.53	YES	5.82
	MAYBE	2.48	YES	5.66
	MAYBE	2.4	YES	5.59
	MAYBE	2.83	TIMEOUT	60
	MAYBE	2.79	TIMEOUT	60
	MAYBE	2.51	YES	5.86
	MAYBE	2.37	YES	5.5
	MAYBE	2.5	MAYBE	5.96
	MAYBE	2.41	MAYBE	5.61
	MAYBE	2.54	MAYBE	6.42
	MAYBE	2.44	MAYBE	5.7
	MAYBE	2.51	YES	5.95
	MAYBE	2.42	MAYBE	5.59
	MAYBE	2.47	MAYBE	5.64
	MAYBE	2.47	MAYBE	5.61
	MAYBE	2.49	MAYBE	5.62
	MAYBE	2.4	MAYBE	5.61
	MAYBE	2.96	TIMEOUT	60