Overview of job-results

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

Statistics

234 pairs, 13954.0 / 6549.1 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 83515
Solver Ctrl AProVE 2015
Scores 85 102
Integer_TRS_Innermost/Mixed_ITRS_2014/01.itrs YES 0.1 / 0.1 YES 3.0 / 2.0
Integer_TRS_Innermost/Mixed_ITRS_2014/02.itrs YES 0.1 / 0.1 YES 2.9 / 2.0
Integer_TRS_Innermost/Mixed_ITRS_2014/03.itrs YES 0.1 / 0.1 YES 3.1 / 2.0
Integer_TRS_Innermost/Mixed_ITRS_2014/04.itrs YES 0.0 / 0.0 YES 2.8 / 4.5
Integer_TRS_Innermost/Mixed_ITRS_2014/05.itrs YES 0.0 / 0.0 YES 3.5 / 7.6
Integer_TRS_Innermost/Mixed_ITRS_2014/06.itrs YES 0.0 / 0.0 YES 2.8 / 2.0
Integer_TRS_Innermost/Mixed_ITRS_2014/07.itrs YES 0.0 / 0.0 YES 3.1 / 4.9
Integer_TRS_Innermost/Mixed_ITRS_2014/08.itrs YES 0.0 / 0.1 YES 3.2 / 7.4
Integer_TRS_Innermost/Mixed_ITRS_2014/09.itrs YES 0.1 / 0.1 YES 3.9 / 2.3
Integer_TRS_Innermost/Mixed_ITRS_2014/10.itrs YES 0.2 / 0.2 YES 4.1 / 3.5
Integer_TRS_Innermost/Mixed_ITRS_2014/11.itrs YES 0.1 / 0.1 YES 5.1 / 2.8
Integer_TRS_Innermost/Mixed_ITRS_2014/13.itrs YES 0.1 / 0.1 YES 4.4 / 2.7
Integer_TRS_Innermost/Mixed_ITRS_2014/15.itrs YES 0.2 / 1.6 YES 7.3 / 3.6
Integer_TRS_Innermost/Mixed_ITRS_2014/16.itrs YES 0.3 / 0.4 YES 10.6 / 8.7
Integer_TRS_Innermost/Mixed_ITRS_2014/17.itrs YES 0.3 / 1.9 YES 13.9 / 6.2
Integer_TRS_Innermost/Mixed_ITRS_2014/18.itrs YES 0.3 / 0.4 YES 6.9 / 3.4
Integer_TRS_Innermost/Mixed_ITRS_2014/19.itrs YES 0.4 / 0.5 YES 10.4 / 4.8
Integer_TRS_Innermost/Mixed_ITRS_2014/20.itrs YES 0.1 / 0.3 YES 5.1 / 6.8
Integer_TRS_Innermost/Mixed_ITRS_2014/21.itrs YES 0.1 / 0.2 YES 8.9 / 11.5
Integer_TRS_Innermost/Mixed_ITRS_2014/22.itrs YES 1.6 / 6.6 YES 5.1 / 2.7
Integer_TRS_Innermost/Mixed_ITRS_2014/23.itrs YES 1.9 / 2.2 YES 8.1 / 3.9
Integer_TRS_Innermost/Mixed_ITRS_2014/24.itrs YES 0.2 / 1.5 YES 8.2 / 15.2
Integer_TRS_Innermost/Mixed_ITRS_2014/A01.itrs YES 0.1 / 0.1 YES 3.2 / 3.2
Integer_TRS_Innermost/Mixed_ITRS_2014/A02.itrs YES 0.1 / 0.1 YES 2.9 / 1.9
Integer_TRS_Innermost/Mixed_ITRS_2014/A03.itrs YES 0.1 / 0.1 YES 3.2 / 5.6
Integer_TRS_Innermost/Mixed_ITRS_2014/A04.itrs . 0.2 / 0.8 YES 3.3 / 2.1
Integer_TRS_Innermost/Mixed_ITRS_2014/A05.itrs . 0.2 / 0.2 YES 3.6 / 4.9
Integer_TRS_Innermost/Mixed_ITRS_2014/A06.itrs YES 1.1 / 1.3 YES 10.8 / 4.9
Integer_TRS_Innermost/Mixed_ITRS_2014/A07.itrs YES 0.9 / 0.9 YES 6.9 / 7.9
Integer_TRS_Innermost/Mixed_ITRS_2014/A08.itrs YES 1.8 / 2.0 YES 15.4 / 20.3
Integer_TRS_Innermost/Mixed_ITRS_2014/A09.itrs . 0.3 / 0.8 YES 10.2 / 5.7
Integer_TRS_Innermost/Mixed_ITRS_2014/A10.itrs . 0.3 / 0.4 YES 18.6 / 22.4
Integer_TRS_Innermost/Mixed_ITRS_2014/A11.itrs YES 0.1 / 0.2 YES 2.9 / 2.0
Integer_TRS_Innermost/Mixed_ITRS_2014/A12.itrs YES 0.1 / 0.1 YES 2.8 / 1.8
Integer_TRS_Innermost/Mixed_ITRS_2014/A13.itrs YES 0.5 / 1.1 YES 3.4 / 2.2
Integer_TRS_Innermost/Mixed_ITRS_2014/A14.itrs YES 0.5 / 0.6 YES 118.1 / 41.1
Integer_TRS_Innermost/Mixed_ITRS_2014/A15.itrs . 0.5 / 0.6 . 836.7 / 300.1
Integer_TRS_Innermost/Mixed_ITRS_2014/A16.itrs . 0.1 / 0.1 . 861.0 / 300.0
Integer_TRS_Innermost/Mixed_ITRS_2014/A17.itrs . 0.3 / 0.3 . 988.4 / 300.1
Integer_TRS_Innermost/Mixed_ITRS_2014/Ex04.itrs . 0.2 / 0.2 . 630.3 / 300.1
Integer_TRS_Innermost/Mixed_ITRS_2014/Ex09.itrs . 0.2 / 1.2 YES 12.8 / 10.1
Integer_TRS_Innermost/Mixed_ITRS_2014/a.01.itrs YES 1.3 / 1.5 YES 5.3 / 2.8
Integer_TRS_Innermost/Mixed_ITRS_2014/a.02.itrs YES 0.2 / 0.3 . 953.5 / 300.1
Integer_TRS_Innermost/Mixed_ITRS_2014/a.03.itrs YES 19.4 / 22.3 YES 28.8 / 11.6
Integer_TRS_Innermost/Mixed_ITRS_2014/a.04.itrs YES 0.1 / 0.3 YES 2.9 / 3.1
Integer_TRS_Innermost/Mixed_ITRS_2014/a.05.itrs YES 0.1 / 0.2 YES 3.3 / 15.5
Integer_TRS_Innermost/Mixed_ITRS_2014/a.06.itrs YES 0.1 / 0.1 YES 4.0 / 10.0
Integer_TRS_Innermost/Mixed_ITRS_2014/a.07.itrs YES 0.1 / 0.1 YES 4.0 / 2.4
Integer_TRS_Innermost/Mixed_ITRS_2014/a.08.itrs YES 0.1 / 0.5 YES 3.2 / 7.7
Integer_TRS_Innermost/Mixed_ITRS_2014/a.09.itrs YES 0.1 / 0.5 YES 3.5 / 6.7
Integer_TRS_Innermost/Mixed_ITRS_2014/a.10.itrs YES 0.2 / 0.2 YES 30.1 / 10.2
Integer_TRS_Innermost/Mixed_ITRS_2014/a.11.itrs YES 7.0 / 45.7 YES 9.6 / 12.1
er_TRS_Innermost/Mixed_ITRS_2014/abstractions.itrs YES 0.2 / 0.3 YES 5.0 / 2.8
Integer_TRS_Innermost/Mixed_ITRS_2014/ackTen.itrs . 1.6 / 1.8 . 596.1 / 300.1
Integer_TRS_Innermost/Mixed_ITRS_2014/c.01.itrs YES 1.7 / 1.9 YES 5.8 / 10.7
Integer_TRS_Innermost/Mixed_ITRS_2014/c.02.itrs YES 1.8 / 2.0 YES 5.2 / 2.8
Integer_TRS_Innermost/Mixed_ITRS_2014/c.03.itrs YES 0.4 / 0.4 YES 6.9 / 3.4
Integer_TRS_Innermost/Mixed_ITRS_2014/c.04.itrs YES 0.3 / 0.3 YES 6.9 / 5.2
Integer_TRS_Innermost/Mixed_ITRS_2014/c.05.itrs YES 0.4 / 0.4 YES 7.1 / 3.2
Integer_TRS_Innermost/Mixed_ITRS_2014/choice.itrs . 0.3 / 0.9 YES 170.2 / 123.4
Integer_TRS_Innermost/Mixed_ITRS_2014/collatz.itrs . 0.6 / 1.4 . 1017.1 / 300.1
teger_TRS_Innermost/Mixed_ITRS_2014/complete1.itrs YES 0.1 / 0.1 YES 6.3 / 12.0
teger_TRS_Innermost/Mixed_ITRS_2014/complete2.itrs . 0.1 / 0.1 YES 3.9 / 6.6
teger_TRS_Innermost/Mixed_ITRS_2014/complete3.itrs YES 1.1 / 1.3 YES 4.6 / 3.0
teger_TRS_Innermost/Mixed_ITRS_2014/complete4.itrs YES 0.2 / 0.2 YES 3.7 / 2.2
Integer_TRS_Innermost/Mixed_ITRS_2014/conv.itrs YES 0.1 / 1.1 YES 3.5 / 11.6
eger_TRS_Innermost/Mixed_ITRS_2014/countUpExp.itrs . 0.2 / 0.2 YES 3.3 / 2.1
teger_TRS_Innermost/Mixed_ITRS_2014/countUpNo.itrs . 0.0 / 0.1 . 924.6 / 300.1
teger_TRS_Innermost/Mixed_ITRS_2014/countdown.itrs YES 0.1 / 0.6 YES 2.7 / 1.8
Integer_TRS_Innermost/Mixed_ITRS_2014/countup.itrs YES 0.1 / 0.1 YES 2.8 / 1.9
Integer_TRS_Innermost/Mixed_ITRS_2014/csharp1.itrs YES 1.5 / 1.7 YES 3.3 / 5.8
Integer_TRS_Innermost/Mixed_ITRS_2014/csharp2.itrs YES 2.0 / 8.2 YES 3.4 / 5.5
Integer_TRS_Innermost/Mixed_ITRS_2014/csharp3.itrs . 1.0 / 1.2 YES 3.3 / 25.5
Integer_TRS_Innermost/Mixed_ITRS_2014/div.itrs YES 0.1 / 0.8 YES 3.1 / 5.0
nteger_TRS_Innermost/Mixed_ITRS_2014/divMinus.itrs YES 0.1 / 0.1 YES 2.9 / 1.9
er_TRS_Innermost/Mixed_ITRS_2014/eratosthenes.itrs . 0.8 / 0.9 YES 89.8 / 32.8
_Innermost/Mixed_ITRS_2014/eratosthenes_small.itrs . 0.5 / 2.3 YES 75.5 / 27.0
Integer_TRS_Innermost/Mixed_ITRS_2014/extra1.itrs YES 0.1 / 0.1 YES 3.1 / 4.4
Integer_TRS_Innermost/Mixed_ITRS_2014/extra2.itrs YES 0.1 / 0.2 YES 2.8 / 1.9
Integer_TRS_Innermost/Mixed_ITRS_2014/f91.itrs . 0.2 / 1.0 . 806.0 / 300.1
eger_TRS_Innermost/Mixed_ITRS_2014/gcd_minmax.itrs YES 0.5 / 5.5 YES 4.8 / 2.6
Integer_TRS_Innermost/Mixed_ITRS_2014/incList.itrs YES 0.0 / 0.2 YES 3.4 / 2.1
teger_TRS_Innermost/Mixed_ITRS_2014/increase1.itrs YES 0.1 / 0.1 YES 2.9 / 3.0
teger_TRS_Innermost/Mixed_ITRS_2014/increase2.itrs YES 0.2 / 0.3 YES 5.4 / 3.1
teger_TRS_Innermost/Mixed_ITRS_2014/increase3.itrs YES 0.4 / 4.5 YES 7.0 / 3.5
teger_TRS_Innermost/Mixed_ITRS_2014/increase4.itrs YES 0.1 / 0.2 YES 3.1 / 5.5
nteger_TRS_Innermost/Mixed_ITRS_2014/indirect.itrs YES 0.1 / 0.3 YES 3.4 / 2.2
teger_TRS_Innermost/Mixed_ITRS_2014/log_RTA08.itrs YES 0.2 / 0.2 YES 4.5 / 2.6
teger_TRS_Innermost/Mixed_ITRS_2014/log_RTA09.itrs YES 0.2 / 0.3 YES 3.2 / 2.1
Integer_TRS_Innermost/Mixed_ITRS_2014/maxsort.itrs . 0.5 / 3.1 . 404.3 / 300.0
Integer_TRS_Innermost/Mixed_ITRS_2014/minsort.itrs . 0.1 / 0.1 YES 6.9 / 12.2
Integer_TRS_Innermost/Mixed_ITRS_2014/mult.itrs YES 0.1 / 0.1 YES 5.7 / 3.0
Integer_TRS_Innermost/Mixed_ITRS_2014/poly1.itrs . 0.3 / 0.3 . 1024.8 / 300.1
Integer_TRS_Innermost/Mixed_ITRS_2014/poly2.itrs . 0.3 / 0.3 . 494.9 / 300.1
Integer_TRS_Innermost/Mixed_ITRS_2014/poly3.itrs . 0.8 / 0.9 . 501.7 / 300.1
Integer_TRS_Innermost/Mixed_ITRS_2014/poly4.itrs YES 1.0 / 2.7 YES 108.5 / 124.3
Integer_TRS_Innermost/Mixed_ITRS_2014/pow.itrs YES 0.1 / 1.0 YES 2.8 / 1.8
Integer_TRS_Innermost/Mixed_ITRS_2014/powFast.itrs . 252.9 / 300.0 YES 4.1 / 2.5
eger_TRS_Innermost/Mixed_ITRS_2014/practical1.itrs YES 1.0 / 1.2 YES 6.8 / 15.9
eger_TRS_Innermost/Mixed_ITRS_2014/practical2.itrs . 296.3 / 300.0 . 879.2 / 300.1
eger_TRS_Innermost/Mixed_ITRS_2014/practical3.itrs . 259.5 / 300.1 . 938.3 / 300.0
teger_TRS_Innermost/Mixed_ITRS_2014/quicksort.itrs . 0.3 / 0.3 YES 9.1 / 9.3
Integer_TRS_Innermost/Mixed_ITRS_2014/random.itrs YES 0.1 / 0.1 YES 3.2 / 6.5
RS_Innermost/Mixed_ITRS_2014/randomFullUpDown.itrs . 0.3 / 1.0 YES 46.3 / 39.4
ger_TRS_Innermost/Mixed_ITRS_2014/random_full.itrs YES 0.2 / 0.2 YES 42.2 / 19.6
Innermost/Mixed_ITRS_2014/random_full_no_wrap.itrs YES 0.2 / 0.2 YES 43.1 / 44.5
_TRS_Innermost/Mixed_ITRS_2014/random_no_wrap.itrs YES 0.1 / 0.8 YES 3.3 / 10.1
Integer_TRS_Innermost/Mixed_ITRS_2014/round.itrs . 0.1 / 0.2 YES 4.5 / 2.7
nteger_TRS_Innermost/Mixed_ITRS_2014/sqrt_new.itrs . 0.3 / 1.6 YES 5.3 / 7.5
eger_TRS_Innermost/Mixed_ITRS_2014/sqrt_patrs.itrs YES 0.2 / 0.2 YES 4.6 / 9.4
Integer_TRS_Innermost/Mixed_ITRS_2014/sum.itrs YES 0.1 / 0.1 YES 2.8 / 1.9
Integer_TRS_Innermost/Mixed_ITRS_2014/sumto.itrs YES 0.1 / 0.1 YES 3.0 / 2.1
ger_TRS_Innermost/Mixed_ITRS_2014/sumto_no_if.itrs YES 0.1 / 0.1 YES 3.1 / 2.2
teger_TRS_Innermost/Mixed_ITRS_2014/terminate.itrs . 0.2 / 0.2 YES 5.4 / 10.5
nteger_TRS_Innermost/Mixed_ITRS_2014/thousand.itrs YES 0.1 / 0.1 YES 2.8 / 4.6
eger_TRS_Innermost/Mixed_ITRS_2014/unsatCond1.itrs YES 0.0 / 0.0 YES 2.6 / 1.8
eger_TRS_Innermost/Mixed_ITRS_2014/unsatCond2.itrs YES 0.0 / 0.0 YES 3.0 / 2.2