Overview of job-results

flexible query (experimental) | view original jobs on star-exec:5385,

Statistics

350 pairs, 3875.1 / 1409.1 s

Results

Legend

YES NO MAYBE CERTIFIED ERROR OTHER / Nothing
The results are displayed in the following pattern: cpu-time / wallclock-time (complexity-score)
Jobs Highe Order rewri union beta 18110
Solver Wanda THOR
Scores 152 121
gherOrder_Rewriting__Union_Beta/Kop_11/average.xml 1.6 / 0.8 s 0.0 / 0.0 s
gherOrder_Rewriting__Union_Beta/Kop_11/lambda5.xml 0.0 / 0.0 s 0.0 / 0.0 s
HigherOrder_Rewriting__Union_Beta/Kop_11/merge.xml 0.0 / 0.1 s 0.1 / 0.1 s
erOrder_Rewriting__Union_Beta/Kop_11/noneating.xml 1.2 / 0.7 s 0.0 / 0.1 s
gherOrder_Rewriting__Union_Beta/Kop_11/shuffle.xml 0.1 / 0.1 s 0.1 / 0.1 s
HigherOrder_Rewriting__Union_Beta/Kop_11/twice.xml 0.1 / 0.1 s 0.1 / 0.1 s
er_Rewriting__Union_Beta/Kop_13/fuhkop11frocos.xml 0.1 / 0.1 s 0.0 / 0.1 s
rder_Rewriting__Union_Beta/Kop_13/fuhkop12rta1.xml 0.1 / 0.1 s 0.1 / 0.1 s
rder_Rewriting__Union_Beta/Kop_13/fuhkop12rta2.xml 2.1 / 1.1 s 0.1 / 0.1 s
erOrder_Rewriting__Union_Beta/Kop_13/kop11cai1.xml 0.4 / 0.4 s 0.0 / 0.0 s
erOrder_Rewriting__Union_Beta/Kop_13/kop11cai2.xml 0.0 / 0.0 s 0.0 / 0.0 s
rOrder_Rewriting__Union_Beta/Kop_13/kop12lmcs1.xml 0.2 / 0.2 s 0.1 / 0.1 s
rOrder_Rewriting__Union_Beta/Kop_13/kop12lmcs2.xml 0.1 / 0.1 s 0.0 / 0.0 s
ewriting__Union_Beta/Kop_13/kop12thesis_ex2.11.xml 0.1 / 0.2 s 0.0 / 0.0 s
ewriting__Union_Beta/Kop_13/kop12thesis_ex7.23.xml 0.0 / 0.0 s 0.0 / 0.0 s
riting__Union_Beta/Kop_13/kop12thesis_ex7.45_1.xml 1.6 / 1.1 s 0.6 / 0.6 s
riting__Union_Beta/Kop_13/kop12thesis_ex7.45_2.xml 1.4 / 1.0 s 0.5 / 0.5 s
riting__Union_Beta/Kop_13/kop12thesis_sec3.3.3.xml 0.0 / 0.0 s 0.0 / 0.0 s
herOrder_Rewriting__Union_Beta/Mixed_HO_10/app.xml 0.0 / 0.0 s 0.0 / 0.0 s
_Rewriting__Union_Beta/Mixed_HO_10/applicative.xml 2.5 / 2.5 s 0.0 / 0.0 s
rOrder_Rewriting__Union_Beta/Mixed_HO_10/apply.xml 0.0 / 0.1 s 0.0 / 0.0 s
r_Rewriting__Union_Beta/Mixed_HO_10/counterex1.xml 0.0 / 0.0 s 0.0 / 0.0 s
r_Rewriting__Union_Beta/Mixed_HO_10/counterex2.xml 0.0 / 0.0 s 0.0 / 0.0 s
rOrder_Rewriting__Union_Beta/Mixed_HO_10/curry.xml 0.0 / 0.0 s 0.0 / 0.0 s
Order_Rewriting__Union_Beta/Mixed_HO_10/curry1.xml 0.0 / 0.0 s 0.0 / 0.0 s
rOrder_Rewriting__Union_Beta/Mixed_HO_10/deriv.xml 300.0 / 300.0 s 0.0 / 0.0 s
erOrder_Rewriting__Union_Beta/Mixed_HO_10/eval.xml 1.4 / 0.8 s 0.0 / 0.0 s
Order_Rewriting__Union_Beta/Mixed_HO_10/extrec.xml 0.1 / 0.1 s 0.0 / 0.0 s
Order_Rewriting__Union_Beta/Mixed_HO_10/filter.xml 0.0 / 0.0 s 0.0 / 0.0 s
der_Rewriting__Union_Beta/Mixed_HO_10/findzero.xml 1.6 / 1.1 s 0.0 / 0.0 s
rOrder_Rewriting__Union_Beta/Mixed_HO_10/foldl.xml 0.2 / 0.2 s 0.0 / 0.0 s
Order_Rewriting__Union_Beta/Mixed_HO_10/foobar.xml 0.0 / 0.0 s 0.0 / 0.0 s
erOrder_Rewriting__Union_Beta/Mixed_HO_10/from.xml 1.7 / 1.1 s 0.2 / 0.2 s
rder_Rewriting__Union_Beta/Mixed_HO_10/hrsdif1.xml 0.0 / 0.0 s 0.0 / 0.0 s
rder_Rewriting__Union_Beta/Mixed_HO_10/hrsdif2.xml 0.0 / 0.1 s 0.0 / 0.0 s
gherOrder_Rewriting__Union_Beta/Mixed_HO_10/if.xml 1.2 / 0.8 s 0.1 / 0.1 s
Order_Rewriting__Union_Beta/Mixed_HO_10/inlamb.xml 0.0 / 0.0 s 0.0 / 0.0 s
er_Rewriting__Union_Beta/Mixed_HO_10/iterative.xml 0.5 / 0.5 s 0.0 / 0.0 s
rder_Rewriting__Union_Beta/Mixed_HO_10/lambda1.xml 0.0 / 0.0 s 0.0 / 0.0 s
rder_Rewriting__Union_Beta/Mixed_HO_10/lambda2.xml 5.2 / 2.6 s 0.2 / 0.2 s
rder_Rewriting__Union_Beta/Mixed_HO_10/lambda3.xml 0.0 / 0.0 s 0.0 / 0.0 s
Order_Rewriting__Union_Beta/Mixed_HO_10/length.xml 0.1 / 0.1 s 0.0 / 0.0 s
rOrder_Rewriting__Union_Beta/Mixed_HO_10/loopy.xml 0.0 / 0.0 s 0.0 / 0.0 s
herOrder_Rewriting__Union_Beta/Mixed_HO_10/map.xml 0.0 / 0.0 s 0.0 / 0.0 s
rOrder_Rewriting__Union_Beta/Mixed_HO_10/noabs.xml 0.0 / 0.0 s 0.0 / 0.0 s
Order_Rewriting__Union_Beta/Mixed_HO_10/onearg.xml 0.1 / 0.1 s 0.0 / 0.0 s
Order_Rewriting__Union_Beta/Mixed_HO_10/ordrec.xml 0.2 / 0.3 s 0.0 / 0.0 s
rOrder_Rewriting__Union_Beta/Mixed_HO_10/plode.xml 0.2 / 0.2 s 0.0 / 0.0 s
er_Rewriting__Union_Beta/Mixed_HO_10/prefixsum.xml 0.1 / 0.1 s 0.1 / 0.1 s
Order_Rewriting__Union_Beta/Mixed_HO_10/prenex.xml 0.1 / 0.1 s 0.0 / 0.0 s
rder_Rewriting__Union_Beta/Mixed_HO_10/process.xml 2.4 / 2.4 s 0.2 / 0.3 s
rOrder_Rewriting__Union_Beta/Mixed_HO_10/qsort.xml 2.1 / 1.4 s 1.0 / 1.1 s
herOrder_Rewriting__Union_Beta/Mixed_HO_10/rec.xml 0.1 / 0.1 s 0.0 / 0.0 s
rder_Rewriting__Union_Beta/Mixed_HO_10/reverse.xml 0.3 / 0.3 s 0.0 / 0.0 s
herOrder_Rewriting__Union_Beta/Mixed_HO_10/sdu.xml 0.2 / 0.2 s 0.0 / 0.0 s
erOrder_Rewriting__Union_Beta/Mixed_HO_10/sort.xml 1.3 / 1.3 s 0.0 / 0.0 s
rder_Rewriting__Union_Beta/Mixed_HO_10/uncurry.xml 0.0 / 0.1 s 0.0 / 0.0 s
rder_Rewriting__Union_Beta/Mixed_HO_10/zipWith.xml 2.4 / 1.3 s 0.6 / 0.6 s
writing__Union_Beta/Mixed_HO_12/fuhs11frocos_a.xml 3.4 / 2.2 s 0.0 / 0.0 s
r_Rewriting__Union_Beta/Mixed_HO_12/listrepeat.xml 2.3 / 1.4 s 0.3 / 0.4 s
ewriting__Union_Beta/Mixed_HO_12/prefixshuffle.xml 2.5 / 1.4 s 0.5 / 0.5 s
ewriting__Union_Beta/Mixed_HO_12/prenex_modif1.xml 0.1 / 0.2 s 0.0 / 0.0 s
herOrder_Rewriting__Union_Beta/Mixed_HO_12/sqr.xml 6.5 / 5.0 s 1.4 / 1.4 s
r_Rewriting__Union_Beta/Mixed_HO_12/tailrecgen.xml 5.8 / 4.7 s 0.5 / 0.5 s
Rewriting__Union_Beta/Mixed_HO_12/twice_modif4.xml 0.0 / 0.1 s 0.1 / 0.1 s
ta/Uncurried_Applicative_11/AotoYamada_05__001.xml 0.0 / 0.0 s 0.0 / 0.0 s
ta/Uncurried_Applicative_11/AotoYamada_05__002.xml 0.1 / 0.1 s 0.0 / 0.0 s
ta/Uncurried_Applicative_11/AotoYamada_05__003.xml 0.0 / 0.0 s 0.0 / 0.1 s
ta/Uncurried_Applicative_11/AotoYamada_05__004.xml 0.0 / 0.0 s 0.0 / 0.0 s
ta/Uncurried_Applicative_11/AotoYamada_05__005.xml 0.0 / 0.0 s 0.0 / 0.0 s
ta/Uncurried_Applicative_11/AotoYamada_05__006.xml 0.0 / 0.0 s 0.0 / 0.0 s
ta/Uncurried_Applicative_11/AotoYamada_05__007.xml 0.0 / 0.0 s 0.0 / 0.0 s
ta/Uncurried_Applicative_11/AotoYamada_05__009.xml 0.0 / 0.0 s 0.0 / 0.0 s
ta/Uncurried_Applicative_11/AotoYamada_05__010.xml 0.5 / 0.6 s 0.0 / 0.0 s
ta/Uncurried_Applicative_11/AotoYamada_05__011.xml 0.1 / 0.1 s 0.0 / 0.0 s
ta/Uncurried_Applicative_11/AotoYamada_05__012.xml 0.0 / 0.1 s 0.0 / 0.0 s
ta/Uncurried_Applicative_11/AotoYamada_05__013.xml 0.0 / 0.1 s 0.0 / 0.0 s
ta/Uncurried_Applicative_11/AotoYamada_05__014.xml 0.2 / 0.2 s 0.0 / 0.0 s
ta/Uncurried_Applicative_11/AotoYamada_05__015.xml 0.1 / 0.2 s 0.0 / 0.0 s
ta/Uncurried_Applicative_11/AotoYamada_05__016.xml 0.2 / 0.2 s 0.0 / 0.0 s
ta/Uncurried_Applicative_11/AotoYamada_05__017.xml 0.0 / 0.0 s 0.0 / 0.0 s
ta/Uncurried_Applicative_11/AotoYamada_05__019.xml 0.0 / 0.1 s 0.0 / 0.0 s
ta/Uncurried_Applicative_11/AotoYamada_05__020.xml 0.1 / 0.1 s 0.0 / 0.0 s
ta/Uncurried_Applicative_11/AotoYamada_05__021.xml 0.5 / 0.6 s 0.0 / 0.0 s
ta/Uncurried_Applicative_11/AotoYamada_05__022.xml 0.0 / 0.0 s 0.0 / 0.0 s
ta/Uncurried_Applicative_11/AotoYamada_05__023.xml 0.0 / 0.0 s 0.0 / 0.0 s
ta/Uncurried_Applicative_11/AotoYamada_05__024.xml 0.0 / 0.0 s 0.0 / 0.0 s
ta/Uncurried_Applicative_11/AotoYamada_05__025.xml 0.0 / 0.0 s 0.0 / 0.0 s
ta/Uncurried_Applicative_11/AotoYamada_05__026.xml 0.1 / 0.1 s 0.0 / 0.0 s
ta/Uncurried_Applicative_11/AotoYamada_05__027.xml 0.0 / 0.0 s 0.0 / 0.0 s
ta/Uncurried_Applicative_11/AotoYamada_05__028.xml 0.0 / 0.0 s 0.0 / 0.0 s
d_Applicative_11/AotoYamada_05__Ex1SimplyTyped.xml 0.0 / 0.0 s 0.0 / 0.0 s
ied_Applicative_11/AotoYamada_05__Ex5TermProof.xml 0.3 / 0.3 s 0.0 / 0.0 s
ied_Applicative_11/Applicative_05__BTreeMember.xml 0.1 / 0.1 s 0.0 / 0.0 s
ried_Applicative_11/Applicative_05__Ex2PrimRec.xml 0.5 / 0.5 s 0.0 / 0.0 s
licative_11/Applicative_05__Ex2_6_1Composition.xml 0.0 / 0.0 s 0.0 / 0.0 s
cative_11/Applicative_05__Ex2_8_1ConstSubstFix.xml 2.3 / 1.5 s 0.0 / 0.0 s
urried_Applicative_11/Applicative_05__Ex3Lists.xml 0.0 / 0.1 s 0.0 / 0.0 s
ried_Applicative_11/Applicative_05__Ex4MapList.xml 0.0 / 0.1 s 0.0 / 0.0 s
ried_Applicative_11/Applicative_05__Ex5Folding.xml 0.2 / 0.2 s 0.0 / 0.0 s
ried_Applicative_11/Applicative_05__Ex5Sorting.xml 0.6 / 0.6 s 0.0 / 0.0 s
ried_Applicative_11/Applicative_05__Ex6Folding.xml 0.3 / 0.3 s 0.0 / 0.0 s
ied_Applicative_11/Applicative_05__Ex6Recursor.xml 0.0 / 0.1 s 0.0 / 0.0 s
ncurried_Applicative_11/Applicative_05__Ex6_11.xml 41.7 / 41.7 s 0.0 / 0.0 s
d_Applicative_11/Applicative_05__Ex7OrdinalRec.xml 0.5 / 0.5 s 0.0 / 0.0 s
ried_Applicative_11/Applicative_05__Ex7Sorting.xml 0.8 / 0.8 s 0.0 / 0.0 s
Uncurried_Applicative_11/Applicative_05__Ex7_9.xml 2.1 / 1.2 s 0.1 / 0.1 s
curried_Applicative_11/Applicative_05__Ex9Maps.xml 4.7 / 4.7 s 0.0 / 0.0 s
curried_Applicative_11/Applicative_05__Hamming.xml 0.0 / 0.0 s 0.0 / 0.0 s
Applicative_11/Applicative_05__ReverseLastInit.xml 0.2 / 0.3 s 0.0 / 0.0 s
d_Applicative_11/Applicative_05__TakeDropWhile.xml 0.0 / 0.0 s 0.0 / 0.0 s
ied_Applicative_11/Applicative_05__TreeFlatten.xml 0.1 / 0.1 s 0.0 / 0.0 s
ried_Applicative_11/Applicative_05__TreeHeight.xml 0.0 / 0.1 s 0.0 / 0.0 s
ried_Applicative_11/Applicative_05__TreeLevels.xml 0.1 / 0.1 s 0.0 / 0.0 s
curried_Applicative_11/Applicative_05__TreeMap.xml 0.2 / 0.3 s 0.1 / 0.1 s
urried_Applicative_11/Applicative_05__TreeSize.xml 0.0 / 0.0 s 0.0 / 0.0 s
curried_Applicative_11/Applicative_05__TypeEx3.xml 0.7 / 0.8 s 0.0 / 0.0 s
curried_Applicative_11/Applicative_05__TypeEx5.xml 0.0 / 0.0 s 0.1 / 0.1 s
ied_Applicative_11/Applicative_05__mapDivMinus.xml 1.7 / 0.9 s 0.1 / 0.1 s
Applicative_11/Applicative_05__mapDivMinusHard.xml 1.9 / 1.0 s 0.1 / 0.1 s
ed_Applicative_11/Applicative_05__termMonTypes.xml 1.2 / 0.7 s 0.0 / 0.1 s
plicative_11/Applicative_AG01_innermost__#4.10.xml 3.4 / 2.1 s 0.0 / 0.1 s
plicative_11/Applicative_AG01_innermost__#4.13.xml 9.4 / 3.8 s 0.0 / 0.0 s
plicative_11/Applicative_AG01_innermost__#4.15.xml 4.0 / 2.4 s 0.3 / 0.3 s
plicative_11/Applicative_AG01_innermost__#4.17.xml 4.6 / 2.9 s 0.5 / 0.5 s
plicative_11/Applicative_AG01_innermost__#4.19.xml 1135.1 / 300.0 s 0.2 / 0.2 s
pplicative_11/Applicative_AG01_innermost__#4.2.xml 3.7 / 2.4 s 0.2 / 0.2 s
plicative_11/Applicative_AG01_innermost__#4.22.xml 1.5 / 1.0 s 0.0 / 0.0 s
plicative_11/Applicative_AG01_innermost__#4.24.xml 2.3 / 1.2 s 0.0 / 0.0 s
plicative_11/Applicative_AG01_innermost__#4.26.xml 2.3 / 1.3 s 0.2 / 0.2 s
plicative_11/Applicative_AG01_innermost__#4.28.xml 1.3 / 0.8 s 0.1 / 0.1 s
pplicative_11/Applicative_AG01_innermost__#4.3.xml 3.3 / 2.0 s 0.0 / 0.0 s
plicative_11/Applicative_AG01_innermost__#4.34.xml 2.0 / 1.2 s 0.3 / 0.3 s
plicative_11/Applicative_AG01_innermost__#4.36.xml 3.5 / 1.7 s 0.9 / 0.9 s
pplicative_11/Applicative_AG01_innermost__#4.5.xml 0.0 / 0.0 s 0.0 / 0.0 s
pplicative_11/Applicative_AG01_innermost__#4.7.xml 3.8 / 2.4 s 0.1 / 0.1 s
pplicative_11/Applicative_AG01_innermost__#4.8.xml 16.8 / 6.9 s 0.1 / 0.1 s
plicative_11/Applicative_first_order_05__#3.10.xml 3.9 / 1.8 s 2.0 / 2.0 s
plicative_11/Applicative_first_order_05__#3.13.xml 3.2 / 1.7 s 3.4 / 3.4 s
plicative_11/Applicative_first_order_05__#3.16.xml 0.3 / 0.3 s 0.0 / 0.0 s
plicative_11/Applicative_first_order_05__#3.18.xml 2.0 / 1.2 s 0.4 / 0.4 s
pplicative_11/Applicative_first_order_05__#3.2.xml 1.9 / 1.1 s 0.1 / 0.1 s
plicative_11/Applicative_first_order_05__#3.22.xml 1.9 / 1.2 s 0.4 / 0.4 s
plicative_11/Applicative_first_order_05__#3.25.xml 1.4 / 0.8 s 0.1 / 0.1 s
plicative_11/Applicative_first_order_05__#3.27.xml 0.1 / 0.1 s 0.0 / 0.0 s
plicative_11/Applicative_first_order_05__#3.32.xml 1.2 / 0.7 s 0.0 / 0.0 s
plicative_11/Applicative_first_order_05__#3.36.xml 2.1 / 1.2 s 0.6 / 0.6 s
plicative_11/Applicative_first_order_05__#3.38.xml 2.1 / 1.2 s 0.3 / 0.4 s
plicative_11/Applicative_first_order_05__#3.40.xml 2.9 / 1.5 s 0.4 / 0.4 s
plicative_11/Applicative_first_order_05__#3.45.xml 1.3 / 0.8 s 0.1 / 0.1 s
plicative_11/Applicative_first_order_05__#3.48.xml 1.6 / 1.1 s 0.9 / 0.9 s
plicative_11/Applicative_first_order_05__#3.52.xml 1.5 / 1.0 s 0.0 / 0.0 s
plicative_11/Applicative_first_order_05__#3.55.xml 3.4 / 1.6 s 0.8 / 0.8 s
plicative_11/Applicative_first_order_05__#3.57.xml 2.7 / 1.4 s 0.5 / 0.6 s
pplicative_11/Applicative_first_order_05__#3.6.xml 2.4 / 1.3 s 0.7 / 0.7 s
pplicative_11/Applicative_first_order_05__#3.8.xml 2.2 / 1.2 s 0.2 / 0.3 s
_Applicative_11/Applicative_first_order_05__01.xml 0.1 / 0.1 s 0.0 / 0.0 s
_Applicative_11/Applicative_first_order_05__02.xml 0.1 / 0.1 s 0.0 / 0.0 s
_Applicative_11/Applicative_first_order_05__06.xml 0.1 / 0.1 s 0.0 / 0.0 s
_Applicative_11/Applicative_first_order_05__08.xml 0.3 / 0.3 s 0.0 / 0.0 s
_Applicative_11/Applicative_first_order_05__11.xml 1.0 / 1.0 s 0.0 / 0.0 s
_Applicative_11/Applicative_first_order_05__12.xml 0.6 / 0.6 s 0.5 / 0.6 s
_Applicative_11/Applicative_first_order_05__13.xml 28.7 / 13.8 s 0.3 / 0.3 s
_Applicative_11/Applicative_first_order_05__17.xml 0.1 / 0.1 s 0.0 / 0.0 s
_Applicative_11/Applicative_first_order_05__18.xml 0.1 / 0.2 s 0.0 / 0.0 s
_Applicative_11/Applicative_first_order_05__21.xml 1.7 / 1.0 s 0.0 / 0.0 s
_Applicative_11/Applicative_first_order_05__29.xml 0.4 / 0.5 s 0.0 / 0.0 s
_Applicative_11/Applicative_first_order_05__30.xml 0.3 / 0.3 s 7.1 / 7.1 s
_Applicative_11/Applicative_first_order_05__31.xml 0.2 / 0.2 s 0.0 / 0.0 s
_Applicative_11/Applicative_first_order_05__33.xml 1097.0 / 300.0 s 1.3 / 1.4 s
plicative_11/Applicative_first_order_05__hydra.xml 1.6 / 1.0 s 0.0 / 0.0 s
icative_11/Applicative_first_order_05__minsort.xml 1053.9 / 300.0 s 0.3 / 0.3 s
tive_11/Applicative_first_order_05__motivation.xml 1.7 / 1.0 s 0.1 / 0.1 s
icative_11/Applicative_first_order_05__perfect.xml 1.8 / 1.1 s 0.0 / 0.0 s
cative_11/Applicative_first_order_05__perfect2.xml 2.6 / 1.4 s 0.1 / 0.1 s