Tool	YES	MAYBE	TIMEOUT
AProVE	75 [2.44]	100 [2.88]	2
CiaoPP-det	61 [5.74]	109 [6.29]	7

Example	AProVE		CiaoPP-det
	YES	2.42	YES	5.56
	YES	2.37	YES	5.68
(non-term.)	MAYBE	2.89	MAYBE	5.61
	YES	2.36	MAYBE	5.49
	YES	2.38	MAYBE	5.61
	YES	2.34	MAYBE	5.47
	YES	2.35	MAYBE	5.5
	YES	2.35	MAYBE	5.55
	YES	2.4	YES	5.54
	YES	2.6	MAYBE	5.96
	MAYBE	2.52	MAYBE	5.66
	MAYBE	2.47	MAYBE	5.57
	MAYBE	2.49	MAYBE	5.89
	MAYBE	2.41	MAYBE	5.53
	YES	2.45	MAYBE	5.59
	YES	2.37	MAYBE	5.54
	YES	2.46	MAYBE	5.62
	YES	2.37	MAYBE	5.59
	YES	2.43	MAYBE	5.73
	YES	2.38	YES	5.57
	MAYBE	2.53	MAYBE	5.91
	MAYBE	2.36	YES	5.52
	MAYBE	2.6	MAYBE	5.54
	MAYBE	2.38	YES	5.62
	YES	2.43	MAYBE	5.55
	YES	2.37	MAYBE	5.51
	MAYBE	2.36	MAYBE	5.52
	MAYBE	2.39	MAYBE	5.73
	YES	2.38	MAYBE	5.59
	YES	2.36	MAYBE	5.58
	MAYBE	2.58	MAYBE	5.52
	MAYBE	2.63	YES	5.95
	MAYBE	2.43	MAYBE	5.6
	MAYBE	2.37	YES	5.71
	YES	2.46	YES	5.51
	YES	2.34	MAYBE	5.52
	YES	2.37	YES	5.6
	MAYBE	2.35	YES	5.52
	YES	2.52	MAYBE	5.61
	YES	2.38	YES	5.62
	MAYBE	2.44	YES	5.59
	YES	2.45	MAYBE	5.57
	MAYBE	2.62	YES	5.96
	MAYBE	2.51	TIMEOUT	60
	MAYBE	2.53	YES	5.74
	MAYBE	2.55	MAYBE	5.78
	MAYBE	2.6	YES	5.71
	MAYBE	2.98	MAYBE	6.05
	MAYBE	3.48	MAYBE	6.48
	MAYBE	2.76	MAYBE	5.83
	MAYBE	2.72	MAYBE	5.84
	MAYBE	2.6	MAYBE	6.42
	MAYBE	2.69	MAYBE	6.93
	MAYBE	2.6	MAYBE	6.67
	YES	2.53	MAYBE	6.58
	YES	2.34	MAYBE	5.57
	MAYBE	2.34	MAYBE	5.52
	MAYBE	2.71	MAYBE	5.73
	YES	2.57	YES	5.75
	MAYBE	2.59	MAYBE	5.62
	MAYBE	2.86	MAYBE	5.77
	MAYBE	2.48	YES	5.66
	YES	2.49	YES	5.72
	YES	2.54	YES	5.63
	YES	2.39	MAYBE	5.63
	MAYBE	2.4	YES	5.61
	YES	2.59	MAYBE	6.85
	YES	2.52	YES	5.7
	YES	2.53	YES	5.78
	YES	2.48	YES	5.71
	YES	2.49	YES	5.74
	MAYBE	2.5	YES	5.76
	MAYBE	2.67	YES	5.83
	MAYBE	2.89	MAYBE	6.13
	YES	2.42	YES	5.61
	YES	2.41	YES	5.56
	MAYBE	2.67	YES	6.05
	MAYBE	2.45	MAYBE	5.57
	YES	2.38	MAYBE	5.55
	YES	2.49	YES	5.64
	YES	2.37	MAYBE	5.86
	YES	2.47	MAYBE	5.83
	YES	2.39	YES	5.67
	MAYBE	2.54	MAYBE	5.83
	YES	2.37	MAYBE	5.62
	YES	2.41	YES	5.53
	MAYBE	2.53	YES	5.97
	MAYBE	2.71	MAYBE	6.01
	MAYBE	2.59	YES	6.06
	MAYBE	2.5	MAYBE	5.71
	MAYBE	2.5	MAYBE	5.78
	MAYBE	2.52	YES	5.58
	YES	2.36	YES	5.47
	YES	2.41	MAYBE	5.59
	YES	2.37	YES	5.63
	YES	2.58	YES	5.84
	TIMEOUT	60	MAYBE	7.56
	MAYBE	10.24	YES	5.98
	MAYBE	10.08	MAYBE	5.77
	MAYBE	3.02	MAYBE	5.84
	YES	2.86	YES	5.81
	MAYBE	2.5	MAYBE	5.73
	MAYBE	2.61	MAYBE	5.77
	MAYBE	3.19	MAYBE	5.91
	MAYBE	4.01	YES	5.8
	MAYBE	13.9	MAYBE	6.73
	YES	2.48	MAYBE	5.68
	YES	2.52	YES	5.6
	YES	2.42	MAYBE	5.59
	YES	2.38	MAYBE	5.56
	YES	2.45	MAYBE	5.54
	MAYBE	2.57	MAYBE	6.14
	YES	2.38	MAYBE	5.53
	YES	2.38	MAYBE	5.44
	MAYBE	2.35	MAYBE	5.54
	MAYBE	2.47	YES	5.67
	YES	2.42	MAYBE	9.29
	MAYBE	2.39	YES	5.48
	MAYBE	2.34	YES	5.46
	YES	2.41	YES	5.57
	YES	2.36	YES	5.58
	YES	2.38	YES	5.61
	MAYBE	2.41	MAYBE	5.47
	YES	2.44	MAYBE	6.53
	MAYBE	2.37	MAYBE	5.58
	MAYBE	2.36	MAYBE	5.62
	YES	2.37	YES	5.58
	YES	2.39	MAYBE	5.53
	MAYBE	2.33	MAYBE	5.61
	YES	2.39	MAYBE	5.63
	YES	2.35	MAYBE	5.53
	YES	2.38	MAYBE	5.67
	MAYBE	2.38	MAYBE	40.75
	YES	2.38	MAYBE	5.47
	YES	2.39	TIMEOUT	60
	MAYBE	2.48	MAYBE	5.7
	MAYBE	2.37	MAYBE	5.66
	YES	2.36	MAYBE	5.52
	MAYBE	2.32	MAYBE	5.65
	YES	2.52	MAYBE	5.63
	MAYBE	2.58	MAYBE	7.08
	MAYBE	2.53	YES	6.31
	MAYBE	2.41	YES	5.73
	MAYBE	2.5	MAYBE	5.74
	MAYBE	2.46	YES	5.86
	MAYBE	2.43	YES	5.98
	MAYBE	2.46	YES	5.85
	MAYBE	2.45	MAYBE	6.0
	MAYBE	2.58	MAYBE	6.12
	TIMEOUT	60	TIMEOUT	60
	MAYBE	2.56	MAYBE	6.01
	MAYBE	2.49	MAYBE	5.76
	YES	2.57	MAYBE	5.66
	MAYBE	3.73	MAYBE	6.58
	MAYBE	2.65	MAYBE	8.06
	MAYBE	3.39	MAYBE	5.84
	MAYBE	2.56	TIMEOUT	60
	YES	2.45	TIMEOUT	60
	YES	2.45	TIMEOUT	60
	MAYBE	2.43	MAYBE	5.67
	MAYBE	2.74	MAYBE	5.96
	MAYBE	2.6	MAYBE	5.83
	MAYBE	2.4	MAYBE	6.43
	MAYBE	2.5	YES	5.91
	MAYBE	2.53	MAYBE	9.95
	MAYBE	2.6	MAYBE	5.88
	MAYBE	3.36	MAYBE	10.89
	MAYBE	2.46	MAYBE	7.02
	YES	3.34	YES	6.22
	MAYBE	2.5	MAYBE	6.06
	MAYBE	2.58	YES	6.01
	MAYBE	2.86	YES	6.31
	MAYBE	3.17	TIMEOUT	60
	MAYBE	2.63	YES	6.37
	MAYBE	2.37	YES	5.65
	MAYBE	3.78	MAYBE	6.21
	MAYBE	2.85	MAYBE	5.87