Overview of job-results

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

Statistics

64 pairs, 4401.4 / 2887.3 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 TRS Condi 42682
Solver mu-term 5.13 AProVE_JRE2
Scores 25 18
TRS_Conditional/Mixed_CTRS/AAECC-ring-cond.xml 300.0 / 300.0 s 213.2 / 75.9 s
TRS_Conditional/Mixed_CTRS/AAECCcond.xml 299.9 / 300.0 s 50.9 / 21.0 s
TRS_Conditional/Mixed_CTRS/fib.xml 0.1 / 0.1 s 1.4 / 0.8 s
TRS_Conditional/Mixed_CTRS/gcd.xml 0.0 / 0.1 s 2.4 / 1.1 s
TRS_Conditional/Mixed_CTRS/quick.xml 0.0 / 0.1 s 2.8 / 1.3 s
TRS_Conditional/Mixed_CTRS/quicksort.xml 4.2 / 4.4 s 3.0 / 1.3 s
TRS_Conditional/Mixed_CTRS/quotrem.xml 0.0 / 0.1 s 2.2 / 1.1 s
_Conditional/Mixed_CTRS_2014/ex1-lucmes-wrla14.xml 299.6 / 300.0 s 396.4 / 300.0 s
TRS_Conditional/Mixed_CTRS_2014/ex1-muterm14.xml 0.0 / 0.0 s 1.1 / 0.6 s
_Conditional/Mixed_CTRS_2014/ex2-lucmes-wrla14.xml 0.3 / 0.4 s 3.6 / 1.8 s
TRS_Conditional/Mixed_CTRS_2014/ex2-muterm14.xml 0.0 / 0.0 s 1.1 / 0.6 s
TRS_Conditional/Mixed_CTRS_2014/ex3-muterm14.xml 0.1 / 0.2 s 20.6 / 10.8 s
onditional/Mixed_CTRS_2014/hosc08-ex5-aecc-p46.xml 0.1 / 0.2 s 2.8 / 1.4 s
TRS_Conditional/Mixed_CTRS_2014/jlap09-ex16.xml 0.1 / 0.1 s 1.7 / 1.0 s
TRS_Conditional/Mixed_CTRS_2014/jlap09-ex17.xml 2.7 / 2.9 s 27.7 / 11.7 s
TRS_Conditional/Mixed_CTRS_2014/logic.xml 0.5 / 0.6 s 4.6 / 1.7 s
TRS_Conditional/Mixed_CTRS_2014/lucMarMes.xml 0.0 / 0.0 s 2.2 / 1.3 s
TRS_Conditional/Mixed_CTRS_2014/mar.xml 264.8 / 300.0 s 942.2 / 300.1 s
TRS_Conditional/Mixed_CTRS_2014/mar_simple1.xml 266.1 / 300.0 s 33.6 / 13.1 s
TRS_Conditional/Mixed_CTRS_2014/mar_simple2.xml 270.4 / 300.0 s 934.2 / 300.1 s
TRS_Conditional/Mixed_CTRS_2014/minus1.xml 0.0 / 0.0 s 1.1 / 0.7 s
TRS_Conditional/Mixed_CTRS_2014/ohl.xml 0.1 / 0.2 s 1.8 / 1.0 s
TRS_Conditional/Mixed_CTRS_2014/ohl190.xml 0.0 / 0.0 s 1.4 / 0.8 s
TRS_Conditional/Mixed_CTRS_2014/ohl194.xml 16.1 / 16.4 s 5.1 / 2.0 s
TRS_Conditional/Mixed_CTRS_2014/ohl196.xml 0.0 / 0.0 s 1.3 / 0.7 s
TRS_Conditional/Mixed_CTRS_2014/ohl206.xml 0.0 / 0.0 s 1.4 / 0.7 s
TRS_Conditional/Mixed_CTRS_2014/ohl211.xml 0.2 / 0.3 s 5.6 / 2.5 s
TRS_Conditional/Mixed_CTRS_2014/ohl216.xml 0.0 / 0.0 s 1.1 / 0.6 s
TRS_Conditional/Mixed_CTRS_2014/ohl228.xml 0.2 / 0.2 s 3.7 / 1.8 s
TRS_Conditional/Mixed_CTRS_2014/ohl230.xml 0.1 / 0.2 s 2.6 / 1.4 s
TRS_Conditional/Mixed_CTRS_2014/plus1.xml 0.0 / 0.0 s 1.1 / 0.6 s
TRS_Conditional/Mixed_CTRS_2014/sche128.xml 0.1 / 0.1 s 1.4 / 0.8 s