The power of various processors in the static DP framework

This group of arguments consider the full framework from the paper, each time with one technique disabled. Only two additional techniques are included: non-termination proving outside the framework, and the delegation of a part of the proof obligations to a first-order tool. To reproduce the results with Wanda, use the following settings:

noform: formative rules disabled: ./wanda.exe -d rr,dynamic,fwrt,uwrt,fr
nouser: usable rules disabled: ./wanda.exe -d rr,dynamic,fwrt,uwrt,ur
nosc: subterm criterion disabled (also static subterm criterion): ./wanda.exe -d rr,dynamic,fwrt,uwrt,sc
nograph: dependency graph disabled: ./wanda.exe -d rr,dynamic,fwrt,uwrt,graph
notrip: reduction triples disabled: ./wanda.exe -d rr,dynamic,fwrt,uwrt,horpo,poly
nofo: first-order tool disabled: ./wanda.exe -d rr,dynamic,fwrt,uwrt -i none
fullsta: all techniques from the paper, plus first-order tool: ./wanda.exe -d rr,dynamic,fwrt,uwrt

Filename	noform	nouser	nosc	nograph	nopair	nofotoo	fullsta
01GoedelT	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
02Ackermann	YES 0.63	YES 0.46	YES 0.48	YES 0.50	YES 0.49	YES 0.01	YES 0.48
03minus	YES 0.45	YES 0.45	YES 0.44	YES 0.50	YES 0.44	YES 0.00	YES 0.46
04arrow	YES 0.45	YES 0.44	YES 0.46	YES 0.46	YES 0.47	YES 0.02	YES 0.43
05height	YES 0.49	YES 0.49	YES 0.47	YES 0.48	YES 0.48	YES 0.01	YES 0.49
06plusmult	YES 0.53	YES 0.50	YES 0.52	YES 0.52	YES 0.51	YES 0.02	YES 0.49
07ordinal	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
09ex	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
churchNum2	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT
churchNum	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
DicosmoKesner93	YES 0.45	YES 0.46	YES 0.46	YES 0.48	YES 0.46	YES 0.01	YES 0.46
gstate	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT	TIMEOUT
kripke	YES 0.47	YES 0.45	YES 0.46	YES 0.45	YES 0.43	YES 0.01	YES 0.46
lambda_prod	YES 0.44	YES 0.44	YES 0.46	YES 0.46	YES 0.45	YES 0.01	YES 0.44
lambda_sum	YES 0.01	YES 0.01	YES 0.01	YES 0.01	YES 0.01	YES 0.02	YES 0.01
monad	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT	TIMEOUT
pical	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT	TIMEOUT
restriction	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
slml	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
SystemT	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
typed_lamUNC	YES 0.01	YES 0.01	YES 0.01	YES 0.01	YES 0.01	YES 0.01	YES 0.01
typed_lam	YES 0.01	YES 0.01	YES 0.01	YES 0.01	YES 0.01	YES 0.01	YES 0.01
ysllc	YES 0.01	YES 0.01	YES 0.01	YES 0.01	YES 0.01	YES 0.01	YES 0.01
average	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
lambda5	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
merge	YES 0.46	YES 0.45	YES 0.46	YES 0.44	YES 0.46	YES 0.03	YES 0.44
noneating	YES 0.46	YES 0.49	YES 0.47	MAYBE	YES 0.46	YES 0.00	YES 0.46
shuffle	YES 0.58	YES 0.59	YES 0.60	YES 0.59	YES 0.56	YES 0.04	YES 0.57
twice	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
fuhkop11frocos	YES 0.62	YES 0.63	YES 0.64	YES 0.63	YES 0.62	YES 0.02	YES 0.62
fuhkop12rta1	YES 0.55	YES 0.58	YES 0.54	YES 0.58	MAYBE	YES 0.04	YES 0.55
fuhkop12rta2	YES 0.65	YES 0.65	YES 0.66	YES 0.63	YES 0.64	YES 0.05	YES 0.65
kop11cai1	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
kop11cai2	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
kop12lmcs1	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
kop12lmcs2	YES 0.00	YES 0.00	YES 0.00	YES 0.00	YES 0.00	YES 0.00	YES 0.00
kop12thesis_ex2.11	YES 0.00	YES 0.01	YES 0.01	YES 0.03	YES 0.01	YES 0.01	YES 0.00
kop12thesis_ex7.23	YES 0.00	YES 0.00	YES 0.01	YES 0.02	YES 0.00	YES 0.00	YES 0.00
kop12thesis_ex7.45_1	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
kop12thesis_ex7.45_2	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
kop12thesis_sec3.3.3	YES 0.00	YES 0.00	YES 0.00	MAYBE	YES 0.00	YES 0.00	YES 0.00
applicative	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
apply	YES 0.00	YES 0.00	YES 0.01	YES 0.01	YES 0.00	YES 0.00	YES 0.00
app	YES 0.00	YES 0.00	YES 0.00	YES 0.00	YES 0.00	YES 0.00	YES 0.00
counterex1	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
counterex2	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
curry1	YES 0.47	YES 0.44	YES 0.44	YES 0.47	YES 0.48	YES 0.00	YES 0.47
curry	YES 0.00	YES 0.00	YES 0.00	YES 0.00	YES 0.00	YES 0.00	YES 0.00
deriv	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
eval	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
extrec	YES 0.43	YES 0.46	YES 0.45	YES 0.49	YES 0.46	YES 0.01	YES 0.46
filter	YES 0.45	YES 0.46	YES 0.48	YES 0.46	YES 0.49	YES 0.01	YES 0.48
findzero	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
foldl	YES 0.01	YES 0.01	YES 0.03	YES 0.06	YES 0.01	YES 0.01	YES 0.01
foobar	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
from	YES 0.74	YES 0.75	YES 0.74	YES 0.79	MAYBE	YES 0.27	YES 0.73
hrsdif1	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
hrsdif2	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
if	YES 0.52	YES 0.54	YES 0.54	YES 0.57	MAYBE	YES 0.11	YES 0.53
inlamb	YES 0.00	YES 0.00	YES 0.00	YES 0.00	YES 0.00	YES 0.00	YES 0.00
iterative	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
lambda1	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
lambda2	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
lambda3	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
length	YES 0.01	YES 0.01	YES 0.03	YES 0.02	YES 0.01	YES 0.01	YES 0.01
loopy	YES 0.00	YES 0.00	YES 0.00	YES 0.01	YES 0.00	YES 0.00	YES 0.00
map	YES 0.00	YES 0.00	YES 0.01	YES 0.01	YES 0.00	YES 0.00	YES 0.01
noabs	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
onearg	YES 0.39	YES 0.39	YES 0.36	YES 0.46	YES 0.36	YES 0.01	YES 0.38
ordrec	YES 0.01	YES 0.01	MAYBE	YES 0.01	YES 0.01	YES 0.02	YES 0.01
plode	YES 0.01	YES 0.01	YES 0.04	YES 0.06	YES 0.01	YES 0.01	YES 0.01
prefixsum	YES 0.04	YES 0.04	YES 0.04	YES 0.12	MAYBE	YES 0.05	YES 0.04
prenex	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
process	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
qsort	YES 1.17	YES 1.15	YES 1.20	YES 1.51	MAYBE	YES 0.71	YES 1.16
rec	YES 0.00	YES 0.00	YES 0.02	YES 0.00	YES 0.00	YES 0.00	YES 0.00
reverse	YES 0.48	YES 0.43	TIMEOUT	TIMEOUT	YES 0.43	YES 0.01	YES 0.46
sdu	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
sort	YES 0.47	YES 0.48	YES 1.02	YES 1.74	YES 0.50	YES 0.03	YES 0.46
uncurry	YES 0.46	YES 0.44	YES 0.47	YES 0.45	YES 0.44	YES 0.00	YES 0.47
zipWith	YES 0.69	YES 0.69	YES 0.77	YES 0.78	YES 0.69	YES 0.07	YES 0.67
fuhs11frocos_a	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
listrepeat	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
prefixshuffle	YES 1.11	YES 1.03	YES 1.01	YES 1.31	MAYBE	YES 0.45	YES 1.01
prenex_modif1	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
sqr	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
tailrecgen	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
twice_modif4	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AotoYamada_05__001	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AotoYamada_05__002	YES 0.01	YES 0.01	YES 0.13	YES 0.06	YES 0.01	YES 0.01	YES 0.01
AotoYamada_05__003	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
AotoYamada_05__004	YES 0.46	YES 0.45	YES 0.45	YES 0.46	YES 0.44	YES 0.01	YES 0.44
AotoYamada_05__005	YES 0.46	YES 0.43	YES 0.43	YES 0.50	YES 0.43	YES 0.00	YES 0.44
AotoYamada_05__006	YES 0.00	YES 0.00	YES 0.01	YES 0.00	YES 0.00	YES 0.01	YES 0.00
AotoYamada_05__007	YES 0.45	YES 0.45	YES 0.44	YES 0.46	YES 0.43	YES 0.01	YES 0.44
AotoYamada_05__009	YES 0.49	YES 0.46	YES 0.48	YES 0.50	YES 0.46	YES 0.01	YES 0.49
AotoYamada_05__010	YES 0.50	YES 0.51	YES 0.51	YES 0.70	YES 0.50	YES 0.02	YES 0.49
AotoYamada_05__011	YES 0.45	YES 0.45	YES 0.46	YES 0.53	YES 0.45	YES 0.01	YES 0.47
AotoYamada_05__012	YES 0.44	YES 0.48	YES 0.46	YES 0.47	YES 0.48	YES 0.01	YES 0.46
AotoYamada_05__013	YES 0.47	YES 0.44	YES 0.52	YES 0.61	YES 0.46	YES 0.02	YES 0.46
AotoYamada_05__014	YES 0.49	YES 0.49	YES 0.48	YES 0.49	YES 0.51	YES 0.02	YES 0.50
AotoYamada_05__015	YES 0.44	YES 0.46	YES 0.48	YES 0.49	YES 0.44	YES 0.01	YES 0.43
AotoYamada_05__016	YES 0.46	YES 0.45	YES 0.67	YES 0.67	YES 0.45	YES 0.02	YES 0.47
AotoYamada_05__017	YES 0.00	YES 0.00	YES 0.00	YES 0.00	YES 0.00	YES 0.00	YES 0.00
AotoYamada_05__019	YES 0.00	YES 0.00	YES 0.00	YES 0.01	YES 0.00	YES 0.00	YES 0.00
AotoYamada_05__020	YES 0.47	YES 0.50	YES 0.47	YES 0.49	YES 0.48	YES 0.01	YES 0.48
AotoYamada_05__021	YES 0.48	YES 0.48	YES 0.49	YES 0.52	YES 0.50	YES 0.02	YES 0.50
AotoYamada_05__022	YES 0.01	YES 0.01	YES 0.03	YES 0.00	YES 0.01	YES 0.01	YES 0.01
AotoYamada_05__023	YES 0.44	YES 0.44	YES 0.47	YES 0.44	YES 0.45	YES 0.00	YES 0.43
AotoYamada_05__024	YES 0.00	YES 0.00	YES 0.01	YES 0.00	YES 0.00	YES 0.01	YES 0.00
AotoYamada_05__025	YES 0.00	YES 0.00	YES 0.00	YES 0.00	YES 0.00	YES 0.00	YES 0.00
AotoYamada_05__026	YES 0.01	YES 0.01	YES 0.01	YES 0.02	YES 0.01	YES 0.01	YES 0.01
AotoYamada_05__027	YES 0.43	YES 0.44	YES 0.46	YES 0.47	YES 0.47	YES 0.01	YES 0.44
AotoYamada_05__028	YES 0.45	YES 0.44	YES 0.45	YES 0.44	YES 0.45	YES 0.01	YES 0.45
AotoYamada_05__Ex1SimplyTyped	YES 0.45	YES 0.44	YES 0.47	YES 0.47	YES 0.47	YES 0.01	YES 0.44
AotoYamada_05__Ex5TermProof	YES 0.48	YES 0.49	YES 0.50	YES 0.57	YES 0.52	YES 0.01	YES 0.49
Applicative_05__BTreeMember	YES 0.52	YES 0.52	YES 0.54	YES 0.54	YES 0.61	YES 0.01	YES 0.53
Applicative_05__Ex2_6_1Composition	YES 0.00	YES 0.00	YES 0.00	YES 0.00	YES 0.00	YES 0.00	YES 0.00
Applicative_05__Ex2_8_1ConstSubstFix	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Applicative_05__Ex2PrimRec	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Applicative_05__Ex3Lists	YES 0.49	YES 0.45	YES 0.46	YES 0.51	YES 0.49	YES 0.01	YES 0.47
Applicative_05__Ex4MapList	YES 0.00	YES 0.00	YES 0.01	YES 0.00	YES 0.00	YES 0.00	YES 0.00
Applicative_05__Ex5Folding	YES 0.47	YES 0.48	YES 0.51	YES 0.50	YES 0.49	YES 0.02	YES 0.49
Applicative_05__Ex5Sorting	YES 0.49	YES 0.50	YES 0.74	YES 1.17	YES 0.49	YES 0.03	YES 0.47
Applicative_05__Ex6_11	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Applicative_05__Ex6Folding	YES 0.01	YES 0.01	YES 0.02	YES 0.02	YES 0.01	YES 0.01	YES 0.01
Applicative_05__Ex6Recursor	YES 0.00	YES 0.00	YES 0.02	YES 0.00	YES 0.00	YES 0.00	YES 0.00
Applicative_05__Ex7_9	YES 0.63	YES 0.64	YES 0.66	YES 0.68	YES 0.62	YES 0.04	YES 0.63
Applicative_05__Ex7OrdinalRec	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Applicative_05__Ex7Sorting	YES 0.48	YES 0.49	YES 0.77	YES 1.19	YES 0.47	YES 0.03	YES 0.49
Applicative_05__Ex9Maps	YES 0.01	YES 0.01	YES 1.60	YES 0.01	YES 0.01	YES 0.02	YES 0.01
Applicative_05__Hamming	MAYBE	TIMEOUT	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Applicative_05__mapDivMinusHard	YES 0.63	YES 0.62	YES 0.63	YES 0.62	YES 0.62	MAYBE	YES 0.63
Applicative_05__mapDivMinus	YES 0.60	YES 0.61	YES 0.59	YES 0.59	YES 0.58	YES 0.03	YES 0.59
Applicative_05__ReverseLastInit	YES 0.47	YES 0.47	YES 0.48	YES 0.52	YES 0.47	YES 0.01	YES 0.46
Applicative_05__TakeDropWhile	YES 0.46	YES 0.45	YES 0.46	YES 0.50	YES 0.44	YES 0.01	YES 0.44
Applicative_05__termMonTypes	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Applicative_05__TreeFlatten	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Applicative_05__TreeHeight	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Applicative_05__TreeLevels	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Applicative_05__TreeMap	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Applicative_05__TreeSize	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Applicative_05__TypeEx3	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Applicative_05__TypeEx5	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Applicative_AG01_innermost__#4.10	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Applicative_AG01_innermost__#4.13	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Applicative_AG01_innermost__#4.15	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Applicative_AG01_innermost__#4.17	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Applicative_AG01_innermost__#4.19	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT
Applicative_AG01_innermost__#4.22	YES 1.64	YES 0.54	YES 1.75	YES 1.31	YES 0.91	YES 0.02	YES 0.61
Applicative_AG01_innermost__#4.24	YES 1.45	YES 0.62	MAYBE	YES 0.67	YES 0.60	YES 0.03	YES 0.71
Applicative_AG01_innermost__#4.26	YES 1.64	YES 0.74	YES 0.92	YES 0.74	YES 0.73	MAYBE	YES 0.78
Applicative_AG01_innermost__#4.28	YES 0.38	YES 0.41	YES 0.61	YES 0.44	YES 0.42	MAYBE	YES 0.39
Applicative_AG01_innermost__#4.2	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Applicative_AG01_innermost__#4.34	YES 0.69	YES 0.67	YES 0.86	YES 0.69	YES 0.68	YES 0.07	YES 0.67
Applicative_AG01_innermost__#4.36	YES 0.95	YES 0.96	YES 1.22	YES 1.00	YES 0.88	YES 0.17	YES 0.94
Applicative_AG01_innermost__#4.3	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Applicative_AG01_innermost__#4.5	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Applicative_AG01_innermost__#4.7	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Applicative_AG01_innermost__#4.8	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Applicative_first_order_05__01	YES 0.46	YES 0.50	YES 0.65	YES 0.50	YES 0.49	YES 0.02	YES 0.48
Applicative_first_order_05__02	YES 0.48	YES 0.49	YES 0.61	YES 0.47	YES 0.45	YES 0.02	YES 0.44
Applicative_first_order_05__06	YES 0.50	YES 0.51	YES 0.70	YES 0.51	YES 0.51	YES 0.02	YES 0.49
Applicative_first_order_05__08	YES 0.54	YES 0.52	YES 0.67	YES 0.55	YES 0.52	YES 0.03	YES 0.52
Applicative_first_order_05__11	YES 0.60	YES 0.63	YES 0.77	YES 0.62	YES 0.61	YES 0.04	YES 0.63
Applicative_first_order_05__12	YES 0.53	YES 0.52	YES 0.67	YES 0.56	YES 0.52	YES 0.05	YES 0.51
Applicative_first_order_05__13	YES 17.96	YES 19.61	YES 17.91	YES 17.78	YES 19.25	YES 0.19	YES 17.79
Applicative_first_order_05__17	YES 0.51	YES 0.48	YES 0.68	YES 0.49	YES 0.49	YES 0.03	YES 0.50
Applicative_first_order_05__18	YES 0.49	YES 0.49	YES 0.63	YES 0.50	YES 0.49	YES 0.02	YES 0.48
Applicative_first_order_05__21	YES 0.56	YES 0.57	YES 0.72	YES 0.58	YES 0.57	MAYBE	YES 0.63
Applicative_first_order_05__29	YES 0.54	YES 0.50	YES 0.65	YES 0.49	YES 0.51	YES 0.02	YES 0.52
Applicative_first_order_05__30	YES 0.52	YES 0.52	YES 0.65	YES 0.53	YES 0.51	YES 0.53	YES 0.52
Applicative_first_order_05__#3.10	YES 0.98	YES 1.01	YES 1.29	YES 1.01	YES 0.99	YES 0.24	YES 1.00
Applicative_first_order_05__#3.13	YES 0.98	YES 0.88	YES 1.11	YES 0.93	YES 0.89	YES 0.16	YES 0.90
Applicative_first_order_05__#3.16	YES 0.52	YES 0.59	YES 0.65	YES 0.52	YES 0.51	YES 0.03	YES 0.54
Applicative_first_order_05__#3.18	YES 0.70	YES 0.63	YES 0.80	YES 0.72	YES 0.63	YES 0.07	YES 0.70
Applicative_first_order_05__31	YES 0.03	YES 0.03	YES 0.37	YES 0.66	YES 0.03	YES 0.03	YES 0.03
Applicative_first_order_05__#3.22	YES 0.64	YES 0.66	YES 0.78	YES 0.66	YES 0.66	YES 3.43	YES 0.64
Applicative_first_order_05__#3.25	YES 0.43	YES 0.42	YES 0.52	YES 0.49	YES 0.38	YES 0.04	YES 0.38
Applicative_first_order_05__#3.27	YES 0.45	YES 0.51	YES 0.60	YES 0.49	YES 0.46	YES 0.02	YES 0.44
Applicative_first_order_05__#3.2	YES 0.61	YES 0.61	YES 0.74	YES 0.63	YES 0.60	YES 0.05	YES 0.62
Applicative_first_order_05__#3.32	YES 0.37	YES 0.37	YES 0.57	YES 0.39	YES 0.39	YES 0.01	YES 0.35
Applicative_first_order_05__#3.36	YES 0.68	YES 0.66	YES 0.89	YES 0.69	YES 0.72	YES 0.07	YES 0.66
Applicative_first_order_05__#3.38	YES 0.69	YES 0.65	YES 0.83	YES 0.71	YES 0.71	YES 0.07	YES 0.70
Applicative_first_order_05__33	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT
Applicative_first_order_05__#3.40	YES 0.84	YES 0.79	YES 1.05	YES 0.82	YES 0.82	MAYBE	YES 0.84
Applicative_first_order_05__#3.45	YES 0.55	YES 0.57	YES 0.68	YES 0.54	YES 0.52	YES 0.02	YES 0.54
Applicative_first_order_05__#3.48	YES 0.56	YES 0.57	YES 0.73	YES 0.59	YES 0.56	YES 0.04	YES 0.54
Applicative_first_order_05__#3.52	YES 0.53	YES 0.52	YES 0.65	YES 0.61	YES 0.53	YES 0.02	YES 0.52
Applicative_first_order_05__#3.55	YES 0.96	YES 0.96	YES 1.63	YES 0.87	YES 0.92	YES 0.17	YES 0.95
Applicative_first_order_05__#3.57	YES 0.75	YES 0.73	YES 0.98	YES 0.77	YES 0.75	YES 0.23	YES 0.79
Applicative_first_order_05__#3.6	YES 0.74	YES 0.69	YES 0.97	YES 0.76	YES 0.74	YES 0.13	YES 0.74
Applicative_first_order_05__#3.8	YES 0.69	YES 0.70	YES 0.80	YES 0.67	YES 0.69	YES 0.13	YES 0.69
Applicative_first_order_05__hydra	YES 0.54	YES 0.55	YES 0.72	YES 0.58	YES 0.53	YES 0.02	YES 0.55
Applicative_first_order_05__minsort	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT
Applicative_first_order_05__motivation	YES 1.10	YES 0.59	YES 0.82	YES 0.63	YES 0.62	YES 0.05	YES 0.61
Applicative_first_order_05__perfect2	YES 0.79	YES 0.81	YES 0.97	YES 0.80	YES 0.81	YES 0.08	YES 0.77
Applicative_first_order_05__perfect	YES 0.60	YES 0.57	YES 0.77	YES 0.67	YES 0.59	YES 0.02	YES 0.60
Total YES	129	129	126	126	123	124	129
Total NO	0	0	0	0	0	0	0
Total MAYBE	62	61	64	64	71	70	62
Total TIMEOUT	7	8	8	8	4	4	7
Average Runtime	0.57	0.56	0.64	0.61	0.55	0.07	0.54