Overview of job-results

flexible query (experimental) | consistency check | view original jobs on star-exec:10321,

Statistics

175 pairs, 2928.6 / 1405.8 s

Results

Legend

YES NO MAYBE CERTIFIED ERROR BOUNDS OTHER NOTHING
The results are displayed in the following pattern: result | cpu-time/wallclock-time in seconds | complexity-score
Jobs Highe Order rewri union beta 41104
Solver Wanda
Scores 152
gher_Order_Rewriting_Union_Beta/Kop_11/average.xml YES 1.8 / 0.9
gher_Order_Rewriting_Union_Beta/Kop_11/lambda5.xml NO 0.0 / 0.0
Higher_Order_Rewriting_Union_Beta/Kop_11/merge.xml YES 0.0 / 0.0
er_Order_Rewriting_Union_Beta/Kop_11/noneating.xml YES 1.3 / 0.8
gher_Order_Rewriting_Union_Beta/Kop_11/shuffle.xml YES 0.1 / 0.4
Higher_Order_Rewriting_Union_Beta/Kop_11/twice.xml YES 0.1 / 0.1
der_Rewriting_Union_Beta/Kop_13/fuhkop11frocos.xml YES 0.1 / 0.1
Order_Rewriting_Union_Beta/Kop_13/fuhkop12rta1.xml YES 0.1 / 0.3
Order_Rewriting_Union_Beta/Kop_13/fuhkop12rta2.xml YES 2.2 / 1.5
er_Order_Rewriting_Union_Beta/Kop_13/kop11cai1.xml YES 0.4 / 0.9
er_Order_Rewriting_Union_Beta/Kop_13/kop11cai2.xml YES 0.0 / 0.0
r_Order_Rewriting_Union_Beta/Kop_13/kop12lmcs1.xml . 0.2 / 0.2
r_Order_Rewriting_Union_Beta/Kop_13/kop12lmcs2.xml YES 0.1 / 0.1
Rewriting_Union_Beta/Kop_13/kop12thesis_ex2.11.xml YES 0.2 / 0.2
Rewriting_Union_Beta/Kop_13/kop12thesis_ex7.23.xml YES 0.0 / 0.1
writing_Union_Beta/Kop_13/kop12thesis_ex7.45_1.xml . 1.6 / 1.1
writing_Union_Beta/Kop_13/kop12thesis_ex7.45_2.xml . 1.7 / 2.0
writing_Union_Beta/Kop_13/kop12thesis_sec3.3.3.xml YES 0.0 / 0.0
her_Order_Rewriting_Union_Beta/Mixed_HO_10/app.xml YES 0.0 / 0.0
r_Rewriting_Union_Beta/Mixed_HO_10/applicative.xml . 2.6 / 2.6
r_Order_Rewriting_Union_Beta/Mixed_HO_10/apply.xml YES 0.0 / 0.1
er_Rewriting_Union_Beta/Mixed_HO_10/counterex1.xml NO 0.0 / 0.0
er_Rewriting_Union_Beta/Mixed_HO_10/counterex2.xml . 0.0 / 0.0
r_Order_Rewriting_Union_Beta/Mixed_HO_10/curry.xml YES 0.0 / 0.0
_Order_Rewriting_Union_Beta/Mixed_HO_10/curry1.xml YES 0.0 / 0.0
r_Order_Rewriting_Union_Beta/Mixed_HO_10/deriv.xml . 300.0 / 300.0
er_Order_Rewriting_Union_Beta/Mixed_HO_10/eval.xml YES 1.6 / 1.0
_Order_Rewriting_Union_Beta/Mixed_HO_10/extrec.xml YES 0.1 / 0.1
_Order_Rewriting_Union_Beta/Mixed_HO_10/filter.xml YES 0.0 / 0.0
rder_Rewriting_Union_Beta/Mixed_HO_10/findzero.xml YES 1.7 / 1.4
r_Order_Rewriting_Union_Beta/Mixed_HO_10/foldl.xml YES 0.2 / 0.2
_Order_Rewriting_Union_Beta/Mixed_HO_10/foobar.xml . 0.0 / 0.0
er_Order_Rewriting_Union_Beta/Mixed_HO_10/from.xml YES 1.9 / 1.1
Order_Rewriting_Union_Beta/Mixed_HO_10/hrsdif1.xml NO 0.0 / 0.0
Order_Rewriting_Union_Beta/Mixed_HO_10/hrsdif2.xml . 0.0 / 0.1
gher_Order_Rewriting_Union_Beta/Mixed_HO_10/if.xml YES 1.3 / 1.0
_Order_Rewriting_Union_Beta/Mixed_HO_10/inlamb.xml YES 0.0 / 0.0
der_Rewriting_Union_Beta/Mixed_HO_10/iterative.xml YES 0.5 / 0.6
Order_Rewriting_Union_Beta/Mixed_HO_10/lambda1.xml NO 0.0 / 0.0
Order_Rewriting_Union_Beta/Mixed_HO_10/lambda2.xml NO 5.3 / 2.8
Order_Rewriting_Union_Beta/Mixed_HO_10/lambda3.xml YES 0.0 / 0.0
_Order_Rewriting_Union_Beta/Mixed_HO_10/length.xml YES 0.1 / 0.1
r_Order_Rewriting_Union_Beta/Mixed_HO_10/loopy.xml YES 0.0 / 0.0
her_Order_Rewriting_Union_Beta/Mixed_HO_10/map.xml YES 0.0 / 0.0
r_Order_Rewriting_Union_Beta/Mixed_HO_10/noabs.xml YES 0.0 / 0.3
_Order_Rewriting_Union_Beta/Mixed_HO_10/onearg.xml YES 0.1 / 0.1
_Order_Rewriting_Union_Beta/Mixed_HO_10/ordrec.xml YES 0.2 / 0.3
r_Order_Rewriting_Union_Beta/Mixed_HO_10/plode.xml YES 0.2 / 0.2
der_Rewriting_Union_Beta/Mixed_HO_10/prefixsum.xml YES 0.1 / 0.1
_Order_Rewriting_Union_Beta/Mixed_HO_10/prenex.xml YES 0.1 / 0.1
Order_Rewriting_Union_Beta/Mixed_HO_10/process.xml YES 2.5 / 2.5
r_Order_Rewriting_Union_Beta/Mixed_HO_10/qsort.xml YES 2.2 / 1.5
her_Order_Rewriting_Union_Beta/Mixed_HO_10/rec.xml YES 0.1 / 0.1
Order_Rewriting_Union_Beta/Mixed_HO_10/reverse.xml YES 0.3 / 0.3
her_Order_Rewriting_Union_Beta/Mixed_HO_10/sdu.xml YES 0.2 / 0.5
er_Order_Rewriting_Union_Beta/Mixed_HO_10/sort.xml YES 1.3 / 1.4
Order_Rewriting_Union_Beta/Mixed_HO_10/uncurry.xml YES 0.0 / 0.0
Order_Rewriting_Union_Beta/Mixed_HO_10/zipWith.xml YES 2.5 / 1.4
ewriting_Union_Beta/Mixed_HO_12/fuhs11frocos_a.xml . 3.6 / 2.4
er_Rewriting_Union_Beta/Mixed_HO_12/listrepeat.xml . 2.6 / 4.8
Rewriting_Union_Beta/Mixed_HO_12/prefixshuffle.xml YES 2.8 / 1.6
Rewriting_Union_Beta/Mixed_HO_12/prenex_modif1.xml YES 0.2 / 0.2
her_Order_Rewriting_Union_Beta/Mixed_HO_12/sqr.xml . 6.8 / 5.4
er_Rewriting_Union_Beta/Mixed_HO_12/tailrecgen.xml . 6.1 / 5.8
_Rewriting_Union_Beta/Mixed_HO_12/twice_modif4.xml YES 0.0 / 0.1
ta/Uncurried_Applicative_11/AotoYamada_05__001.xml NO 0.0 / 0.0
ta/Uncurried_Applicative_11/AotoYamada_05__002.xml YES 0.1 / 0.1
ta/Uncurried_Applicative_11/AotoYamada_05__003.xml NO 0.0 / 0.0
ta/Uncurried_Applicative_11/AotoYamada_05__004.xml YES 0.0 / 0.0
ta/Uncurried_Applicative_11/AotoYamada_05__005.xml YES 0.0 / 0.0
ta/Uncurried_Applicative_11/AotoYamada_05__006.xml YES 0.0 / 0.0
ta/Uncurried_Applicative_11/AotoYamada_05__007.xml YES 0.0 / 0.0
ta/Uncurried_Applicative_11/AotoYamada_05__009.xml YES 0.0 / 0.0
ta/Uncurried_Applicative_11/AotoYamada_05__010.xml YES 0.5 / 0.6
ta/Uncurried_Applicative_11/AotoYamada_05__011.xml YES 0.1 / 0.1
ta/Uncurried_Applicative_11/AotoYamada_05__012.xml YES 0.0 / 0.0
ta/Uncurried_Applicative_11/AotoYamada_05__013.xml YES 0.0 / 0.1
ta/Uncurried_Applicative_11/AotoYamada_05__014.xml YES 0.2 / 0.2
ta/Uncurried_Applicative_11/AotoYamada_05__015.xml YES 0.1 / 0.2
ta/Uncurried_Applicative_11/AotoYamada_05__016.xml YES 0.2 / 0.2
ta/Uncurried_Applicative_11/AotoYamada_05__017.xml YES 0.0 / 0.0
ta/Uncurried_Applicative_11/AotoYamada_05__019.xml YES 0.1 / 0.1
ta/Uncurried_Applicative_11/AotoYamada_05__020.xml YES 0.1 / 0.1
ta/Uncurried_Applicative_11/AotoYamada_05__021.xml YES 0.6 / 1.1
ta/Uncurried_Applicative_11/AotoYamada_05__022.xml YES 0.0 / 0.1
ta/Uncurried_Applicative_11/AotoYamada_05__023.xml YES 0.0 / 0.0
ta/Uncurried_Applicative_11/AotoYamada_05__024.xml YES 0.0 / 0.0
ta/Uncurried_Applicative_11/AotoYamada_05__025.xml YES 0.0 / 0.0
ta/Uncurried_Applicative_11/AotoYamada_05__026.xml YES 0.1 / 0.1
ta/Uncurried_Applicative_11/AotoYamada_05__027.xml YES 0.0 / 0.1
ta/Uncurried_Applicative_11/AotoYamada_05__028.xml YES 0.0 / 0.0
d_Applicative_11/AotoYamada_05__Ex1SimplyTyped.xml YES 0.0 / 0.1
ied_Applicative_11/AotoYamada_05__Ex5TermProof.xml YES 0.3 / 0.3
ied_Applicative_11/Applicative_05__BTreeMember.xml YES 0.1 / 0.1
ried_Applicative_11/Applicative_05__Ex2PrimRec.xml . 0.6 / 0.6
licative_11/Applicative_05__Ex2_6_1Composition.xml YES 0.0 / 0.0
cative_11/Applicative_05__Ex2_8_1ConstSubstFix.xml . 2.5 / 1.7
urried_Applicative_11/Applicative_05__Ex3Lists.xml YES 0.0 / 0.1
ried_Applicative_11/Applicative_05__Ex4MapList.xml YES 0.0 / 0.1
ried_Applicative_11/Applicative_05__Ex5Folding.xml YES 0.2 / 0.3
ried_Applicative_11/Applicative_05__Ex5Sorting.xml YES 0.6 / 0.7
ried_Applicative_11/Applicative_05__Ex6Folding.xml YES 0.3 / 0.3
ied_Applicative_11/Applicative_05__Ex6Recursor.xml YES 0.0 / 0.1
ncurried_Applicative_11/Applicative_05__Ex6_11.xml . 37.8 / 42.3
d_Applicative_11/Applicative_05__Ex7OrdinalRec.xml . 0.5 / 0.8
ried_Applicative_11/Applicative_05__Ex7Sorting.xml YES 0.9 / 1.8
Uncurried_Applicative_11/Applicative_05__Ex7_9.xml YES 2.4 / 2.0
curried_Applicative_11/Applicative_05__Ex9Maps.xml YES 4.7 / 4.8
curried_Applicative_11/Applicative_05__Hamming.xml NO 0.0 / 0.0
Applicative_11/Applicative_05__ReverseLastInit.xml YES 0.2 / 0.2
d_Applicative_11/Applicative_05__TakeDropWhile.xml YES 0.0 / 0.1
ied_Applicative_11/Applicative_05__TreeFlatten.xml YES 0.1 / 0.1
ried_Applicative_11/Applicative_05__TreeHeight.xml YES 0.0 / 0.0
ried_Applicative_11/Applicative_05__TreeLevels.xml YES 0.1 / 0.1
curried_Applicative_11/Applicative_05__TreeMap.xml YES 0.2 / 0.3
urried_Applicative_11/Applicative_05__TreeSize.xml YES 0.0 / 0.1
curried_Applicative_11/Applicative_05__TypeEx3.xml . 0.7 / 0.8
curried_Applicative_11/Applicative_05__TypeEx5.xml NO 0.0 / 0.0
ied_Applicative_11/Applicative_05__mapDivMinus.xml YES 1.8 / 1.2
Applicative_11/Applicative_05__mapDivMinusHard.xml YES 1.9 / 1.2
ed_Applicative_11/Applicative_05__termMonTypes.xml . 1.3 / 0.9
plicative_11/Applicative_AG01_innermost__#4.10.xml NO 3.3 / 2.4
plicative_11/Applicative_AG01_innermost__#4.13.xml . 9.3 / 3.8
plicative_11/Applicative_AG01_innermost__#4.15.xml NO 4.1 / 2.5
plicative_11/Applicative_AG01_innermost__#4.17.xml NO 4.4 / 3.0
plicative_11/Applicative_AG01_innermost__#4.19.xml . 832.3 / 300.0
pplicative_11/Applicative_AG01_innermost__#4.2.xml NO 3.9 / 2.7
plicative_11/Applicative_AG01_innermost__#4.22.xml YES 1.7 / 1.0
plicative_11/Applicative_AG01_innermost__#4.24.xml YES 2.3 / 3.6
plicative_11/Applicative_AG01_innermost__#4.26.xml YES 2.6 / 2.3
plicative_11/Applicative_AG01_innermost__#4.28.xml YES 1.3 / 0.9
pplicative_11/Applicative_AG01_innermost__#4.3.xml NO 3.4 / 2.2
plicative_11/Applicative_AG01_innermost__#4.34.xml YES 2.3 / 1.4
plicative_11/Applicative_AG01_innermost__#4.36.xml YES 3.8 / 4.4
pplicative_11/Applicative_AG01_innermost__#4.5.xml NO 0.0 / 0.0
pplicative_11/Applicative_AG01_innermost__#4.7.xml NO 3.8 / 2.7
pplicative_11/Applicative_AG01_innermost__#4.8.xml . 16.6 / 7.9
plicative_11/Applicative_first_order_05__#3.10.xml YES 4.1 / 3.1
plicative_11/Applicative_first_order_05__#3.13.xml YES 3.4 / 1.8
plicative_11/Applicative_first_order_05__#3.16.xml YES 0.3 / 0.3
plicative_11/Applicative_first_order_05__#3.18.xml YES 2.3 / 2.0
pplicative_11/Applicative_first_order_05__#3.2.xml YES 2.0 / 1.1
plicative_11/Applicative_first_order_05__#3.22.xml YES 2.1 / 1.2
plicative_11/Applicative_first_order_05__#3.25.xml YES 1.3 / 0.8
plicative_11/Applicative_first_order_05__#3.27.xml YES 0.1 / 0.2
plicative_11/Applicative_first_order_05__#3.32.xml YES 1.2 / 0.8
plicative_11/Applicative_first_order_05__#3.36.xml YES 2.2 / 1.4
plicative_11/Applicative_first_order_05__#3.38.xml YES 2.3 / 1.3
plicative_11/Applicative_first_order_05__#3.40.xml YES 3.1 / 2.6
plicative_11/Applicative_first_order_05__#3.45.xml YES 1.5 / 0.9
plicative_11/Applicative_first_order_05__#3.48.xml YES 1.9 / 1.3
plicative_11/Applicative_first_order_05__#3.52.xml YES 1.6 / 1.0
plicative_11/Applicative_first_order_05__#3.55.xml YES 3.7 / 1.9
plicative_11/Applicative_first_order_05__#3.57.xml YES 2.9 / 1.5
pplicative_11/Applicative_first_order_05__#3.6.xml YES 2.6 / 1.9
pplicative_11/Applicative_first_order_05__#3.8.xml YES 2.6 / 2.1
_Applicative_11/Applicative_first_order_05__01.xml YES 0.1 / 0.1
_Applicative_11/Applicative_first_order_05__02.xml YES 0.1 / 0.1
_Applicative_11/Applicative_first_order_05__06.xml YES 0.1 / 0.1
_Applicative_11/Applicative_first_order_05__08.xml YES 0.3 / 0.3
_Applicative_11/Applicative_first_order_05__11.xml YES 1.0 / 1.0
_Applicative_11/Applicative_first_order_05__12.xml YES 0.6 / 0.6
_Applicative_11/Applicative_first_order_05__13.xml YES 29.6 / 14.6
_Applicative_11/Applicative_first_order_05__17.xml YES 0.1 / 0.1
_Applicative_11/Applicative_first_order_05__18.xml YES 0.1 / 0.2
_Applicative_11/Applicative_first_order_05__21.xml YES 1.8 / 1.2
_Applicative_11/Applicative_first_order_05__29.xml YES 0.4 / 0.5
_Applicative_11/Applicative_first_order_05__30.xml YES 0.3 / 0.3
_Applicative_11/Applicative_first_order_05__31.xml YES 0.2 / 0.2
_Applicative_11/Applicative_first_order_05__33.xml . 792.5 / 300.1
plicative_11/Applicative_first_order_05__hydra.xml YES 1.7 / 1.1
icative_11/Applicative_first_order_05__minsort.xml . 739.9 / 300.1
tive_11/Applicative_first_order_05__motivation.xml YES 1.9 / 1.3
icative_11/Applicative_first_order_05__perfect.xml YES 2.0 / 1.3
cative_11/Applicative_first_order_05__perfect2.xml YES 2.6 / 1.4