The power of various setups on the Termination Problem Database

This group of experiments considers WANDA's power both without restrictions, and various techniques in isolation. Experiments were done on the TPDB 2018, without any benchmarks removed. The benchmarks are presented in the order: Mixed_HO_10/, Kop_11/, Mixed_HO_12/, Kop_13/, Hamana_17/, Hamana_17/Blanqui_15/, Uncurried_Applicative_11/, Hamana_Kikuchi_18/.

Filename	full	rr	horpo	poly	dp	static	dynamic	nofo	nosimp
applicative	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
apply	YES 0.04	MAYBE	MAYBE	MAYBE	YES 0.00	YES 0.00	YES 0.01	YES 0.04	YES 0.04
app	YES 0.00	YES 0.00	YES 0.00	YES 0.00	YES 0.00	YES 0.00	YES 0.00	YES 0.00	YES 0.00
counterex1	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00	NO 0.00
counterex2	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
curry1	YES 0.00	YES 0.00	YES 0.01	YES 0.00	YES 0.00	YES 0.48	YES 0.00	YES 0.00	YES 0.00
curry	YES 0.00	YES 0.00	YES 0.02	YES 0.00	YES 0.00	YES 0.00	YES 0.00	YES 0.00	YES 0.00
deriv	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT	TIMEOUT	TIMEOUT
eval	YES 0.57	MAYBE	MAYBE	MAYBE	YES 0.60	MAYBE	YES 0.49	YES 0.10	YES 0.70
extrec	YES 0.14	YES 0.14	YES 0.09	MAYBE	YES 0.47	YES 0.47	YES 0.98	YES 0.14	YES 0.14
filter	YES 0.03	YES 0.03	YES 0.30	YES 0.03	YES 0.49	YES 0.51	YES 0.57	YES 0.03	YES 0.03
findzero	YES 1.06	MAYBE	MAYBE	MAYBE	YES 0.95	MAYBE	YES 0.70	YES 0.61	YES 1.05
foldl	YES 0.26	YES 0.27	YES 0.10	MAYBE	YES 0.19	YES 0.01	YES 0.19	YES 0.27	YES 0.26
foobar	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
from	YES 0.94	MAYBE	MAYBE	MAYBE	YES 0.79	YES 0.78	YES 1.64	YES 0.41	YES 0.92
hrsdif1	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00	NO 0.00
hrsdif2	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
if	YES 0.65	MAYBE	MAYBE	MAYBE	YES 0.55	YES 0.56	YES 0.80	YES 0.19	YES 0.63
inlamb	YES 0.00	YES 0.00	YES 0.01	YES 0.00	YES 0.00	YES 0.00	YES 0.00	YES 0.00	YES 0.00
iterative	YES 1.01	YES 1.01	YES 0.23	MAYBE	YES 0.45	MAYBE	YES 0.47	YES 1.02	YES 1.01
lambda1	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00	NO 0.00
lambda2	NO 1.68	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 1.62
lambda3	YES 0.02	MAYBE	MAYBE	MAYBE	YES 0.02	MAYBE	YES 0.02	YES 0.02	YES 0.02
length	YES 0.10	YES 0.10	YES 0.12	MAYBE	YES 0.02	YES 0.01	YES 0.06	YES 0.10	YES 0.11
loopy	YES 0.02	YES 0.02	YES 0.04	YES 0.02	YES 0.02	YES 0.00	YES 0.01	YES 0.02	YES 0.02
map	YES 0.01	YES 0.01	YES 0.05	YES 0.02	YES 0.01	YES 0.00	YES 0.02	YES 0.02	YES 0.02
noabs	YES 0.04	MAYBE	MAYBE	MAYBE	YES 0.02	MAYBE	YES 0.01	YES 0.04	YES 0.04
onearg	YES 0.17	YES 0.18	YES 0.16	YES 0.05	YES 0.41	YES 0.37	YES 0.39	YES 0.17	YES 0.17
ordrec	YES 0.34	MAYBE	MAYBE	MAYBE	YES 0.25	YES 0.01	MAYBE	YES 0.34	YES 0.34
plode	YES 0.30	YES 0.28	YES 0.11	MAYBE	YES 1.14	YES 0.01	YES 1.14	YES 0.30	YES 0.30
prefixsum	YES 0.12	MAYBE	MAYBE	MAYBE	YES 0.04	YES 0.04	MAYBE	YES 0.12	YES 0.12
prenex	YES 0.11	YES 0.11	MAYBE	YES 0.11	YES 0.29	MAYBE	YES 0.30	YES 0.11	YES 0.11
process	YES 2.99	YES 3.72	MAYBE	YES 0.46	YES 2.10	MAYBE	YES 2.11	YES 2.97	YES 2.99
qsort	YES 1.51	MAYBE	MAYBE	MAYBE	YES 1.18	YES 1.20	YES 1.30	YES 1.03	YES 1.49
rec	YES 0.11	YES 0.10	YES 0.05	MAYBE	YES 0.00	YES 0.00	YES 0.04	YES 0.10	YES 0.10
reverse	YES 0.56	YES 0.56	YES 0.20	MAYBE	YES 12.87	YES 0.46	YES 12.87	YES 0.57	YES 0.57
sdu	YES 0.27	YES 0.27	YES 0.55	YES 0.27	YES 0.79	MAYBE	YES 0.80	YES 0.27	YES 0.27
sort	YES 2.02	YES 2.01	YES 0.43	MAYBE	YES 0.52	YES 0.50	YES 5.73	YES 2.02	YES 2.02
uncurry	YES 0.01	YES 0.01	YES 0.03	YES 0.01	YES 0.44	YES 0.49	YES 0.47	YES 0.01	YES 0.01
zipWith	YES 1.08	MAYBE	MAYBE	MAYBE	YES 0.76	YES 0.71	YES 0.92	YES 0.42	YES 1.05
average	YES 0.53	MAYBE	MAYBE	MAYBE	YES 0.50	MAYBE	YES 0.49	YES 0.08	YES 0.56
lambda5	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00	NO 0.00
merge	YES 0.04	YES 0.04	MAYBE	YES 0.04	YES 0.50	YES 0.49	YES 0.51	YES 0.04	YES 0.04
noneating	YES 0.47	MAYBE	MAYBE	MAYBE	YES 0.51	YES 0.51	YES 0.48	YES 0.02	YES 0.47
shuffle	YES 0.09	YES 0.09	MAYBE	YES 0.10	YES 0.61	YES 0.60	YES 0.65	YES 0.10	YES 0.09
twice	YES 0.10	MAYBE	MAYBE	MAYBE	YES 0.04	MAYBE	YES 0.04	YES 0.10	YES 0.11
fuhs11frocos_a	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
listrepeat	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
prefixshuffle	YES 1.47	MAYBE	MAYBE	MAYBE	YES 1.07	YES 1.08	MAYBE	YES 0.86	YES 1.47
prenex_modif1	YES 0.07	YES 0.06	MAYBE	YES 0.06	YES 0.18	YES 0.07	YES 0.18	YES 0.07	YES 0.19
sqr	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
tailrecgen	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
twice_modif4	YES 0.05	MAYBE	MAYBE	MAYBE	YES 0.02	MAYBE	YES 0.02	YES 0.05	YES 0.05
fuhkop11frocos	YES 0.09	YES 0.07	YES 0.17	YES 0.07	YES 0.64	YES 0.69	YES 0.69	YES 0.07	YES 0.07
fuhkop12rta1	YES 0.11	YES 0.11	MAYBE	YES 0.11	YES 0.56	YES 0.54	YES 0.60	YES 0.11	YES 0.12
fuhkop12rta2	YES 0.78	MAYBE	MAYBE	MAYBE	YES 0.66	YES 0.68	YES 0.71	YES 0.17	YES 0.79
kop11cai1	YES 0.50	YES 0.50	YES 0.27	MAYBE	YES 1.04	MAYBE	YES 1.05	YES 0.50	YES 0.50
kop11cai2	YES 0.01	YES 0.01	YES 0.02	YES 0.01	YES 0.00	MAYBE	YES 0.00	YES 0.01	YES 0.01
kop12lmcs1	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
kop12lmcs2	YES 0.09	MAYBE	MAYBE	MAYBE	YES 0.06	YES 0.00	MAYBE	YES 0.09	YES 0.09
kop12thesis_ex2.11	YES 0.23	YES 0.21	YES 0.09	MAYBE	YES 0.01	YES 0.01	YES 0.33	YES 0.22	YES 0.21
kop12thesis_ex7.23	YES 0.05	YES 0.04	MAYBE	YES 0.04	YES 0.00	YES 0.00	YES 0.02	YES 0.04	YES 0.04
kop12thesis_ex7.45_1	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
kop12thesis_ex7.45_2	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
kop12thesis_sec3.3.3	YES 0.03	MAYBE	MAYBE	MAYBE	YES 0.00	YES 0.00	YES 0.00	YES 0.03	YES 0.03
churchNum2	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT
churchNum	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT	TIMEOUT	TIMEOUT
DicosmoKesner93	YES 0.72	MAYBE	MAYBE	MAYBE	YES 0.49	YES 0.47	MAYBE	YES 0.07	YES 1.07
gstate	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
kripke	YES 0.46	MAYBE	MAYBE	MAYBE	YES 0.46	YES 0.46	MAYBE	YES 0.02	YES 0.56
lambda_prod	YES 0.51	MAYBE	MAYBE	MAYBE	YES 0.45	YES 0.47	MAYBE	YES 0.02	YES 0.60
lambda_sum	YES 0.03	MAYBE	MAYBE	MAYBE	YES 0.01	YES 0.01	MAYBE	YES 0.03	YES 0.36
monad	YES 0.05	YES 0.04	MAYBE	YES 0.04	YES 0.23	YES 0.02	YES 0.22	YES 0.05	TIMEOUT
pical	YES 0.04	YES 0.03	MAYBE	YES 0.03	YES 0.57	TIMEOUT	YES 0.59	YES 0.04	YES 0.08
restriction	YES 6.71	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	YES 6.70	YES 6.57
slml	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
SystemT	YES 0.06	TIMEOUT	MAYBE	TIMEOUT	YES 0.01	YES 0.01	TIMEOUT	YES 0.08	TIMEOUT
typed_lamUNC	YES 0.01	MAYBE	MAYBE	MAYBE	YES 0.00	YES 0.00	MAYBE	YES 0.01	YES 0.10
typed_lam	YES 0.01	MAYBE	MAYBE	MAYBE	YES 0.00	YES 0.00	MAYBE	YES 0.01	YES 0.09
ysllc	YES 0.06	MAYBE	MAYBE	MAYBE	YES 0.01	YES 0.01	MAYBE	YES 0.06	YES 0.26
01GoedelT	YES 0.11	YES 0.11	YES 0.06	TIMEOUT	YES 0.00	YES 0.00	YES 0.05	YES 0.11	TIMEOUT
02Ackermann	YES 0.11	YES 0.11	YES 0.06	MAYBE	YES 0.50	YES 0.65	YES 0.49	YES 0.11	YES 0.13
03minus	YES 0.00	YES 0.00	YES 0.02	YES 0.00	YES 0.51	YES 0.52	YES 0.47	YES 0.00	YES 0.00
04arrow	YES 0.00	YES 0.00	YES 0.03	YES 0.00	YES 0.47	YES 0.48	YES 0.48	YES 0.00	YES 0.00
05height	YES 0.00	YES 0.00	YES 0.06	YES 0.00	YES 0.52	YES 0.51	YES 0.49	YES 0.00	YES 0.00
06plusmult	YES 0.17	YES 0.17	YES 0.17	YES 0.07	YES 0.58	YES 0.51	YES 0.53	YES 0.18	YES 0.17
07ordinal	YES 0.01	YES 0.01	MAYBE	YES 0.01	YES 0.03	YES 0.01	YES 0.03	YES 0.01	YES 0.01
09ex	YES 0.00	YES 0.00	YES 0.01	YES 0.00	YES 0.00	MAYBE	YES 0.00	YES 0.00	YES 0.11
AotoYamada_05__001	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00	NO 0.00
AotoYamada_05__002	YES 0.12	MAYBE	MAYBE	MAYBE	YES 0.01	YES 0.01	YES 0.17	YES 0.12	YES 0.12
AotoYamada_05__003	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00	NO 0.00
AotoYamada_05__004	YES 0.02	YES 0.02	YES 0.10	YES 0.02	YES 0.46	YES 0.45	YES 0.48	YES 0.02	YES 0.02
AotoYamada_05__005	YES 0.00	YES 0.00	YES 0.16	YES 0.00	YES 0.48	YES 0.46	YES 0.45	YES 0.00	YES 0.03
AotoYamada_05__006	YES 0.03	YES 0.03	YES 0.08	YES 0.03	YES 0.01	YES 0.01	YES 0.04	YES 0.03	YES 0.03
AotoYamada_05__007	YES 0.05	YES 0.05	YES 0.16	YES 0.05	YES 0.47	YES 0.47	YES 0.49	YES 0.05	YES 0.05
AotoYamada_05__009	YES 0.05	YES 0.05	YES 0.20	YES 0.05	YES 0.49	YES 0.48	YES 0.48	YES 0.05	YES 0.05
AotoYamada_05__010	YES 0.40	YES 0.40	YES 0.32	MAYBE	YES 0.52	YES 0.51	YES 0.54	YES 0.40	YES 1.07
AotoYamada_05__011	YES 0.06	YES 0.05	YES 0.15	YES 0.05	YES 0.48	YES 0.47	YES 0.47	YES 0.05	YES 0.18
AotoYamada_05__012	YES 0.05	YES 0.05	YES 0.18	YES 0.05	YES 0.50	YES 0.48	YES 0.48	YES 0.06	YES 0.05
AotoYamada_05__013	YES 0.07	YES 0.07	YES 0.19	YES 0.07	YES 0.51	YES 0.49	YES 0.55	YES 0.07	YES 0.07
AotoYamada_05__014	YES 0.40	YES 0.41	YES 0.31	MAYBE	YES 0.52	YES 0.52	YES 0.53	YES 0.40	YES 0.40
AotoYamada_05__015	YES 0.21	YES 0.21	YES 0.12	MAYBE	YES 0.45	YES 0.46	YES 0.54	YES 0.21	YES 0.21
AotoYamada_05__016	YES 0.48	YES 0.48	YES 0.65	MAYBE	YES 0.64	YES 0.47	YES 0.62	YES 0.48	YES 0.48
AotoYamada_05__017	YES 0.00	YES 0.00	YES 0.00	YES 0.00	YES 0.00	YES 0.00	YES 0.00	YES 0.00	YES 0.01
AotoYamada_05__019	YES 0.06	YES 0.06	YES 0.04	MAYBE	YES 0.01	YES 0.00	YES 0.01	YES 0.06	YES 0.06
AotoYamada_05__020	YES 0.10	YES 0.10	YES 0.08	MAYBE	YES 0.51	YES 0.51	YES 0.48	YES 0.10	YES 0.10
AotoYamada_05__021	YES 0.45	YES 0.45	YES 0.24	MAYBE	YES 0.55	YES 0.51	YES 0.54	YES 0.45	YES 0.45
AotoYamada_05__022	YES 0.05	YES 0.05	YES 0.10	YES 0.05	YES 0.01	YES 0.01	YES 0.07	YES 0.05	YES 0.05
AotoYamada_05__023	YES 0.01	YES 0.01	YES 0.04	YES 0.01	YES 0.40	YES 0.46	YES 0.40	YES 0.01	YES 0.01
AotoYamada_05__024	YES 0.02	YES 0.02	YES 0.03	YES 0.01	YES 0.00	YES 0.00	YES 0.02	YES 0.02	YES 0.02
AotoYamada_05__025	YES 0.00	YES 0.00	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.13	YES 0.12	YES 0.06	MAYBE	YES 0.03	YES 0.01	YES 0.03	YES 0.13	YES 0.13
AotoYamada_05__027	YES 0.05	YES 0.05	YES 0.16	YES 0.05	YES 0.47	YES 0.47	YES 0.49	YES 0.05	YES 0.05
AotoYamada_05__028	YES 0.02	YES 0.03	YES 0.14	YES 0.02	YES 0.47	YES 0.48	YES 0.47	YES 0.02	YES 0.02
AotoYamada_05__Ex1SimplyTyped	YES 0.02	YES 0.02	YES 0.17	YES 0.02	YES 0.41	YES 0.48	YES 0.47	YES 0.02	YES 0.02
AotoYamada_05__Ex5TermProof	YES 0.35	YES 0.35	YES 0.21	MAYBE	YES 0.97	YES 0.52	YES 0.98	YES 0.35	YES 0.35
Applicative_05__BTreeMember	YES 0.11	YES 0.11	YES 0.36	YES 0.62	YES 0.57	YES 0.56	YES 0.56	YES 0.11	YES 0.11
Applicative_05__Ex2_6_1Composition	YES 0.01	YES 0.01	YES 0.01	MAYBE	YES 0.00	YES 0.00	YES 0.00	YES 0.01	YES 0.01
Applicative_05__Ex2_8_1ConstSubstFix	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Applicative_05__Ex2PrimRec	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Applicative_05__Ex3Lists	YES 0.06	YES 0.06	YES 0.11	YES 0.06	YES 0.47	YES 0.48	YES 0.54	YES 0.06	YES 0.06
Applicative_05__Ex4MapList	YES 0.05	MAYBE	MAYBE	MAYBE	YES 0.00	YES 0.00	MAYBE	YES 0.04	YES 0.04
Applicative_05__Ex5Folding	YES 0.26	YES 0.27	YES 0.68	MAYBE	YES 0.69	YES 0.51	YES 0.71	YES 0.26	YES 0.27
Applicative_05__Ex5Sorting	YES 3.35	YES 3.35	YES 0.79	MAYBE	YES 3.52	YES 0.49	YES 3.52	YES 3.35	YES 3.35
Applicative_05__Ex6_11	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Applicative_05__Ex6Folding	YES 0.42	YES 0.42	YES 0.14	MAYBE	YES 0.20	YES 0.01	YES 0.19	YES 0.41	YES 0.42
Applicative_05__Ex6Recursor	YES 0.07	YES 0.07	YES 0.03	MAYBE	YES 0.00	YES 0.00	YES 0.04	YES 0.07	YES 0.07
Applicative_05__Ex7_9	YES 0.88	MAYBE	MAYBE	MAYBE	YES 0.65	YES 0.67	YES 1.13	YES 0.21	YES 0.83
Applicative_05__Ex7OrdinalRec	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Applicative_05__Ex7Sorting	YES 1.26	YES 1.26	YES 0.50	MAYBE	YES 2.03	YES 0.49	YES 2.03	YES 1.26	YES 1.26
Applicative_05__Ex9Maps	YES 11.39	YES 11.39	YES 0.23	MAYBE	YES 0.01	YES 0.01	YES 5.09	YES 11.37	YES 11.38
Applicative_05__Hamming	NO 0.00	TIMEOUT	MAYBE	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT	NO 0.00	NO 0.00
Applicative_05__mapDivMinusHard	YES 0.75	MAYBE	MAYBE	MAYBE	YES 0.63	YES 0.67	YES 0.67	MAYBE	YES 0.74
Applicative_05__mapDivMinus	YES 0.68	MAYBE	MAYBE	MAYBE	YES 0.61	YES 0.62	YES 0.60	YES 0.12	YES 0.70
Applicative_05__ReverseLastInit	YES 0.27	YES 0.27	YES 0.23	MAYBE	YES 0.51	YES 0.49	YES 0.51	YES 0.27	YES 0.27
Applicative_05__TakeDropWhile	YES 0.05	YES 0.05	YES 0.19	YES 0.05	YES 0.46	YES 0.47	YES 0.50	YES 0.05	YES 0.05
Applicative_05__termMonTypes	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Applicative_05__TreeFlatten	YES 0.10	YES 0.09	YES 0.24	YES 0.09	YES 0.55	MAYBE	YES 0.52	YES 0.09	YES 0.09
Applicative_05__TreeHeight	YES 0.05	YES 0.05	YES 0.59	YES 0.05	YES 0.54	MAYBE	YES 0.56	YES 0.05	YES 0.05
Applicative_05__TreeLevels	YES 0.07	YES 0.07	YES 0.27	YES 0.07	YES 0.54	MAYBE	YES 0.54	YES 0.07	YES 0.08
Applicative_05__TreeMap	YES 0.33	YES 0.34	YES 0.09	MAYBE	YES 0.23	MAYBE	YES 0.24	YES 0.35	YES 0.33
Applicative_05__TreeSize	YES 0.04	YES 0.04	YES 0.39	YES 0.05	YES 0.52	MAYBE	YES 0.53	YES 0.04	YES 0.04
Applicative_05__TypeEx3	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Applicative_05__TypeEx5	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00	NO 0.00
Applicative_AG01_innermost__#4.10	NO 1.50	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 1.45
Applicative_AG01_innermost__#4.13	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Applicative_AG01_innermost__#4.15	NO 1.60	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 1.58
Applicative_AG01_innermost__#4.17	NO 2.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 2.00
Applicative_AG01_innermost__#4.19	TIMEOUT	MAYBE	MAYBE	MAYBE	TIMEOUT	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT
Applicative_AG01_innermost__#4.22	YES 1.61	MAYBE	MAYBE	MAYBE	YES 1.21	YES 1.52	YES 1.41	YES 0.23	YES 0.84
Applicative_AG01_innermost__#4.24	YES 2.12	MAYBE	MAYBE	MAYBE	YES 0.66	YES 1.69	MAYBE	YES 0.29	YES 0.96
Applicative_AG01_innermost__#4.26	YES 1.04	MAYBE	MAYBE	MAYBE	YES 0.77	YES 1.10	YES 1.27	MAYBE	YES 1.04
Applicative_AG01_innermost__#4.28	YES 0.61	MAYBE	MAYBE	MAYBE	YES 0.40	YES 0.42	YES 0.60	MAYBE	YES 0.62
Applicative_AG01_innermost__#4.2	NO 1.72	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 1.65
Applicative_AG01_innermost__#4.34	YES 1.00	MAYBE	MAYBE	MAYBE	YES 0.68	YES 0.75	YES 1.16	YES 0.34	YES 1.00
Applicative_AG01_innermost__#4.36	YES 1.64	MAYBE	MAYBE	MAYBE	YES 1.03	YES 0.98	YES 1.73	YES 0.76	YES 1.63
Applicative_AG01_innermost__#4.3	NO 1.37	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 1.37
Applicative_AG01_innermost__#4.5	NO 0.00	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 0.00	NO 0.01
Applicative_AG01_innermost__#4.7	NO 1.71	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	NO 1.67
Applicative_AG01_innermost__#4.8	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
Applicative_first_order_05__01	YES 0.12	YES 0.11	YES 0.29	YES 0.11	YES 0.50	YES 0.52	YES 0.95	YES 0.15	YES 0.11
Applicative_first_order_05__02	YES 0.11	YES 0.11	YES 0.24	YES 0.11	YES 0.49	YES 0.50	YES 0.69	YES 0.11	YES 0.11
Applicative_first_order_05__06	YES 0.13	YES 0.13	YES 0.26	YES 0.14	YES 0.52	YES 0.55	YES 0.73	YES 0.13	YES 0.13
Applicative_first_order_05__08	YES 0.42	YES 0.43	YES 0.50	MAYBE	YES 0.56	YES 0.58	YES 0.75	YES 0.42	YES 0.44
Applicative_first_order_05__11	YES 1.51	YES 1.48	YES 1.10	TIMEOUT	YES 0.62	YES 0.79	YES 0.90	YES 1.50	YES 1.50
Applicative_first_order_05__12	YES 0.83	YES 0.80	YES 0.30	MAYBE	YES 0.57	YES 0.65	YES 0.76	YES 0.80	YES 0.81
Applicative_first_order_05__13	YES 19.64	YES 0.54	MAYBE	YES 0.38	YES 19.68	YES 20.10	YES 20.19	YES 0.42	YES 20.71
Applicative_first_order_05__17	YES 0.16	YES 0.14	YES 0.31	YES 0.14	YES 0.53	YES 0.51	YES 0.94	YES 0.14	YES 0.14
Applicative_first_order_05__18	YES 0.22	YES 0.20	YES 0.23	YES 0.16	YES 0.52	YES 0.53	YES 0.89	YES 0.21	YES 0.21
Applicative_first_order_05__21	YES 0.89	MAYBE	MAYBE	MAYBE	YES 0.61	YES 0.61	YES 0.99	MAYBE	YES 0.87
Applicative_first_order_05__29	YES 0.61	YES 0.62	YES 0.30	MAYBE	YES 0.52	YES 0.54	YES 0.90	YES 0.62	YES 0.62
Applicative_first_order_05__30	YES 0.50	YES 0.46	YES 0.36	MAYBE	YES 0.55	YES 0.55	YES 0.94	YES 0.46	YES 0.47
Applicative_first_order_05__#3.10	YES 1.72	MAYBE	MAYBE	MAYBE	YES 1.06	YES 1.03	YES 1.67	YES 0.85	YES 1.64
Applicative_first_order_05__#3.13	YES 1.54	MAYBE	MAYBE	MAYBE	YES 0.99	YES 1.02	YES 1.59	YES 0.75	YES 1.53
Applicative_first_order_05__#3.16	YES 0.39	YES 0.39	YES 0.36	YES 0.25	YES 0.55	YES 0.53	YES 0.82	YES 0.39	YES 0.40
Applicative_first_order_05__#3.18	YES 0.96	MAYBE	MAYBE	MAYBE	YES 0.75	YES 0.71	YES 1.05	YES 0.32	YES 0.93
Applicative_first_order_05__31	YES 0.69	MAYBE	MAYBE	MAYBE	YES 0.58	YES 0.08	YES 0.59	YES 0.66	YES 0.66
Applicative_first_order_05__#3.22	YES 0.86	MAYBE	MAYBE	MAYBE	YES 0.68	YES 0.68	YES 1.00	YES 3.61	YES 0.83
Applicative_first_order_05__#3.25	YES 0.58	MAYBE	MAYBE	MAYBE	YES 0.44	YES 0.42	YES 0.68	YES 0.16	YES 0.54
Applicative_first_order_05__#3.27	YES 0.13	YES 0.11	YES 0.28	YES 0.11	YES 0.51	YES 0.51	YES 0.75	YES 0.11	YES 0.12
Applicative_first_order_05__#3.2	YES 0.91	MAYBE	MAYBE	MAYBE	YES 0.65	YES 0.65	YES 0.93	YES 0.28	YES 0.87
Applicative_first_order_05__#3.32	YES 0.53	MAYBE	MAYBE	MAYBE	YES 0.41	YES 0.39	YES 0.67	YES 0.14	YES 0.50
Applicative_first_order_05__#3.36	YES 0.95	MAYBE	MAYBE	MAYBE	YES 0.70	YES 0.71	YES 1.00	YES 0.31	YES 1.02
Applicative_first_order_05__#3.38	YES 1.01	MAYBE	MAYBE	MAYBE	YES 0.74	YES 0.77	YES 1.29	YES 0.32	YES 0.99
Applicative_first_order_05__33	TIMEOUT	MAYBE	MAYBE	MAYBE	TIMEOUT	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT
Applicative_first_order_05__#3.40	YES 1.31	MAYBE	MAYBE	MAYBE	YES 1.47	YES 2.11	YES 2.29	MAYBE	YES 1.29
Applicative_first_order_05__#3.45	YES 0.67	MAYBE	MAYBE	MAYBE	YES 0.57	YES 0.62	YES 1.30	YES 0.14	YES 0.66
Applicative_first_order_05__#3.48	YES 0.82	MAYBE	MAYBE	MAYBE	YES 0.59	YES 0.59	YES 1.03	YES 0.21	YES 0.82
Applicative_first_order_05__#3.52	YES 0.71	MAYBE	MAYBE	MAYBE	YES 0.56	YES 0.55	YES 0.77	YES 0.15	YES 0.68
Applicative_first_order_05__#3.55	YES 1.50	MAYBE	MAYBE	MAYBE	YES 0.99	YES 1.07	YES 2.52	YES 0.69	YES 1.40
Applicative_first_order_05__#3.57	YES 1.35	MAYBE	MAYBE	MAYBE	YES 0.80	YES 0.85	YES 1.03	YES 0.76	YES 1.30
Applicative_first_order_05__#3.6	YES 1.10	MAYBE	MAYBE	MAYBE	YES 0.85	YES 0.82	YES 1.26	YES 0.46	YES 1.09
Applicative_first_order_05__#3.8	YES 1.07	MAYBE	MAYBE	MAYBE	YES 0.74	YES 0.72	YES 0.91	YES 0.49	YES 1.09
Applicative_first_order_05__hydra	YES 0.79	YES 0.46	MAYBE	YES 0.28	YES 0.57	YES 0.59	YES 2.01	YES 0.21	YES 0.76
Applicative_first_order_05__minsort	TIMEOUT	MAYBE	MAYBE	MAYBE	TIMEOUT	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT
Applicative_first_order_05__motivation	YES 0.87	MAYBE	MAYBE	MAYBE	YES 0.70	YES 0.67	YES 0.88	YES 0.24	YES 1.79
Applicative_first_order_05__perfect2	YES 1.14	MAYBE	MAYBE	MAYBE	YES 0.87	YES 0.90	YES 1.35	YES 0.35	YES 1.12
Applicative_first_order_05__perfect	YES 0.90	MAYBE	MAYBE	MAYBE	YES 0.65	YES 0.62	YES 1.05	YES 0.28	YES 0.90
h00	YES 0.36	YES 0.35	YES 0.21	TIMEOUT	YES 0.52	YES 0.54	YES 0.59	YES 0.35	TIMEOUT
h01	YES 20.46	YES 19.40	YES 1.21	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT	YES 19.40	TIMEOUT
h02	YES 0.19	YES 0.19	YES 0.21	TIMEOUT	YES 0.03	YES 0.01	YES 0.50	YES 0.21	TIMEOUT
h03	YES 2.91	YES 2.84	YES 0.52	TIMEOUT	YES 7.18	MAYBE	YES 7.09	YES 2.84	TIMEOUT
h04	TIMEOUT	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	TIMEOUT	TIMEOUT
h05	TIMEOUT	MAYBE	MAYBE	MAYBE	TIMEOUT	MAYBE	TIMEOUT	TIMEOUT	TIMEOUT
h06	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
h07	YES 7.98	MAYBE	MAYBE	MAYBE	YES 4.25	YES 0.49	MAYBE	YES 7.32	YES 8.06
h08	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
h09	YES 0.81	MAYBE	MAYBE	MAYBE	YES 0.62	YES 0.45	MAYBE	YES 0.34	YES 0.79
h10	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
h11	YES 0.05	MAYBE	MAYBE	MAYBE	YES 0.04	YES 0.00	MAYBE	YES 0.05	YES 0.05
h12	YES 0.06	YES 0.05	YES 0.05	TIMEOUT	YES 0.00	YES 0.00	YES 0.05	YES 0.05	TIMEOUT
h13	YES 3.59	YES 3.54	YES 0.34	TIMEOUT	YES 2.75	MAYBE	YES 3.40	YES 3.57	TIMEOUT
h14	YES 0.30	YES 0.28	YES 0.16	TIMEOUT	YES 0.01	YES 0.01	YES 0.38	YES 0.28	TIMEOUT
h15	YES 7.62	YES 7.59	YES 0.66	TIMEOUT	YES 6.14	MAYBE	YES 6.10	YES 7.61	TIMEOUT
h16	YES 1.48	YES 0.85	YES 0.87	TIMEOUT	YES 5.80	MAYBE	YES 3.63	YES 1.46	TIMEOUT
h17	YES 0.17	TIMEOUT	MAYBE	TIMEOUT	YES 0.02	YES 0.03	TIMEOUT	YES 0.17	TIMEOUT
h18	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE	MAYBE
h19	TIMEOUT	MAYBE	MAYBE	MAYBE	TIMEOUT	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT
h20	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT	TIMEOUT	TIMEOUT
h21	TIMEOUT	MAYBE	MAYBE	MAYBE	TIMEOUT	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT
h22	TIMEOUT	MAYBE	MAYBE	MAYBE	TIMEOUT	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT
h23	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT	TIMEOUT	TIMEOUT
h24	TIMEOUT	MAYBE	MAYBE	MAYBE	TIMEOUT	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT
h25	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT	TIMEOUT	TIMEOUT
h26	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT
h27	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT	TIMEOUT	TIMEOUT
h28	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT
h29	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT	TIMEOUT	TIMEOUT
h30	TIMEOUT	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT
h31	TIMEOUT	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT
h32	TIMEOUT	MAYBE	MAYBE	MAYBE	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT
h33	TIMEOUT	MAYBE	MAYBE	MAYBE	TIMEOUT	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT
h34	TIMEOUT	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT
h35	TIMEOUT	MAYBE	MAYBE	MAYBE	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT
h36	TIMEOUT	MAYBE	MAYBE	MAYBE	TIMEOUT	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT
h37	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT
h38	TIMEOUT	MAYBE	MAYBE	MAYBE	TIMEOUT	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT
h39	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT	TIMEOUT	TIMEOUT
h40	TIMEOUT	TIMEOUT	MAYBE	MAYBE	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT
h41	TIMEOUT	MAYBE	MAYBE	MAYBE	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT
h42	TIMEOUT	TIMEOUT	TIMEOUT	MAYBE	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT	TIMEOUT
h43	YES 0.17	YES 0.16	YES 0.16	TIMEOUT	YES 0.48	YES 0.50	YES 1.51	YES 0.15	TIMEOUT
h44	YES 0.15	YES 0.15	YES 0.09	TIMEOUT	YES 0.01	YES 0.01	YES 0.60	YES 0.16	TIMEOUT
h45	YES 0.33	YES 0.23	YES 0.23	TIMEOUT	YES 0.47	YES 0.47	TIMEOUT	YES 0.33	TIMEOUT
h46	YES 0.11	YES 0.10	YES 0.11	TIMEOUT	YES 0.46	YES 0.48	YES 1.05	YES 0.11	TIMEOUT
h47	YES 4.88	YES 4.87	YES 0.58	TIMEOUT	YES 6.37	MAYBE	YES 2.00	YES 4.89	TIMEOUT
h48	YES 2.80	YES 2.61	YES 0.23	TIMEOUT	YES 3.68	MAYBE	YES 3.66	YES 2.63	TIMEOUT
h49	YES 12.78	YES 12.79	YES 0.83	TIMEOUT	YES 4.22	MAYBE	YES 4.06	YES 12.76	TIMEOUT
h50	YES 7.42	YES 7.27	YES 0.37	TIMEOUT	YES 2.25	MAYBE	YES 2.25	YES 7.25	TIMEOUT
h51	YES 0.15	YES 0.14	YES 0.04	TIMEOUT	YES 0.01	YES 0.01	YES 0.11	YES 0.14	TIMEOUT
h52	YES 0.42	YES 0.41	YES 0.09	TIMEOUT	YES 0.47	YES 0.48	YES 0.84	YES 0.40	TIMEOUT
h53	YES 7.02	YES 7.01	YES 0.27	TIMEOUT	YES 3.70	MAYBE	YES 5.97	YES 7.02	TIMEOUT
h54	YES 5.80	YES 5.78	YES 0.39	TIMEOUT	YES 8.44	MAYBE	YES 8.27	YES 5.80	TIMEOUT
h55	YES 0.06	YES 0.06	YES 0.07	TIMEOUT	YES 0.01	YES 0.01	YES 0.30	YES 0.06	TIMEOUT
h56	YES 4.43	YES 4.33	YES 0.71	TIMEOUT	YES 4.31	MAYBE	YES 4.32	YES 4.32	TIMEOUT
h57	YES 0.08	YES 0.08	YES 0.06	TIMEOUT	YES 0.01	YES 0.01	YES 0.06	YES 0.08	TIMEOUT
h58	YES 9.07	YES 9.06	YES 0.41	TIMEOUT	YES 4.53	MAYBE	YES 4.56	YES 9.10	TIMEOUT
h59	YES 0.05	YES 0.05	YES 0.08	TIMEOUT	YES 0.00	YES 0.00	YES 0.05	YES 0.05	TIMEOUT
h60	YES 5.80	YES 5.73	YES 0.51	TIMEOUT	YES 3.72	MAYBE	YES 3.69	YES 5.73	TIMEOUT
h61	YES 0.24	YES 0.23	YES 0.17	TIMEOUT	YES 0.49	YES 0.50	YES 6.96	YES 0.25	TIMEOUT
h62	YES 6.58	YES 6.59	YES 0.94	TIMEOUT	YES 12.65	MAYBE	YES 12.57	YES 6.57	TIMEOUT
Total YES	188	123	111	59	186	152	167	183	155
Total NO	16	0	0	0	0	0	0	9	16
Total MAYBE	25	118	141	156	42	86	58	47	25
Total TIMEOUT	32	20	9	46	33	23	36	22	65
Average Runtime	1.14	1.13	0.24	0.07	1.02	0.55	1.30	0.90	0.75