Cora evaluation page

The following table shows Cora's results on all the benchmarks we have considered, with various options disabled:

cbv termination / computability: nothing is disabled; we prove either termination or universal computability under a call-by-value reduction strategy
without chaining: the chaining processor is disabled
without usable rules: both the usable rules processor and the usable rules with respect to an argument filtering processor are disabled
without wrt: the usable rules with respect to an argument filtering processor is disabled

Filename	cbv termination	cbv termination without chaining	cbv termination without usable rules	cbv termination without wrt	cbv computability	cbv computability without chaining	cbv computability without usable rules	cbv computability without wrt
add	YES 0.18	YES 0.21	YES 0.20	YES 0.19	YES 0.19	YES 0.18	YES 0.17	YES 0.20
ex_01_take	YES 0.19	YES 0.22	YES 0.22	YES 0.20	YES 0.20	YES 0.20	YES 0.18	YES 0.19
ex_02_iterate	MAYBE 0.24	MAYBE 0.26	MAYBE 0.27	MAYBE 0.20	MAYBE 0.21	MAYBE 0.22	MAYBE 0.16	MAYBE 0.20
ex_05_take	YES 0.20	YES 0.20	YES 0.20	YES 0.17	YES 0.18	YES 0.20	YES 0.20	YES 0.22
ex_06_factfold	YES 0.41	YES 0.42	YES 0.38	YES 0.40	YES 0.41	YES 0.39	YES 0.38	YES 0.39
ex_08_readint	YES 0.16	YES 0.17	YES 0.17	YES 0.18	YES 0.16	YES 0.17	YES 0.16	YES 0.18
ex_09_rec	YES 0.41	YES 0.45	YES 0.36	YES 0.34	YES 0.36	YES 0.36	YES 0.43	YES 0.39
exp	YES 0.44	YES 0.43	YES 0.39	YES 0.37	YES 0.44	YES 0.42	YES 0.40	YES 0.42
factunit	YES 0.43	YES 0.36	YES 0.30	YES 0.31	YES 0.31	YES 0.32	YES 0.30	YES 0.31
map	YES 0.24	YES 0.25	YES 0.23	YES 0.21	YES 0.21	YES 0.21	YES 0.24	YES 0.22
muldifference	YES 0.26	YES 0.31	YES 0.23	YES 0.24	YES 0.26	YES 0.25	MAYBE 0.18	YES 0.27
nonterminate	MAYBE 0.74	MAYBE 0.75	MAYBE 0.50	MAYBE 0.55	MAYBE 0.60	MAYBE 0.57	MAYBE 0.42	MAYBE 0.55
sum	YES 0.29	YES 0.28	YES 0.29	YES 0.27	YES 0.26	YES 0.27	YES 0.26	YES 0.30
complist	YES 0.18	YES 0.21	YES 0.19	YES 0.18	YES 0.19	YES 0.20	YES 0.18	YES 0.21
factcps	YES 0.47	YES 0.53	YES 0.44	YES 0.48	YES 0.47	YES 0.48	YES 0.46	YES 0.46
fsum	MAYBE 0.84	MAYBE 0.88	MAYBE 0.76	MAYBE 0.74	MAYBE 0.82	MAYBE 0.82	MAYBE 0.50	MAYBE 0.73
gcd	YES 1.04	YES 1.16	YES 0.99	YES 0.97	YES 0.95	YES 0.97	YES 1.02	YES 0.95
lambda	MAYBE 0.17	MAYBE 0.15	MAYBE 0.17	MAYBE 0.15	MAYBE 0.16	MAYBE 0.17	MAYBE 0.19	MAYBE 0.16
nondetnonterm	YES 0.20	YES 0.18	YES 0.18	YES 0.17	YES 0.16	YES 0.20	YES 0.17	YES 0.17
private	YES 0.41	YES 0.48	YES 0.46	YES 0.43	YES 0.42	YES 0.44	YES 0.41	YES 0.42
random	YES 0.17	YES 0.20	YES 0.18	YES 0.17	YES 0.19	YES 0.17	YES 0.17	YES 0.18
theorval	YES 0.38	YES 0.94	YES 0.39	YES 0.37	YES 0.38	YES 0.91	YES 0.35	YES 0.37
count_up	YES 0.53	MAYBE 4.26	YES 0.48	YES 0.50	YES 0.49	MAYBE 4.20	YES 0.48	YES 0.47
nested_loop_invariant	MAYBE 2.60	MAYBE 29.38	MAYBE 2.18	MAYBE 2.17	MAYBE 2.58	MAYBE 29.18	MAYBE 1.00	MAYBE 2.23
nested_loop	YES 2.75	MAYBE 29.65	YES 2.59	YES 2.48	YES 2.50	MAYBE 29.21	YES 2.57	YES 2.57
skipfold2	YES 0.66	YES 0.58	YES 0.63	YES 0.55	YES 0.58	YES 0.63	MAYBE 0.36	MAYBE 0.37
skipfold	YES 0.68	YES 0.63	YES 0.75	YES 0.70	YES 0.64	YES 0.67	MAYBE 0.36	YES 0.68
ack	YES 0.29	YES 0.25	YES 0.26	YES 0.27	YES 0.25	YES 0.25	YES 0.25	YES 0.25
basic	YES 0.18	YES 0.18	YES 0.17	YES 0.16	YES 0.17	YES 0.18	YES 0.19	YES 0.18
eval	YES 0.37	YES 0.32	YES 0.32	YES 0.33	YES 0.33	YES 0.33	YES 0.34	YES 0.35
extended	YES 0.26	YES 0.22	YES 0.24	YES 0.22	YES 0.25	YES 0.25	MAYBE 0.17	YES 0.23
impossible	MAYBE 0.47	MAYBE 0.48	MAYBE 0.33	MAYBE 0.42	MAYBE 0.50	MAYBE 0.48	MAYBE 0.31	MAYBE 0.44
lopstrs24	MAYBE 0.86	MAYBE 0.80	MAYBE 0.92	MAYBE 0.76	MAYBE 0.80	MAYBE 0.83	MAYBE 0.48	MAYBE 0.79
mutually_recursive_value_criterion	YES 0.46	YES 2.20	YES 0.44	YES 0.46	YES 0.49	YES 2.18	YES 0.43	YES 0.45
nohorpo	MAYBE 1.01	MAYBE 0.95	MAYBE 0.62	MAYBE 0.72	MAYBE 0.98	MAYBE 0.96	MAYBE 0.30	MAYBE 0.71
orientation	YES 0.48	YES 1.28	YES 0.44	YES 0.47	YES 0.47	YES 1.29	YES 0.45	YES 0.47
sorted	YES 0.20	YES 0.18	YES 0.20	YES 0.17	YES 0.20	YES 0.16	YES 0.19	YES 0.21
sum2	YES 0.29	YES 0.26	YES 0.28	YES 0.25	YES 0.26	YES 0.31	YES 0.26	YES 0.26
01	YES 0.37	YES 0.38	YES 0.32	YES 0.33	YES 0.38	YES 0.33	YES 0.33	YES 0.34
02	YES 0.38	YES 0.31	YES 0.30	YES 0.32	YES 0.34	YES 0.31	YES 0.33	YES 0.40
03	YES 0.39	YES 0.36	YES 0.34	YES 0.36	YES 0.35	YES 0.35	YES 0.35	YES 0.36
04	YES 0.20	YES 0.18	YES 0.18	YES 0.21	YES 0.18	YES 0.17	YES 0.18	YES 0.17
05	YES 0.17	YES 0.15	YES 0.18	YES 0.17	YES 0.20	YES 0.17	YES 0.16	YES 0.18
06	YES 0.16	YES 0.19	YES 0.18	YES 0.15	YES 0.16	YES 0.17	YES 0.17	YES 0.16
07	YES 0.18	YES 0.18	YES 0.16	YES 0.16	YES 0.16	YES 0.17	YES 0.18	YES 0.15
08	YES 0.37	YES 0.36	YES 0.36	YES 0.34	YES 0.35	YES 0.35	YES 0.33	YES 0.37
09	YES 0.43	YES 0.40	YES 0.42	YES 0.43	YES 0.47	YES 0.44	YES 0.42	YES 0.43
10	YES 0.59	YES 0.53	YES 0.57	YES 0.54	YES 0.57	YES 0.57	YES 0.58	YES 0.54
11	YES 0.39	YES 0.37	YES 0.41	YES 0.43	YES 0.41	YES 0.39	YES 0.40	YES 0.42
13	YES 0.40	YES 0.39	YES 0.39	YES 0.38	YES 0.39	YES 0.39	YES 0.40	YES 0.38
15	YES 0.68	YES 0.70	YES 0.68	YES 0.70	YES 0.68	YES 0.68	YES 0.74	YES 0.71
16	YES 0.82	YES 0.86	YES 0.84	YES 0.88	YES 0.82	YES 0.86	YES 0.88	YES 0.83
17	YES 1.30	YES 1.34	YES 1.32	YES 1.37	YES 1.29	YES 1.33	YES 1.35	YES 1.37
18	YES 1.23	YES 1.25	YES 1.20	YES 1.24	YES 1.19	YES 1.27	YES 1.19	YES 1.27
19	YES 1.49	YES 1.48	YES 1.53	YES 1.42	YES 1.48	YES 1.46	YES 1.49	YES 1.50
20	YES 0.42	YES 0.40	YES 0.46	YES 0.41	YES 0.41	YES 0.42	YES 0.43	YES 0.44
21	YES 0.49	YES 0.50	YES 0.49	YES 0.49	YES 0.48	YES 0.47	YES 0.49	YES 0.48
22	YES 0.70	YES 3.85	YES 0.70	YES 0.75	YES 0.68	YES 3.96	YES 0.71	YES 0.69
23	YES 0.84	YES 5.44	YES 0.82	YES 0.84	YES 0.86	YES 5.35	YES 0.86	YES 0.82
24	YES 0.65	YES 0.74	YES 0.69	YES 0.68	YES 0.70	YES 0.71	YES 0.68	YES 0.69
a.01	YES 1.09	YES 4.67	YES 1.09	YES 1.10	YES 1.10	YES 4.74	YES 1.07	YES 1.08
A01	MAYBE 0.91	MAYBE 4.62	MAYBE 0.89	MAYBE 0.76	MAYBE 0.88	MAYBE 4.62	MAYBE 0.39	MAYBE 0.78
a.02	YES 0.91	YES 0.82	YES 0.83	YES 0.83	YES 0.79	YES 0.81	YES 0.82	YES 0.84
A02	MAYBE 0.82	MAYBE 0.79	MAYBE 0.50	MAYBE 0.65	MAYBE 0.77	MAYBE 0.76	MAYBE 0.35	MAYBE 0.65
a.03	YES 31.31	TIMEOUT	YES 29.23	YES 28.91	YES 29.15	TIMEOUT	YES 29.29	YES 29.47
A03	MAYBE 0.99	MAYBE 4.77	MAYBE 0.81	MAYBE 0.76	MAYBE 0.88	MAYBE 4.75	MAYBE 0.43	MAYBE 0.79
a.04	YES 0.34	YES 0.31	YES 0.32	YES 0.32	YES 0.31	YES 0.34	YES 0.32	YES 0.38
A04	MAYBE 1.06	MAYBE 4.15	MAYBE 0.93	MAYBE 0.79	MAYBE 1.02	MAYBE 4.11	MAYBE 0.41	MAYBE 0.77
a.05	YES 0.33	YES 0.31	YES 0.32	YES 0.29	YES 0.30	YES 0.30	YES 0.32	YES 0.28
A05	YES 0.20	YES 0.20	YES 0.21	YES 0.24	YES 0.21	YES 0.21	YES 0.20	YES 0.19
a.06	YES 0.38	YES 0.34	YES 0.36	YES 0.34	YES 0.38	YES 0.34	YES 0.36	YES 0.36
A06	MAYBE 2.60	MAYBE 2.51	MAYBE 1.31	MAYBE 1.92	MAYBE 2.43	MAYBE 2.44	MAYBE 0.79	MAYBE 1.91
a.07	YES 0.42	YES 0.38	YES 0.39	YES 0.35	YES 0.41	YES 0.38	YES 0.40	YES 0.38
A07	MAYBE 22.28	MAYBE 20.59	MAYBE 10.42	MAYBE 19.97	MAYBE 20.41	MAYBE 20.47	MAYBE 9.86	MAYBE 20.02
a.08	YES 0.30	YES 0.28	YES 0.29	YES 0.32	YES 0.30	YES 0.30	YES 0.28	YES 0.29
A08	MAYBE 2.65	MAYBE 2.44	MAYBE 1.32	MAYBE 1.93	MAYBE 2.50	MAYBE 2.47	MAYBE 0.82	MAYBE 1.97
a.09	YES 0.55	YES 0.44	YES 0.39	YES 0.37	YES 0.37	YES 0.41	YES 0.38	YES 0.41
A09	MAYBE 3.40	MAYBE 2.98	MAYBE 1.74	MAYBE 2.72	MAYBE 2.98	MAYBE 3.01	MAYBE 1.32	MAYBE 2.72
a.10	YES 0.71	YES 0.67	YES 0.64	YES 0.65	YES 0.65	YES 0.63	YES 0.67	YES 0.65
A10	MAYBE 3.13	MAYBE 2.96	MAYBE 1.66	MAYBE 2.65	MAYBE 2.90	MAYBE 2.96	MAYBE 1.28	MAYBE 2.68
a.11	YES 1.97	MAYBE 23.73	YES 1.84	YES 1.82	YES 1.78	MAYBE 23.56	YES 1.81	YES 1.81
A11	MAYBE 0.91	MAYBE 0.79	MAYBE 0.48	MAYBE 0.62	MAYBE 0.78	MAYBE 0.75	MAYBE 0.31	MAYBE 0.62
A12	MAYBE 0.80	MAYBE 0.87	MAYBE 0.53	MAYBE 0.63	MAYBE 0.85	MAYBE 0.85	MAYBE 0.32	MAYBE 0.66
A13	MAYBE 15.19	MAYBE 15.43	MAYBE 8.19	MAYBE 13.81	MAYBE 14.49	MAYBE 15.04	MAYBE 6.82	MAYBE 13.85
A14	MAYBE 16.23	MAYBE 11.49	MAYBE 7.82	MAYBE 14.14	MAYBE 14.45	MAYBE 11.40	MAYBE 7.15	MAYBE 14.65
A15	MAYBE 2.77	MAYBE 2.41	MAYBE 1.83	MAYBE 2.25	MAYBE 2.30	MAYBE 2.45	MAYBE 1.29	MAYBE 2.23
A16	YES 0.28	YES 0.22	YES 0.23	YES 0.24	YES 0.27	YES 0.23	YES 0.26	YES 0.21
A17	MAYBE 7.51	MAYBE 7.08	MAYBE 3.94	MAYBE 6.39	MAYBE 6.68	MAYBE 6.93	MAYBE 3.07	MAYBE 6.36
abstractions	YES 0.89	YES 0.82	YES 0.80	YES 0.80	YES 0.80	YES 0.80	YES 0.85	YES 0.81
ackTen	MAYBE 15.30	MAYBE 14.02	MAYBE 7.21	MAYBE 13.51	MAYBE 13.88	MAYBE 13.94	MAYBE 6.74	MAYBE 13.22
c.01	YES 1.16	YES 4.00	YES 1.05	YES 1.01	YES 1.01	YES 3.95	YES 1.05	YES 1.08
c.02	YES 1.16	YES 4.02	YES 1.03	YES 1.02	YES 1.01	YES 4.01	YES 1.05	YES 1.03
c.03	YES 0.99	YES 0.94	YES 0.92	YES 0.91	YES 0.94	YES 0.97	YES 0.98	YES 0.92
c.04	YES 0.57	YES 0.52	YES 0.51	YES 0.55	YES 0.53	YES 0.52	YES 0.51	YES 0.55
c.05	YES 1.49	YES 1.39	YES 1.30	YES 1.32	YES 1.37	YES 1.36	YES 1.35	YES 1.32
choice	MAYBE 1.61	MAYBE 1.54	MAYBE 0.88	MAYBE 1.18	MAYBE 1.47	MAYBE 1.48	MAYBE 0.57	MAYBE 1.16
collatz	MAYBE 3.95	MAYBE 3.37	MAYBE 2.28	MAYBE 3.89	MAYBE 3.99	MAYBE 3.22	MAYBE 2.03	MAYBE 3.89
complete1	YES 0.30	YES 0.29	YES 0.28	YES 0.31	YES 0.32	YES 0.38	YES 0.31	YES 0.31
complete2	MAYBE 0.40	MAYBE 0.42	MAYBE 0.30	MAYBE 0.41	MAYBE 0.43	MAYBE 0.42	MAYBE 0.25	MAYBE 0.38
complete3	YES 0.84	YES 2.47	YES 0.83	YES 0.77	YES 0.78	YES 2.39	YES 0.81	YES 0.80
complete4	YES 0.74	YES 0.77	YES 0.77	YES 0.73	YES 0.75	YES 0.75	YES 0.76	YES 0.74
conv	YES 0.47	YES 0.43	YES 0.41	YES 0.44	YES 0.45	YES 0.42	YES 0.40	YES 0.45
countdown	MAYBE 0.57	MAYBE 0.51	MAYBE 0.42	MAYBE 0.46	MAYBE 0.53	MAYBE 0.56	MAYBE 0.31	MAYBE 0.42
countUpExp	MAYBE 1.00	MAYBE 4.84	MAYBE 0.97	MAYBE 0.83	MAYBE 0.98	MAYBE 4.86	MAYBE 0.48	MAYBE 0.83
countup	MAYBE 0.52	MAYBE 0.46	MAYBE 0.35	MAYBE 0.45	MAYBE 0.48	MAYBE 0.46	MAYBE 0.24	MAYBE 0.39
countUpNo	YES 0.21	YES 0.15	YES 0.18	YES 0.18	YES 0.16	YES 0.15	YES 0.16	YES 0.15
csharp1	YES 0.18	YES 0.19	YES 0.18	YES 0.18	YES 0.19	YES 0.19	YES 0.18	YES 0.19
csharp2	YES 0.18	YES 0.19	YES 0.18	YES 0.19	YES 0.20	YES 0.18	YES 0.17	YES 0.21
csharp3	YES 0.20	YES 0.19	YES 0.18	YES 0.18	YES 0.19	YES 0.20	YES 0.18	YES 0.19
div	YES 0.41	YES 0.39	YES 0.38	YES 0.42	YES 0.37	YES 0.42	YES 0.38	YES 0.40
divMinus	MAYBE 0.94	MAYBE 4.84	MAYBE 0.84	MAYBE 0.77	MAYBE 0.92	MAYBE 4.75	MAYBE 0.42	MAYBE 0.81
eratosthenes	MAYBE 2.73	MAYBE 2.68	MAYBE 2.64	MAYBE 2.11	MAYBE 2.63	MAYBE 2.71	MAYBE 1.51	MAYBE 2.15
eratosthenes_small	MAYBE 1.31	MAYBE 1.34	MAYBE 1.28	MAYBE 1.01	MAYBE 1.36	MAYBE 1.33	MAYBE 0.74	MAYBE 1.07
Ex04	MAYBE 2.99	MAYBE 2.78	MAYBE 1.53	MAYBE 2.60	MAYBE 2.71	MAYBE 2.76	MAYBE 1.30	MAYBE 2.59
Ex09	MAYBE 2.98	MAYBE 2.76	MAYBE 1.61	MAYBE 2.61	MAYBE 2.75	MAYBE 2.72	MAYBE 1.35	MAYBE 2.59
extra1	MAYBE 0.57	MAYBE 0.50	MAYBE 0.37	MAYBE 0.42	MAYBE 0.49	MAYBE 0.49	MAYBE 0.28	MAYBE 0.40
extra2	MAYBE 0.83	MAYBE 0.81	MAYBE 0.52	MAYBE 0.63	MAYBE 0.78	MAYBE 0.80	MAYBE 0.38	MAYBE 0.66
f91	MAYBE 0.40	MAYBE 0.43	MAYBE 0.30	MAYBE 0.32	MAYBE 0.41	MAYBE 0.43	MAYBE 0.26	MAYBE 0.36
gcd_minmax	YES 0.89	YES 0.91	YES 0.89	YES 0.81	YES 0.83	YES 0.87	YES 0.85	YES 0.86
incList	YES 0.20	YES 0.20	YES 0.18	YES 0.19	YES 0.18	YES 0.19	YES 0.20	YES 0.18
increase1	YES 0.32	YES 0.31	YES 0.36	YES 0.31	YES 0.35	YES 0.31	YES 0.30	YES 0.31
increase2	YES 0.68	YES 0.68	YES 0.66	YES 0.66	YES 0.65	YES 0.65	YES 0.69	YES 0.68
increase3	YES 1.00	YES 1.01	YES 1.00	YES 0.98	YES 1.00	YES 1.00	YES 0.99	YES 1.00
increase4	YES 0.32	YES 0.31	YES 0.30	YES 0.31	YES 0.29	YES 0.30	YES 0.31	YES 0.31
indirect	MAYBE 9.59	MAYBE 8.85	MAYBE 4.87	MAYBE 8.77	MAYBE 8.91	MAYBE 8.81	MAYBE 4.55	MAYBE 8.99
log_RTA08	YES 0.39	YES 0.33	YES 0.38	YES 0.32	YES 0.34	YES 0.36	YES 0.36	YES 0.35
log_RTA09	MAYBE 0.93	MAYBE 4.52	MAYBE 0.84	MAYBE 0.80	MAYBE 1.01	MAYBE 4.75	MAYBE 0.40	MAYBE 0.79
maxsort	MAYBE 1.02	MAYBE 1.03	MAYBE 0.69	MAYBE 0.86	MAYBE 1.00	MAYBE 1.04	MAYBE 0.37	MAYBE 0.84
minsort	YES 1.04	YES 1.06	YES 1.10	YES 1.00	YES 1.00	YES 1.02	MAYBE 0.42	YES 1.02
mult	YES 0.43	YES 0.41	YES 0.39	YES 0.42	YES 0.40	YES 0.42	YES 0.42	YES 0.41
poly1	MAYBE 2.77	MAYBE 2.59	MAYBE 1.37	MAYBE 1.83	MAYBE 2.57	MAYBE 2.54	MAYBE 0.64	MAYBE 1.88
poly2	MAYBE 2.85	MAYBE 2.65	MAYBE 1.47	MAYBE 2.08	MAYBE 2.62	MAYBE 2.66	MAYBE 0.77	MAYBE 2.12
poly3	MAYBE 4.05	MAYBE 4.11	MAYBE 2.65	MAYBE 2.49	MAYBE 3.98	MAYBE 4.00	MAYBE 0.87	MAYBE 2.61
poly4	YES 2.48	YES 2.40	YES 2.29	YES 2.22	YES 2.27	YES 2.31	YES 2.26	YES 2.26
powFast	MAYBE 47.99	MAYBE 29.75	MAYBE 22.85	MAYBE 42.24	MAYBE 43.75	MAYBE 30.17	MAYBE 21.24	MAYBE 42.48
pow	MAYBE 1.07	MAYBE 4.70	MAYBE 0.77	MAYBE 0.85	MAYBE 1.00	MAYBE 4.81	MAYBE 0.43	MAYBE 0.80
practical1	YES 0.83	YES 2.43	YES 0.82	YES 0.80	YES 0.83	YES 2.45	YES 0.79	YES 0.78
practical2	YES 13.04	TIMEOUT	YES 11.88	YES 11.94	YES 11.95	TIMEOUT	YES 11.80	YES 12.06
practical3	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT
quicksort	YES 1.00	YES 0.89	TIMEOUT	YES 0.92	YES 0.95	YES 0.88	MAYBE 0.53	YES 0.89
random_full	YES 0.53	YES 0.49	YES 0.51	YES 0.49	YES 0.51	YES 0.52	YES 0.50	YES 0.53
random_full_no_wrap	YES 0.54	YES 0.48	YES 0.49	YES 0.49	YES 0.50	YES 0.49	YES 0.48	YES 0.51
randomFullUpDown	MAYBE 1.51	MAYBE 1.36	MAYBE 0.97	MAYBE 1.15	MAYBE 1.38	MAYBE 1.31	MAYBE 0.56	MAYBE 1.13
random	YES 0.37	YES 0.34	YES 0.30	YES 0.33	YES 0.34	YES 0.31	YES 0.32	YES 0.32
random_no_wrap	YES 0.34	YES 0.33	YES 0.32	YES 0.34	YES 0.31	YES 0.35	YES 0.31	YES 0.37
round	MAYBE 0.56	MAYBE 0.56	MAYBE 0.39	MAYBE 0.47	MAYBE 0.52	MAYBE 0.53	MAYBE 0.33	MAYBE 0.48
sqrt_new	MAYBE 1.00	MAYBE 4.71	MAYBE 0.79	MAYBE 0.84	MAYBE 0.92	MAYBE 4.89	MAYBE 0.46	MAYBE 0.82
sqrt_patrs	YES 0.47	YES 0.42	YES 0.46	YES 0.43	YES 0.42	YES 0.44	YES 0.43	YES 0.43
sum	MAYBE 1.01	MAYBE 4.67	MAYBE 0.78	MAYBE 0.78	MAYBE 0.91	MAYBE 4.68	MAYBE 0.41	MAYBE 0.76
sumto	YES 0.33	YES 0.32	YES 0.33	YES 0.35	YES 0.32	YES 0.32	YES 0.33	YES 0.33
sumto_no_if	YES 0.35	YES 0.31	YES 0.29	YES 0.31	YES 0.29	YES 0.31	YES 0.28	YES 0.28
terminate	YES 0.97	YES 0.86	YES 0.70	YES 0.84	YES 0.81	YES 0.83	MAYBE 0.35	YES 0.82
thousand	MAYBE 0.49	MAYBE 0.46	MAYBE 0.30	MAYBE 0.42	MAYBE 0.45	MAYBE 0.46	MAYBE 0.25	MAYBE 0.39
unsatCond1	YES 0.18	YES 0.16	YES 0.17	YES 0.20	YES 0.20	YES 0.18	YES 0.17	YES 0.17
unsatCond2	YES 0.18	YES 0.16	YES 0.18	YES 0.17	YES 0.17	YES 0.17	YES 0.19	YES 0.18
02Ackermann	YES 0.29	YES 0.26	YES 0.30	YES 0.24	YES 0.30	YES 0.27	YES 0.25	YES 0.29
03minus	YES 0.18	YES 0.19	YES 0.18	YES 0.18	YES 0.18	YES 0.18	YES 0.18	YES 0.19
04arrow	YES 0.35	YES 0.30	YES 0.33	YES 0.33	YES 0.32	YES 0.33	MAYBE 0.18	YES 0.31
05height	YES 0.24	YES 0.22	YES 0.24	YES 0.22	YES 0.23	YES 0.23	YES 0.21	YES 0.22
06plusmult	YES 0.61	YES 0.58	YES 0.56	YES 0.57	YES 0.54	YES 0.60	YES 0.58	YES 0.52
AotoYamada_05__001	MAYBE 0.27	MAYBE 0.25	MAYBE 0.22	MAYBE 0.21	MAYBE 0.22	MAYBE 0.22	MAYBE 0.23	MAYBE 0.17
AotoYamada_05__002	YES 0.23	YES 0.20	YES 0.22	YES 0.21	YES 0.25	YES 0.21	YES 0.23	YES 0.24
AotoYamada_05__003	MAYBE 0.32	MAYBE 0.30	MAYBE 0.28	MAYBE 0.26	MAYBE 0.27	MAYBE 0.25	MAYBE 0.18	MAYBE 0.20
AotoYamada_05__004	YES 0.28	YES 0.24	YES 0.21	YES 0.23	YES 0.22	YES 0.23	YES 0.27	YES 0.25
AotoYamada_05__005	YES 0.22	YES 0.22	YES 0.20	YES 0.21	YES 0.24	YES 0.19	YES 0.21	YES 0.20
AotoYamada_05__006	YES 0.23	YES 0.20	YES 0.22	YES 0.20	YES 0.21	YES 0.21	YES 0.21	YES 0.20
AotoYamada_05__007	YES 0.27	YES 0.29	YES 0.24	YES 0.26	YES 0.23	YES 0.24	YES 0.23	YES 0.24
AotoYamada_05__009	YES 0.28	YES 0.25	YES 0.25	YES 0.24	YES 0.24	YES 0.24	YES 0.23	YES 0.24
AotoYamada_05__010	YES 0.38	YES 0.34	YES 0.33	YES 0.34	YES 0.32	YES 0.33	YES 0.31	YES 0.35
AotoYamada_05__011	YES 0.33	YES 0.26	YES 0.25	YES 0.26	YES 0.25	YES 0.25	YES 0.27	YES 0.25
AotoYamada_05__012	YES 0.29	YES 0.31	YES 0.24	YES 0.23	YES 0.27	YES 0.26	YES 0.28	YES 0.25
AotoYamada_05__013	YES 0.35	YES 0.34	YES 0.33	YES 0.33	YES 0.32	YES 0.32	YES 0.33	YES 0.33
AotoYamada_05__014	YES 0.35	YES 0.33	YES 0.34	YES 0.32	YES 0.31	YES 0.34	YES 0.31	YES 0.30
AotoYamada_05__015	YES 0.26	YES 0.27	YES 0.26	YES 0.25	YES 0.28	YES 0.26	YES 0.26	YES 0.31
AotoYamada_05__016	YES 0.32	YES 0.33	YES 0.33	YES 0.32	YES 0.29	YES 0.30	YES 0.31	YES 0.33
AotoYamada_05__017	YES 0.18	YES 0.15	YES 0.16	YES 0.17	YES 0.13	YES 0.14	YES 0.13	YES 0.15
AotoYamada_05__019	YES 0.18	YES 0.17	YES 0.15	YES 0.17	YES 0.14	YES 0.15	YES 0.14	YES 0.16
AotoYamada_05__020	YES 0.26	YES 0.26	YES 0.25	YES 0.29	YES 0.22	YES 0.29	YES 0.23	YES 0.29
AotoYamada_05__021	YES 0.33	YES 0.35	YES 0.36	YES 0.32	YES 0.33	YES 0.31	YES 0.32	YES 0.33
AotoYamada_05__022	YES 0.29	YES 0.24	YES 0.23	YES 0.22	YES 0.22	YES 0.21	YES 0.23	YES 0.25
AotoYamada_05__023	YES 0.23	YES 0.21	YES 0.20	YES 0.19	YES 0.21	YES 0.23	YES 0.21	YES 0.21
AotoYamada_05__024	YES 0.22	YES 0.20	YES 0.19	YES 0.22	YES 0.20	YES 0.19	YES 0.20	YES 0.20
AotoYamada_05__025	YES 0.17	YES 0.15	YES 0.14	YES 0.15	YES 0.16	YES 0.17	YES 0.14	YES 0.14
AotoYamada_05__026	YES 0.21	YES 0.21	YES 0.20	YES 0.21	YES 0.20	YES 0.21	YES 0.19	YES 0.21
AotoYamada_05__027	YES 0.32	YES 0.25	YES 0.26	YES 0.32	YES 0.25	YES 0.25	YES 0.26	YES 0.23
AotoYamada_05__028	YES 0.27	YES 0.22	YES 0.19	YES 0.22	YES 0.21	YES 0.25	YES 0.26	YES 0.22
AotoYamada_05__Ex1SimplyTyped	YES 0.28	YES 0.24	YES 0.23	YES 0.24	YES 0.24	YES 0.24	YES 0.25	YES 0.22
AotoYamada_05__Ex5TermProof	YES 0.32	YES 0.30	YES 0.28	YES 0.34	YES 0.30	YES 0.30	YES 0.30	YES 0.29
Applicative_05__BTreeMember	YES 0.36	YES 0.34	YES 0.33	YES 0.30	YES 0.30	YES 0.33	YES 0.32	YES 0.32
Applicative_05__Ex2_6_1Composition	YES 0.18	YES 0.20	YES 0.15	YES 0.14	YES 0.15	YES 0.16	YES 0.15	YES 0.16
Applicative_05__Ex2_8_1ConstSubstFix	MAYBE 0.27	MAYBE 0.28	MAYBE 0.20	MAYBE 0.22	MAYBE 0.23	MAYBE 0.25	MAYBE 0.19	MAYBE 0.21
Applicative_05__Ex3Lists	YES 0.56	YES 0.51	YES 0.52	YES 0.51	YES 0.50	YES 0.52	YES 0.50	YES 0.49
Applicative_05__Ex4MapList	YES 0.21	YES 0.25	YES 0.19	YES 0.19	YES 0.18	YES 0.18	YES 0.19	YES 0.18
Applicative_05__Ex5Folding	YES 0.33	YES 0.31	YES 0.30	YES 0.29	YES 0.29	YES 0.32	YES 0.29	YES 0.31
Applicative_05__Ex5Sorting	YES 0.43	YES 0.40	YES 0.40	YES 0.37	YES 0.39	YES 0.38	YES 0.38	YES 0.37
Applicative_05__Ex6_11	MAYBE 0.19	MAYBE 0.21	MAYBE 0.19	MAYBE 0.22	MAYBE 0.17	MAYBE 0.15	MAYBE 0.17	MAYBE 0.15
Applicative_05__Ex6Folding	YES 0.22	YES 0.21	YES 0.20	YES 0.21	YES 0.21	YES 0.22	YES 0.23	YES 0.21
Applicative_05__Ex6Recursor	YES 0.23	YES 0.24	YES 0.17	YES 0.18	YES 0.17	YES 0.19	YES 0.20	YES 0.18
Applicative_05__Ex7_9	YES 0.63	YES 0.55	YES 0.73	YES 0.53	YES 0.49	YES 0.49	MAYBE 0.38	YES 0.51
Applicative_05__Ex7OrdinalRec	MAYBE 0.25	MAYBE 0.21	MAYBE 0.19	MAYBE 0.20	MAYBE 0.15	MAYBE 0.15	MAYBE 0.15	MAYBE 0.16
Applicative_05__Ex7Sorting	YES 0.50	YES 0.42	YES 0.40	YES 0.36	YES 0.38	YES 0.40	YES 0.39	YES 0.40
Applicative_05__Ex9Maps	YES 0.31	YES 0.27	YES 0.25	YES 0.24	YES 0.25	YES 0.27	YES 0.28	YES 0.26
Applicative_05__Hamming	MAYBE 1.34	MAYBE 1.24	MAYBE 1.19	MAYBE 1.14	MAYBE 1.22	MAYBE 1.20	MAYBE 1.22	MAYBE 1.17
Applicative_05__mapDivMinusHard	MAYBE 0.40	MAYBE 0.39	MAYBE 0.39	MAYBE 0.39	MAYBE 0.38	MAYBE 0.39	MAYBE 0.30	MAYBE 0.36
Applicative_05__mapDivMinus	YES 0.42	YES 0.38	YES 0.41	YES 0.35	YES 0.38	YES 0.36	MAYBE 0.27	YES 0.36
Applicative_05__ReverseLastInit	YES 0.31	YES 0.27	YES 0.23	YES 0.25	YES 0.25	YES 0.25	YES 0.26	YES 0.24
Applicative_05__TakeDropWhile	YES 0.29	YES 0.25	YES 0.25	YES 0.24	YES 0.23	YES 0.24	YES 0.26	YES 0.24
Applicative_05__termMonTypes	MAYBE 0.33	MAYBE 0.32	MAYBE 0.27	MAYBE 0.25	MAYBE 0.24	MAYBE 0.24	MAYBE 0.16	MAYBE 0.18
Applicative_05__TreeFlatten	MAYBE 0.44	MAYBE 0.42	MAYBE 0.47	MAYBE 0.40	MAYBE 0.43	MAYBE 0.36	MAYBE 0.35	MAYBE 0.36
Applicative_05__TreeHeight	MAYBE 0.44	MAYBE 0.41	MAYBE 0.53	MAYBE 0.40	MAYBE 0.40	MAYBE 0.39	MAYBE 0.34	MAYBE 0.35
Applicative_05__TreeLevels	MAYBE 0.55	MAYBE 0.52	MAYBE 0.60	MAYBE 0.43	MAYBE 0.44	MAYBE 0.49	MAYBE 0.40	MAYBE 0.45
Applicative_05__TreeMap	MAYBE 0.36	MAYBE 0.31	MAYBE 0.37	MAYBE 0.29	MAYBE 0.29	MAYBE 0.31	MAYBE 0.23	MAYBE 0.29
Applicative_05__TreeSize	MAYBE 0.44	MAYBE 0.43	MAYBE 0.46	MAYBE 0.39	MAYBE 0.39	MAYBE 0.42	MAYBE 0.34	MAYBE 0.41
Applicative_05__TypeEx5	MAYBE 0.28	MAYBE 0.26	MAYBE 0.24	MAYBE 0.27	MAYBE 0.27	MAYBE 0.27	MAYBE 0.20	MAYBE 0.26
Applicative_AG01_innermost__#4.10	MAYBE 0.49	MAYBE 0.44	MAYBE 0.44	MAYBE 0.40	MAYBE 0.41	MAYBE 0.45	MAYBE 0.27	MAYBE 0.39
Applicative_AG01_innermost__#4.13	MAYBE 0.44	MAYBE 0.41	MAYBE 0.50	MAYBE 0.40	MAYBE 0.39	MAYBE 0.44	MAYBE 0.26	MAYBE 0.40
Applicative_AG01_innermost__#4.15	MAYBE 0.70	MAYBE 0.63	MAYBE 0.72	MAYBE 0.48	MAYBE 0.59	MAYBE 0.59	MAYBE 0.31	MAYBE 0.55
Applicative_AG01_innermost__#4.17	MAYBE 0.57	MAYBE 0.56	MAYBE 0.70	MAYBE 0.50	MAYBE 0.53	MAYBE 0.53	MAYBE 0.30	MAYBE 0.48
Applicative_AG01_innermost__#4.19	MAYBE 0.74	MAYBE 0.65	MAYBE 0.69	MAYBE 0.53	MAYBE 0.69	MAYBE 0.60	MAYBE 0.35	MAYBE 0.57
Applicative_AG01_innermost__#4.22	YES 0.41	YES 0.36	YES 0.35	YES 0.36	YES 0.41	YES 0.34	YES 0.36	YES 0.38
Applicative_AG01_innermost__#4.24	YES 0.45	YES 0.43	YES 0.41	YES 0.38	YES 0.41	YES 0.41	YES 0.42	YES 0.46
Applicative_AG01_innermost__#4.26	MAYBE 0.70	MAYBE 0.64	MAYBE 0.90	MAYBE 0.52	MAYBE 0.63	MAYBE 0.62	MAYBE 0.34	MAYBE 0.51
Applicative_AG01_innermost__#4.28	MAYBE 0.49	MAYBE 0.50	MAYBE 0.55	MAYBE 0.39	MAYBE 0.44	MAYBE 0.45	MAYBE 0.29	MAYBE 0.39
Applicative_AG01_innermost__#4.2	MAYBE 0.52	MAYBE 0.50	MAYBE 0.61	MAYBE 0.44	MAYBE 0.46	MAYBE 0.48	MAYBE 0.29	MAYBE 0.42
Applicative_AG01_innermost__#4.34	YES 0.66	YES 0.65	YES 0.87	YES 0.57	YES 0.60	YES 0.56	MAYBE 0.34	YES 0.58
Applicative_AG01_innermost__#4.36	MAYBE 2.28	MAYBE 2.16	MAYBE 1.54	MAYBE 1.38	MAYBE 1.98	MAYBE 1.96	MAYBE 0.50	MAYBE 1.41
Applicative_AG01_innermost__#4.3	MAYBE 0.42	MAYBE 0.39	MAYBE 0.47	MAYBE 0.37	MAYBE 0.39	MAYBE 0.40	MAYBE 0.25	MAYBE 0.38
Applicative_AG01_innermost__#4.5	MAYBE 0.41	MAYBE 0.40	MAYBE 0.29	MAYBE 0.35	MAYBE 0.37	MAYBE 0.36	MAYBE 0.24	MAYBE 0.35
Applicative_AG01_innermost__#4.7	MAYBE 0.46	MAYBE 0.46	MAYBE 0.52	MAYBE 0.41	MAYBE 0.43	MAYBE 0.50	MAYBE 0.28	MAYBE 0.38
Applicative_AG01_innermost__#4.8	MAYBE 0.48	MAYBE 0.49	MAYBE 0.54	MAYBE 0.42	MAYBE 0.47	MAYBE 0.47	MAYBE 0.29	MAYBE 0.46
Applicative_first_order_05__01	YES 0.30	YES 0.31	YES 0.27	YES 0.31	YES 0.31	YES 0.28	YES 0.28	YES 0.32
Applicative_first_order_05__02	YES 0.30	YES 0.31	YES 0.28	YES 0.31	YES 0.27	YES 0.29	YES 0.29	YES 0.31
Applicative_first_order_05__06	YES 0.33	YES 0.38	YES 0.31	YES 0.35	YES 0.32	YES 0.32	YES 0.35	YES 0.31
Applicative_first_order_05__08	YES 0.87	YES 0.83	YES 0.82	YES 0.84	YES 0.81	YES 0.80	YES 0.83	YES 0.87
Applicative_first_order_05__11	YES 2.32	YES 2.32	YES 2.30	YES 2.36	YES 2.27	YES 2.30	YES 2.38	YES 2.34
Applicative_first_order_05__12	YES 1.02	YES 1.09	TIMEOUT	YES 1.01	YES 1.05	YES 1.03	MAYBE 0.65	YES 1.02
Applicative_first_order_05__13	MAYBE 1.56	MAYBE 1.44	MAYBE 1.30	MAYBE 1.39	MAYBE 1.51	MAYBE 1.50	MAYBE 0.99	MAYBE 1.33
Applicative_first_order_05__17	YES 0.50	YES 0.48	YES 0.46	YES 0.52	YES 0.48	YES 0.48	YES 0.48	YES 0.48
Applicative_first_order_05__18	YES 0.43	YES 0.35	YES 0.36	YES 0.36	YES 0.37	YES 0.37	YES 0.37	YES 0.41
Applicative_first_order_05__21	MAYBE 0.55	MAYBE 0.49	MAYBE 0.65	MAYBE 0.47	MAYBE 0.53	MAYBE 0.46	MAYBE 0.37	MAYBE 0.45
Applicative_first_order_05__29	YES 0.50	YES 0.47	YES 0.43	YES 0.44	YES 0.44	YES 0.49	YES 0.44	YES 0.47
Applicative_first_order_05__30	YES 1.10	YES 1.03	TIMEOUT	YES 1.04	YES 1.00	YES 1.08	MAYBE 0.58	YES 1.02
Applicative_first_order_05__#3.10	MAYBE 2.88	MAYBE 2.59	MAYBE 2.30	MAYBE 1.80	MAYBE 2.71	MAYBE 2.57	MAYBE 0.65	MAYBE 1.73
Applicative_first_order_05__#3.13	MAYBE 2.96	MAYBE 2.77	MAYBE 9.05	MAYBE 1.67	MAYBE 2.71	MAYBE 2.66	MAYBE 0.53	MAYBE 1.65
Applicative_first_order_05__#3.16	YES 0.49	YES 0.43	YES 0.45	YES 0.43	YES 0.43	YES 0.46	YES 0.45	YES 0.45
Applicative_first_order_05__#3.18	YES 0.80	YES 0.72	TIMEOUT	YES 0.72	YES 0.70	YES 0.69	MAYBE 0.53	YES 0.69
Applicative_first_order_05__#3.22	MAYBE 0.93	MAYBE 0.82	MAYBE 0.89	MAYBE 0.75	MAYBE 0.79	MAYBE 0.80	MAYBE 0.46	MAYBE 0.71
Applicative_first_order_05__#3.25	MAYBE 0.51	MAYBE 0.47	MAYBE 0.43	MAYBE 0.46	MAYBE 0.48	MAYBE 0.47	MAYBE 0.30	MAYBE 0.40
Applicative_first_order_05__#3.27	YES 0.42	YES 0.38	YES 0.39	YES 0.44	YES 0.37	YES 0.41	YES 0.41	YES 0.38
Applicative_first_order_05__#3.2	MAYBE 0.58	MAYBE 0.48	MAYBE 0.62	MAYBE 0.47	MAYBE 0.50	MAYBE 0.46	MAYBE 0.38	MAYBE 0.47
Applicative_first_order_05__#3.32	YES 0.35	YES 0.27	YES 0.31	YES 0.32	YES 0.30	YES 0.32	YES 0.29	YES 0.33
Applicative_first_order_05__#3.36	YES 0.71	YES 0.67	YES 0.78	YES 0.78	YES 0.69	YES 0.70	MAYBE 0.44	YES 0.75
Applicative_first_order_05__#3.38	MAYBE 0.92	MAYBE 0.82	MAYBE 0.86	MAYBE 0.67	MAYBE 0.80	MAYBE 0.82	MAYBE 0.37	MAYBE 0.70
Applicative_first_order_05__33	MAYBE 1.14	MAYBE 1.04	MAYBE 1.20	MAYBE 0.93	MAYBE 1.10	MAYBE 1.09	MAYBE 0.65	MAYBE 0.87
Applicative_first_order_05__#3.40	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	MAYBE 0.50	TIMEOUT
Applicative_first_order_05__#3.45	YES 0.48	YES 0.47	YES 0.62	YES 0.53	YES 0.46	YES 0.46	MAYBE 0.38	YES 0.48
Applicative_first_order_05__#3.48	MAYBE 1.00	MAYBE 0.90	MAYBE 1.02	MAYBE 0.74	MAYBE 0.94	MAYBE 0.91	MAYBE 0.46	MAYBE 0.76
Applicative_first_order_05__#3.52	YES 0.36	YES 0.38	YES 0.39	YES 0.32	YES 0.34	YES 0.33	YES 0.37	YES 0.37
Applicative_first_order_05__#3.55	MAYBE 1.85	MAYBE 1.81	MAYBE 1.76	MAYBE 1.28	MAYBE 1.94	MAYBE 1.75	MAYBE 0.66	MAYBE 1.31
Applicative_first_order_05__#3.57	MAYBE 1.15	MAYBE 1.17	MAYBE 1.19	MAYBE 0.94	MAYBE 1.09	MAYBE 1.09	MAYBE 0.54	MAYBE 0.95
Applicative_first_order_05__#3.6	MAYBE 1.01	MAYBE 0.99	MAYBE 1.21	MAYBE 0.71	MAYBE 0.99	MAYBE 0.93	MAYBE 0.44	MAYBE 0.75
Applicative_first_order_05__#3.8	MAYBE 0.69	MAYBE 0.61	MAYBE 0.68	MAYBE 0.57	MAYBE 0.63	MAYBE 0.67	MAYBE 0.35	MAYBE 0.55
Applicative_first_order_05__hydra	YES 0.39	YES 0.35	YES 0.35	YES 0.36	YES 0.38	YES 0.38	YES 0.37	YES 0.37
Applicative_first_order_05__minsort	MAYBE 1.27	MAYBE 1.22	MAYBE 1.37	MAYBE 0.95	MAYBE 1.21	MAYBE 1.25	MAYBE 0.61	MAYBE 0.95
Applicative_first_order_05__motivation	MAYBE 0.72	MAYBE 0.67	MAYBE 0.58	MAYBE 0.61	MAYBE 0.67	MAYBE 0.66	MAYBE 0.45	MAYBE 0.63
Applicative_first_order_05__perfect2	YES 0.90	YES 0.74	TIMEOUT	YES 0.79	YES 0.76	YES 0.81	MAYBE 0.66	YES 0.76
Applicative_first_order_05__perfect	YES 0.45	YES 0.42	YES 0.42	YES 0.43	YES 0.40	YES 0.43	YES 0.42	YES 0.40
apply	YES 0.20	YES 0.19	YES 0.19	YES 0.19	YES 0.18	YES 0.18	YES 0.18	YES 0.18
app	YES 0.15	YES 0.15	YES 0.14	YES 0.15	YES 0.14	YES 0.14	YES 0.15	YES 0.17
average	MAYBE 0.28	MAYBE 0.20	MAYBE 0.19	MAYBE 0.20	MAYBE 0.17	MAYBE 0.15	MAYBE 0.15	MAYBE 0.14
counterex2	MAYBE 0.18	MAYBE 0.17	MAYBE 0.16	MAYBE 0.14	MAYBE 0.16	MAYBE 0.14	MAYBE 0.14	MAYBE 0.13
curry1	YES 0.17	YES 0.16	YES 0.15	YES 0.14	YES 0.18	YES 0.14	YES 0.15	YES 0.14
eval	MAYBE 0.23	MAYBE 0.24	MAYBE 0.20	MAYBE 0.21	MAYBE 0.17	MAYBE 0.15	MAYBE 0.16	MAYBE 0.19
filter	YES 0.27	YES 0.24	YES 0.23	YES 0.28	YES 0.25	YES 0.22	YES 0.23	YES 0.25
findzero	MAYBE 0.26	MAYBE 0.22	MAYBE 0.21	MAYBE 0.24	MAYBE 0.15	MAYBE 0.15	MAYBE 0.19	MAYBE 0.15
foobar	MAYBE 0.17	MAYBE 0.15	MAYBE 0.20	MAYBE 0.14	MAYBE 0.14	MAYBE 0.16	MAYBE 0.14	MAYBE 0.14
fuhkop11frocos	YES 0.35	YES 0.38	YES 0.42	YES 0.33	YES 0.36	YES 0.41	MAYBE 0.30	YES 0.36
fuhkop12rta1	MAYBE 0.48	MAYBE 0.48	MAYBE 0.44	MAYBE 0.40	MAYBE 0.44	MAYBE 0.45	MAYBE 0.29	MAYBE 0.38
fuhs11frocos_a	MAYBE 0.31	MAYBE 0.27	MAYBE 0.27	MAYBE 0.29	MAYBE 0.35	MAYBE 0.28	MAYBE 0.18	MAYBE 0.27
h36	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	MAYBE 8.79	TIMEOUT
hrsdif2	MAYBE 0.23	MAYBE 0.23	MAYBE 0.20	MAYBE 0.22	MAYBE 0.20	MAYBE 0.20	MAYBE 0.19	MAYBE 0.18
if	YES 0.31	YES 0.35	YES 0.32	YES 0.31	YES 0.31	YES 0.31	MAYBE 0.19	MAYBE 0.20
kop12thesis_ex7.45_1	MAYBE 0.87	MAYBE 0.93	MAYBE 0.62	MAYBE 0.63	MAYBE 0.60	MAYBE 0.61	MAYBE 0.33	MAYBE 0.32
kop12thesis_ex7.45_2	MAYBE 0.77	MAYBE 0.78	MAYBE 0.57	MAYBE 0.53	MAYBE 0.55	MAYBE 0.59	MAYBE 0.31	MAYBE 0.31
lambda1	MAYBE 0.17	MAYBE 0.17	MAYBE 0.14	MAYBE 0.16	MAYBE 0.16	MAYBE 0.14	MAYBE 0.16	MAYBE 0.15
lambda2	MAYBE 0.46	MAYBE 0.41	MAYBE 0.35	MAYBE 0.35	MAYBE 0.54	MAYBE 0.52	MAYBE 0.29	MAYBE 0.42
lambda3	MAYBE 0.17	MAYBE 0.16	MAYBE 0.16	MAYBE 0.16	MAYBE 0.15	MAYBE 0.14	MAYBE 0.15	MAYBE 0.15
lambda5	MAYBE 0.16	MAYBE 0.15	MAYBE 0.17	MAYBE 0.18	MAYBE 0.15	MAYBE 0.14	MAYBE 0.16	MAYBE 0.15
map	YES 0.19	YES 0.18	YES 0.19	YES 0.22	YES 0.19	YES 0.19	YES 0.19	YES 0.19
merge	YES 0.40	YES 0.40	YES 0.43	YES 0.38	YES 0.37	YES 0.35	MAYBE 0.22	YES 0.36
noabs	MAYBE 0.17	MAYBE 0.16	MAYBE 0.17	MAYBE 0.20	MAYBE 0.18	MAYBE 0.15	MAYBE 0.16	MAYBE 0.14
plode	YES 0.27	YES 0.23	YES 0.23	YES 0.26	YES 0.22	YES 0.26	YES 0.22	YES 0.24
rec	YES 0.20	YES 0.18	YES 0.20	YES 0.21	YES 0.18	YES 0.19	YES 0.18	YES 0.20
shuffle	MAYBE 0.49	MAYBE 0.46	MAYBE 0.40	MAYBE 0.38	MAYBE 0.43	MAYBE 0.44	MAYBE 0.30	MAYBE 0.39
uncurry	YES 0.20	YES 0.15	YES 0.16	YES 0.15	YES 0.17	YES 0.16	YES 0.17	YES 0.15
Total YES	182	177	177	182	182	177	162	180
Total NO	0	0	0	0	0	0	0	0
Total MAYBE	110	113	110	110	110	113	132	112
Total TIMEOUT	3	5	8	3	3	5	1	3
Average Runtime	0.72	0.58	0.67	0.67	0.67	0.57	0.68	0.68