Overview of job-results

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

Statistics

234 pairs, 2431.3 / 1124.7 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 Integ TRS 38440
Solver Ctrl AProVE standard f065806
Scores 85 96
Integer_TRS_Innermost/Mixed_ITRS_2014/01.itrs YES 0.1 / 0.1 YES 4.0 / 1.8
Integer_TRS_Innermost/Mixed_ITRS_2014/02.itrs YES 0.1 / 0.1 YES 4.0 / 2.1
Integer_TRS_Innermost/Mixed_ITRS_2014/03.itrs YES 0.2 / 0.8 YES 4.3 / 2.5
Integer_TRS_Innermost/Mixed_ITRS_2014/04.itrs YES 0.0 / 0.0 YES 4.0 / 2.0
Integer_TRS_Innermost/Mixed_ITRS_2014/05.itrs YES 0.0 / 0.0 YES 3.9 / 1.7
Integer_TRS_Innermost/Mixed_ITRS_2014/06.itrs YES 0.0 / 0.0 YES 4.0 / 2.0
Integer_TRS_Innermost/Mixed_ITRS_2014/07.itrs YES 0.0 / 0.0 YES 4.3 / 2.1
Integer_TRS_Innermost/Mixed_ITRS_2014/08.itrs YES 0.1 / 0.1 YES 4.2 / 2.2
Integer_TRS_Innermost/Mixed_ITRS_2014/09.itrs YES 0.1 / 0.1 YES 4.8 / 2.1
Integer_TRS_Innermost/Mixed_ITRS_2014/10.itrs YES 0.3 / 0.3 YES 5.0 / 2.0
Integer_TRS_Innermost/Mixed_ITRS_2014/11.itrs YES 0.2 / 0.1 YES 5.7 / 2.4
Integer_TRS_Innermost/Mixed_ITRS_2014/13.itrs YES 0.1 / 0.1 YES 5.9 / 2.4
Integer_TRS_Innermost/Mixed_ITRS_2014/15.itrs YES 0.3 / 0.3 YES 6.7 / 2.6
Integer_TRS_Innermost/Mixed_ITRS_2014/16.itrs YES 0.5 / 0.5 YES 9.8 / 3.3
Integer_TRS_Innermost/Mixed_ITRS_2014/17.itrs YES 0.4 / 0.4 YES 9.0 / 4.3
Integer_TRS_Innermost/Mixed_ITRS_2014/18.itrs YES 0.4 / 0.4 . 3.4 / 30.0
Integer_TRS_Innermost/Mixed_ITRS_2014/19.itrs YES 0.5 / 0.5 YES 15.8 / 8.4
Integer_TRS_Innermost/Mixed_ITRS_2014/20.itrs YES 0.2 / 0.2 YES 6.0 / 2.5
Integer_TRS_Innermost/Mixed_ITRS_2014/21.itrs YES 0.2 / 0.2 YES 7.5 / 2.7
Integer_TRS_Innermost/Mixed_ITRS_2014/22.itrs YES 2.0 / 2.0 YES 6.2 / 3.6
Integer_TRS_Innermost/Mixed_ITRS_2014/23.itrs YES 2.5 / 2.6 YES 9.0 / 6.6
Integer_TRS_Innermost/Mixed_ITRS_2014/24.itrs YES 0.2 / 0.2 YES 18.4 / 5.0
Integer_TRS_Innermost/Mixed_ITRS_2014/A01.itrs YES 0.1 / 0.1 YES 3.9 / 1.8
Integer_TRS_Innermost/Mixed_ITRS_2014/A02.itrs YES 0.2 / 0.2 YES 3.7 / 1.8
Integer_TRS_Innermost/Mixed_ITRS_2014/A03.itrs YES 0.2 / 0.1 YES 4.3 / 2.8
Integer_TRS_Innermost/Mixed_ITRS_2014/A04.itrs . 0.2 / 0.2 YES 4.3 / 1.9
Integer_TRS_Innermost/Mixed_ITRS_2014/A05.itrs . 0.2 / 0.2 YES 5.4 / 3.1
Integer_TRS_Innermost/Mixed_ITRS_2014/A06.itrs YES 2.1 / 2.1 YES 14.1 / 8.4
Integer_TRS_Innermost/Mixed_ITRS_2014/A07.itrs YES 1.0 / 1.0 YES 6.3 / 2.8
Integer_TRS_Innermost/Mixed_ITRS_2014/A08.itrs YES 2.2 / 2.2 YES 7.0 / 2.6
Integer_TRS_Innermost/Mixed_ITRS_2014/A09.itrs . 0.5 / 0.5 YES 9.2 / 3.5
Integer_TRS_Innermost/Mixed_ITRS_2014/A10.itrs . 0.4 / 0.4 YES 9.9 / 3.6
Integer_TRS_Innermost/Mixed_ITRS_2014/A11.itrs YES 0.2 / 0.2 YES 3.7 / 1.8
Integer_TRS_Innermost/Mixed_ITRS_2014/A12.itrs YES 0.2 / 0.2 YES 3.7 / 1.8
Integer_TRS_Innermost/Mixed_ITRS_2014/A13.itrs YES 0.5 / 0.5 YES 4.7 / 2.3
Integer_TRS_Innermost/Mixed_ITRS_2014/A14.itrs YES 0.6 / 0.6 . 86.5 / 30.1
Integer_TRS_Innermost/Mixed_ITRS_2014/A15.itrs . 0.6 / 0.6 . 43.8 / 30.0
Integer_TRS_Innermost/Mixed_ITRS_2014/A16.itrs . 0.1 / 0.1 . 95.3 / 30.1
Integer_TRS_Innermost/Mixed_ITRS_2014/A17.itrs . 0.4 / 0.4 . 89.6 / 30.1
Integer_TRS_Innermost/Mixed_ITRS_2014/Ex04.itrs . 0.2 / 0.2 . 24.1 / 30.0
Integer_TRS_Innermost/Mixed_ITRS_2014/Ex09.itrs . 0.2 / 0.2 YES 18.1 / 3.4
Integer_TRS_Innermost/Mixed_ITRS_2014/a.01.itrs YES 2.2 / 2.5 YES 6.5 / 2.9
Integer_TRS_Innermost/Mixed_ITRS_2014/a.02.itrs YES 0.4 / 0.4 . 78.6 / 30.1
Integer_TRS_Innermost/Mixed_ITRS_2014/a.03.itrs YES 26.0 / 25.6 YES 24.4 / 9.6
Integer_TRS_Innermost/Mixed_ITRS_2014/a.04.itrs YES 0.1 / 0.1 YES 4.0 / 2.4
Integer_TRS_Innermost/Mixed_ITRS_2014/a.05.itrs YES 0.1 / 0.1 YES 3.8 / 1.9
Integer_TRS_Innermost/Mixed_ITRS_2014/a.06.itrs YES 0.2 / 0.2 YES 5.4 / 2.5
Integer_TRS_Innermost/Mixed_ITRS_2014/a.07.itrs YES 0.1 / 0.1 YES 4.4 / 2.9
Integer_TRS_Innermost/Mixed_ITRS_2014/a.08.itrs YES 0.1 / 0.1 YES 4.1 / 1.9
Integer_TRS_Innermost/Mixed_ITRS_2014/a.09.itrs YES 0.2 / 0.2 YES 4.1 / 1.9
Integer_TRS_Innermost/Mixed_ITRS_2014/a.10.itrs YES 0.2 / 0.2 YES 23.3 / 12.7
Integer_TRS_Innermost/Mixed_ITRS_2014/a.11.itrs YES 6.9 / 6.8 YES 6.4 / 2.4
er_TRS_Innermost/Mixed_ITRS_2014/abstractions.itrs YES 0.3 / 0.3 YES 6.2 / 3.1
Integer_TRS_Innermost/Mixed_ITRS_2014/ackTen.itrs . 1.9 / 1.8 . 71.9 / 30.1
Integer_TRS_Innermost/Mixed_ITRS_2014/c.01.itrs YES 2.5 / 2.5 YES 5.8 / 2.3
Integer_TRS_Innermost/Mixed_ITRS_2014/c.02.itrs YES 2.0 / 2.0 YES 6.1 / 2.8
Integer_TRS_Innermost/Mixed_ITRS_2014/c.03.itrs YES 0.5 / 0.5 YES 10.1 / 5.7
Integer_TRS_Innermost/Mixed_ITRS_2014/c.04.itrs YES 0.3 / 0.3 YES 9.2 / 3.9
Integer_TRS_Innermost/Mixed_ITRS_2014/c.05.itrs YES 0.4 / 0.4 YES 6.6 / 3.1
Integer_TRS_Innermost/Mixed_ITRS_2014/choice.itrs . 0.3 / 0.3 . 84.8 / 30.1
Integer_TRS_Innermost/Mixed_ITRS_2014/collatz.itrs . 0.6 / 0.6 . 93.8 / 30.0
teger_TRS_Innermost/Mixed_ITRS_2014/complete1.itrs YES 0.2 / 0.2 YES 6.8 / 3.3
teger_TRS_Innermost/Mixed_ITRS_2014/complete2.itrs . 0.2 / 0.2 YES 4.3 / 2.0
teger_TRS_Innermost/Mixed_ITRS_2014/complete3.itrs YES 1.3 / 1.3 YES 6.0 / 2.5
teger_TRS_Innermost/Mixed_ITRS_2014/complete4.itrs YES 0.3 / 0.3 YES 5.2 / 2.1
Integer_TRS_Innermost/Mixed_ITRS_2014/conv.itrs YES 0.2 / 0.2 YES 3.8 / 1.9
eger_TRS_Innermost/Mixed_ITRS_2014/countUpExp.itrs . 0.2 / 0.2 YES 4.3 / 2.8
teger_TRS_Innermost/Mixed_ITRS_2014/countUpNo.itrs . 0.1 / 0.1 . 98.8 / 30.1
teger_TRS_Innermost/Mixed_ITRS_2014/countdown.itrs YES 0.1 / 0.1 YES 3.8 / 1.7
Integer_TRS_Innermost/Mixed_ITRS_2014/countup.itrs YES 0.1 / 0.1 YES 3.8 / 2.0
Integer_TRS_Innermost/Mixed_ITRS_2014/csharp1.itrs YES 1.9 / 1.8 YES 4.0 / 2.1
Integer_TRS_Innermost/Mixed_ITRS_2014/csharp2.itrs YES 2.1 / 2.1 YES 4.1 / 2.1
Integer_TRS_Innermost/Mixed_ITRS_2014/csharp3.itrs . 1.4 / 1.3 YES 3.9 / 1.8
Integer_TRS_Innermost/Mixed_ITRS_2014/div.itrs YES 0.2 / 0.2 YES 4.1 / 1.8
nteger_TRS_Innermost/Mixed_ITRS_2014/divMinus.itrs YES 0.2 / 0.2 YES 3.9 / 1.8
er_TRS_Innermost/Mixed_ITRS_2014/eratosthenes.itrs . 1.0 / 0.9 . 82.8 / 30.1
_Innermost/Mixed_ITRS_2014/eratosthenes_small.itrs . 0.5 / 0.5 YES 74.1 / 25.9
Integer_TRS_Innermost/Mixed_ITRS_2014/extra1.itrs YES 0.1 / 0.1 YES 3.9 / 2.0
Integer_TRS_Innermost/Mixed_ITRS_2014/extra2.itrs YES 0.2 / 0.2 YES 3.9 / 1.8
Integer_TRS_Innermost/Mixed_ITRS_2014/f91.itrs . 0.4 / 0.4 . 98.8 / 30.0
eger_TRS_Innermost/Mixed_ITRS_2014/gcd_minmax.itrs YES 0.6 / 0.5 YES 5.5 / 3.2
Integer_TRS_Innermost/Mixed_ITRS_2014/incList.itrs YES 0.0 / 0.0 YES 4.2 / 2.0
teger_TRS_Innermost/Mixed_ITRS_2014/increase1.itrs YES 0.1 / 0.1 YES 4.5 / 2.3
teger_TRS_Innermost/Mixed_ITRS_2014/increase2.itrs YES 0.3 / 0.3 YES 6.0 / 2.3
teger_TRS_Innermost/Mixed_ITRS_2014/increase3.itrs YES 0.6 / 0.6 YES 10.0 / 5.5
teger_TRS_Innermost/Mixed_ITRS_2014/increase4.itrs YES 0.1 / 0.1 YES 4.3 / 1.9
nteger_TRS_Innermost/Mixed_ITRS_2014/indirect.itrs YES 0.1 / 0.1 YES 4.9 / 2.4
teger_TRS_Innermost/Mixed_ITRS_2014/log_RTA08.itrs YES 0.2 / 0.2 YES 5.8 / 3.3
teger_TRS_Innermost/Mixed_ITRS_2014/log_RTA09.itrs YES 0.3 / 0.3 YES 4.3 / 2.2
Integer_TRS_Innermost/Mixed_ITRS_2014/maxsort.itrs . 0.4 / 0.5 . 70.7 / 30.1
Integer_TRS_Innermost/Mixed_ITRS_2014/minsort.itrs . 0.1 / 0.1 YES 6.2 / 3.7
Integer_TRS_Innermost/Mixed_ITRS_2014/mult.itrs YES 0.1 / 0.1 YES 6.8 / 2.6
Integer_TRS_Innermost/Mixed_ITRS_2014/poly1.itrs . 0.4 / 0.4 . 98.4 / 30.1
Integer_TRS_Innermost/Mixed_ITRS_2014/poly2.itrs . 0.4 / 0.4 . 102.3 / 30.2
Integer_TRS_Innermost/Mixed_ITRS_2014/poly3.itrs . 0.9 / 0.9 . 98.9 / 30.1
Integer_TRS_Innermost/Mixed_ITRS_2014/poly4.itrs YES 1.0 / 1.0 YES 17.3 / 6.3
Integer_TRS_Innermost/Mixed_ITRS_2014/pow.itrs YES 0.1 / 0.1 YES 4.7 / 2.4
Integer_TRS_Innermost/Mixed_ITRS_2014/powFast.itrs . 30.0 / 30.0 YES 5.2 / 2.2
eger_TRS_Innermost/Mixed_ITRS_2014/practical1.itrs YES 1.3 / 1.3 YES 6.6 / 2.5
eger_TRS_Innermost/Mixed_ITRS_2014/practical2.itrs . 30.1 / 30.0 . 98.1 / 30.1
eger_TRS_Innermost/Mixed_ITRS_2014/practical3.itrs . 29.6 / 30.1 . 72.0 / 30.0
teger_TRS_Innermost/Mixed_ITRS_2014/quicksort.itrs . 0.4 / 0.4 YES 8.2 / 3.2
Integer_TRS_Innermost/Mixed_ITRS_2014/random.itrs YES 0.1 / 0.2 YES 4.1 / 4.6
RS_Innermost/Mixed_ITRS_2014/randomFullUpDown.itrs . 0.3 / 0.3 . 26.2 / 30.1
ger_TRS_Innermost/Mixed_ITRS_2014/random_full.itrs YES 0.3 / 0.3 YES 43.3 / 17.7
Innermost/Mixed_ITRS_2014/random_full_no_wrap.itrs YES 0.3 / 0.5 . 27.1 / 30.1
_TRS_Innermost/Mixed_ITRS_2014/random_no_wrap.itrs YES 0.1 / 0.1 YES 3.9 / 2.0
Integer_TRS_Innermost/Mixed_ITRS_2014/round.itrs . 0.2 / 0.2 YES 5.3 / 2.7
nteger_TRS_Innermost/Mixed_ITRS_2014/sqrt_new.itrs . 0.4 / 0.4 YES 5.3 / 2.2
eger_TRS_Innermost/Mixed_ITRS_2014/sqrt_patrs.itrs YES 0.2 / 0.2 YES 4.7 / 2.0
Integer_TRS_Innermost/Mixed_ITRS_2014/sum.itrs YES 0.2 / 0.2 YES 4.1 / 2.0
Integer_TRS_Innermost/Mixed_ITRS_2014/sumto.itrs YES 0.1 / 0.1 YES 4.1 / 2.1
ger_TRS_Innermost/Mixed_ITRS_2014/sumto_no_if.itrs YES 0.1 / 0.1 YES 3.7 / 1.8
teger_TRS_Innermost/Mixed_ITRS_2014/terminate.itrs . 0.2 / 0.2 YES 5.1 / 2.2
nteger_TRS_Innermost/Mixed_ITRS_2014/thousand.itrs YES 0.1 / 0.1 YES 4.2 / 2.1
eger_TRS_Innermost/Mixed_ITRS_2014/unsatCond1.itrs YES 0.0 / 0.0 YES 3.8 / 1.8
eger_TRS_Innermost/Mixed_ITRS_2014/unsatCond2.itrs YES 0.0 / 0.0 YES 3.6 / 1.7