Overview of job-results

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

Statistics

234 pairs, 14345.7 / 4516.8 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 Integ TRS 74585
Solver Ctrl AProVE_JRE2
Scores 80 104
Integer_TRS_Innermost/Mixed_ITRS_2014/01.itrs 0.2 / 0.2 s 1.6 / 1.0 s
Integer_TRS_Innermost/Mixed_ITRS_2014/02.itrs 0.2 / 0.2 s 1.7 / 1.0 s
Integer_TRS_Innermost/Mixed_ITRS_2014/03.itrs 0.3 / 0.4 s 2.0 / 1.2 s
Integer_TRS_Innermost/Mixed_ITRS_2014/04.itrs 0.0 / 0.1 s 1.6 / 1.0 s
Integer_TRS_Innermost/Mixed_ITRS_2014/05.itrs 0.0 / 0.1 s 1.7 / 1.1 s
Integer_TRS_Innermost/Mixed_ITRS_2014/06.itrs 0.0 / 0.1 s 1.7 / 1.0 s
Integer_TRS_Innermost/Mixed_ITRS_2014/07.itrs 0.0 / 0.1 s 1.6 / 1.0 s
Integer_TRS_Innermost/Mixed_ITRS_2014/08.itrs 0.3 / 0.3 s 1.7 / 1.0 s
Integer_TRS_Innermost/Mixed_ITRS_2014/09.itrs 0.3 / 0.3 s 2.6 / 1.4 s
Integer_TRS_Innermost/Mixed_ITRS_2014/10.itrs 0.6 / 0.7 s 2.8 / 1.5 s
Integer_TRS_Innermost/Mixed_ITRS_2014/11.itrs 0.4 / 0.4 s 3.9 / 1.8 s
Integer_TRS_Innermost/Mixed_ITRS_2014/13.itrs 0.4 / 0.4 s 3.7 / 1.7 s
Integer_TRS_Innermost/Mixed_ITRS_2014/15.itrs 0.8 / 0.8 s 7.8 / 3.2 s
Integer_TRS_Innermost/Mixed_ITRS_2014/16.itrs 1.0 / 1.1 s 10.5 / 4.1 s
Integer_TRS_Innermost/Mixed_ITRS_2014/17.itrs 1.2 / 1.3 s 5.6 / 2.4 s
Integer_TRS_Innermost/Mixed_ITRS_2014/18.itrs 1.8 / 1.9 s 9.5 / 3.7 s
Integer_TRS_Innermost/Mixed_ITRS_2014/19.itrs 1.9 / 2.1 s 8.5 / 3.2 s
Integer_TRS_Innermost/Mixed_ITRS_2014/20.itrs 0.3 / 0.4 s 2.6 / 1.5 s
Integer_TRS_Innermost/Mixed_ITRS_2014/21.itrs 0.4 / 0.4 s 6.7 / 2.7 s
Integer_TRS_Innermost/Mixed_ITRS_2014/22.itrs 3.6 / 3.9 s 4.0 / 1.8 s
Integer_TRS_Innermost/Mixed_ITRS_2014/23.itrs 4.0 / 4.3 s 5.4 / 2.4 s
Integer_TRS_Innermost/Mixed_ITRS_2014/24.itrs 0.7 / 0.8 s 7.9 / 3.1 s
Integer_TRS_Innermost/Mixed_ITRS_2014/A01.itrs 0.3 / 0.3 s 1.6 / 1.0 s
Integer_TRS_Innermost/Mixed_ITRS_2014/A02.itrs 0.3 / 0.3 s 1.6 / 1.0 s
Integer_TRS_Innermost/Mixed_ITRS_2014/A03.itrs 0.3 / 0.3 s 1.7 / 1.0 s
Integer_TRS_Innermost/Mixed_ITRS_2014/A04.itrs 0.3 / 0.4 s 2.0 / 1.1 s
Integer_TRS_Innermost/Mixed_ITRS_2014/A05.itrs 0.3 / 0.4 s 2.3 / 1.3 s
Integer_TRS_Innermost/Mixed_ITRS_2014/A06.itrs 2.8 / 3.0 s 8.5 / 3.6 s
Integer_TRS_Innermost/Mixed_ITRS_2014/A07.itrs 1.6 / 1.8 s 5.3 / 2.3 s
Integer_TRS_Innermost/Mixed_ITRS_2014/A08.itrs 4.1 / 4.4 s 8.7 / 3.5 s
Integer_TRS_Innermost/Mixed_ITRS_2014/A09.itrs 0.6 / 0.6 s 7.8 / 3.4 s
Integer_TRS_Innermost/Mixed_ITRS_2014/A10.itrs 0.5 / 0.6 s 9.7 / 3.5 s
Integer_TRS_Innermost/Mixed_ITRS_2014/A11.itrs 0.3 / 0.3 s 1.6 / 1.0 s
Integer_TRS_Innermost/Mixed_ITRS_2014/A12.itrs 0.3 / 0.4 s 1.7 / 1.0 s
Integer_TRS_Innermost/Mixed_ITRS_2014/A13.itrs 0.9 / 1.0 s 2.2 / 1.2 s
Integer_TRS_Innermost/Mixed_ITRS_2014/A14.itrs 1.1 / 1.2 s 132.2 / 38.6 s
Integer_TRS_Innermost/Mixed_ITRS_2014/A15.itrs 1.1 / 1.2 s 905.0 / 300.0 s
Integer_TRS_Innermost/Mixed_ITRS_2014/A16.itrs 0.1 / 0.2 s 1008.8 / 300.0 s
Integer_TRS_Innermost/Mixed_ITRS_2014/A17.itrs 0.5 / 0.6 s 3.4 / 1.5 s
Integer_TRS_Innermost/Mixed_ITRS_2014/Ex04.itrs 0.3 / 0.4 s 872.7 / 300.0 s
Integer_TRS_Innermost/Mixed_ITRS_2014/Ex09.itrs 0.3 / 0.4 s 14.4 / 8.0 s
Integer_TRS_Innermost/Mixed_ITRS_2014/a.01.itrs 4.6 / 4.9 s 4.4 / 2.0 s
Integer_TRS_Innermost/Mixed_ITRS_2014/a.02.itrs 0.8 / 0.8 s 1133.6 / 300.0 s
Integer_TRS_Innermost/Mixed_ITRS_2014/a.03.itrs 41.4 / 44.3 s 25.8 / 10.3 s
Integer_TRS_Innermost/Mixed_ITRS_2014/a.04.itrs 0.2 / 0.2 s 1.6 / 1.0 s
Integer_TRS_Innermost/Mixed_ITRS_2014/a.05.itrs 0.2 / 0.2 s 1.6 / 1.0 s
Integer_TRS_Innermost/Mixed_ITRS_2014/a.06.itrs 0.2 / 0.2 s 2.2 / 1.2 s
Integer_TRS_Innermost/Mixed_ITRS_2014/a.07.itrs 0.3 / 0.3 s 2.5 / 1.4 s
Integer_TRS_Innermost/Mixed_ITRS_2014/a.08.itrs 0.2 / 0.2 s 1.7 / 1.0 s
Integer_TRS_Innermost/Mixed_ITRS_2014/a.09.itrs 0.4 / 0.4 s 2.4 / 1.3 s
Integer_TRS_Innermost/Mixed_ITRS_2014/a.10.itrs 0.9 / 0.9 s 24.9 / 8.2 s
Integer_TRS_Innermost/Mixed_ITRS_2014/a.11.itrs 11.4 / 12.1 s 6.0 / 2.4 s
er_TRS_Innermost/Mixed_ITRS_2014/abstractions.itrs 0.8 / 0.9 s 4.0 / 1.9 s
Integer_TRS_Innermost/Mixed_ITRS_2014/ackTen.itrs 3.2 / 3.4 s 7.0 / 2.8 s
Integer_TRS_Innermost/Mixed_ITRS_2014/c.01.itrs 4.0 / 4.4 s 4.4 / 2.0 s
Integer_TRS_Innermost/Mixed_ITRS_2014/c.02.itrs 4.8 / 5.2 s 4.5 / 2.0 s
Integer_TRS_Innermost/Mixed_ITRS_2014/c.03.itrs 0.9 / 1.0 s 5.6 / 2.5 s
Integer_TRS_Innermost/Mixed_ITRS_2014/c.04.itrs 0.6 / 0.7 s 6.6 / 2.8 s
Integer_TRS_Innermost/Mixed_ITRS_2014/c.05.itrs 2.1 / 2.3 s 7.4 / 3.0 s
Integer_TRS_Innermost/Mixed_ITRS_2014/choice.itrs 0.4 / 0.5 s 131.5 / 43.8 s
Integer_TRS_Innermost/Mixed_ITRS_2014/collatz.itrs 1.1 / 1.2 s 1159.9 / 300.0 s
teger_TRS_Innermost/Mixed_ITRS_2014/complete1.itrs 0.2 / 0.3 s 3.9 / 2.0 s
teger_TRS_Innermost/Mixed_ITRS_2014/complete2.itrs 0.1 / 0.1 s 2.2 / 1.2 s
teger_TRS_Innermost/Mixed_ITRS_2014/complete3.itrs 2.3 / 2.6 s 3.9 / 1.9 s
teger_TRS_Innermost/Mixed_ITRS_2014/complete4.itrs 0.5 / 0.6 s 2.4 / 1.3 s
Integer_TRS_Innermost/Mixed_ITRS_2014/conv.itrs 0.5 / 0.5 s 1.9 / 1.1 s
eger_TRS_Innermost/Mixed_ITRS_2014/countUpExp.itrs 0.4 / 0.5 s 2.0 / 1.2 s
teger_TRS_Innermost/Mixed_ITRS_2014/countUpNo.itrs 0.1 / 0.1 s 1169.6 / 300.1 s
teger_TRS_Innermost/Mixed_ITRS_2014/countdown.itrs 0.2 / 0.3 s 1.4 / 0.9 s
Integer_TRS_Innermost/Mixed_ITRS_2014/countup.itrs 0.2 / 0.2 s 1.6 / 1.0 s
Integer_TRS_Innermost/Mixed_ITRS_2014/csharp1.itrs 3.2 / 3.4 s 2.0 / 1.1 s
Integer_TRS_Innermost/Mixed_ITRS_2014/csharp2.itrs 3.2 / 3.4 s 2.0 / 1.2 s
Integer_TRS_Innermost/Mixed_ITRS_2014/csharp3.itrs 2.0 / 2.1 s 1.9 / 1.1 s
Integer_TRS_Innermost/Mixed_ITRS_2014/div.itrs 0.4 / 0.4 s 1.8 / 1.1 s
nteger_TRS_Innermost/Mixed_ITRS_2014/divMinus.itrs 0.5 / 0.5 s 1.7 / 1.1 s
er_TRS_Innermost/Mixed_ITRS_2014/eratosthenes.itrs 2.1 / 2.3 s 93.7 / 30.4 s
_Innermost/Mixed_ITRS_2014/eratosthenes_small.itrs 1.0 / 1.1 s 76.6 / 26.0 s
Integer_TRS_Innermost/Mixed_ITRS_2014/extra1.itrs 0.3 / 0.3 s 1.7 / 1.1 s
Integer_TRS_Innermost/Mixed_ITRS_2014/extra2.itrs 0.3 / 0.3 s 1.6 / 1.0 s
Integer_TRS_Innermost/Mixed_ITRS_2014/f91.itrs 0.4 / 0.4 s 1168.6 / 300.0 s
eger_TRS_Innermost/Mixed_ITRS_2014/gcd_minmax.itrs 1.3 / 1.4 s 4.0 / 1.9 s
Integer_TRS_Innermost/Mixed_ITRS_2014/incList.itrs 0.1 / 0.1 s 2.2 / 1.2 s
teger_TRS_Innermost/Mixed_ITRS_2014/increase1.itrs 0.2 / 0.2 s 1.6 / 1.0 s
teger_TRS_Innermost/Mixed_ITRS_2014/increase2.itrs 0.5 / 0.6 s 3.9 / 1.9 s
teger_TRS_Innermost/Mixed_ITRS_2014/increase3.itrs 0.9 / 1.0 s 5.7 / 2.5 s
teger_TRS_Innermost/Mixed_ITRS_2014/increase4.itrs 0.2 / 0.2 s 1.6 / 1.0 s
nteger_TRS_Innermost/Mixed_ITRS_2014/indirect.itrs 0.2 / 0.3 s 2.1 / 1.2 s
teger_TRS_Innermost/Mixed_ITRS_2014/log_RTA08.itrs 6.2 / 6.2 s 3.7 / 1.8 s
teger_TRS_Innermost/Mixed_ITRS_2014/log_RTA09.itrs 6.3 / 6.3 s 2.0 / 1.2 s
Integer_TRS_Innermost/Mixed_ITRS_2014/maxsort.itrs 0.8 / 0.8 s 421.6 / 300.0 s
Integer_TRS_Innermost/Mixed_ITRS_2014/minsort.itrs 0.2 / 0.3 s 4.2 / 1.9 s
Integer_TRS_Innermost/Mixed_ITRS_2014/mult.itrs 0.3 / 0.3 s 5.0 / 2.1 s
Integer_TRS_Innermost/Mixed_ITRS_2014/poly1.itrs 0.5 / 0.5 s 1169.2 / 300.0 s
Integer_TRS_Innermost/Mixed_ITRS_2014/poly2.itrs 0.4 / 0.5 s 1057.7 / 300.0 s
Integer_TRS_Innermost/Mixed_ITRS_2014/poly3.itrs 0.9 / 1.0 s 1126.4 / 300.1 s
Integer_TRS_Innermost/Mixed_ITRS_2014/poly4.itrs 2.1 / 2.3 s 20.5 / 7.8 s
Integer_TRS_Innermost/Mixed_ITRS_2014/pow.itrs 0.3 / 0.3 s 1.6 / 1.0 s
Integer_TRS_Innermost/Mixed_ITRS_2014/powFast.itrs 1.6 / 1.7 s 2.8 / 1.5 s
eger_TRS_Innermost/Mixed_ITRS_2014/practical1.itrs 2.3 / 2.5 s 4.0 / 1.9 s
eger_TRS_Innermost/Mixed_ITRS_2014/practical2.itrs 5.7 / 6.1 s 922.5 / 300.0 s
eger_TRS_Innermost/Mixed_ITRS_2014/practical3.itrs 16.7 / 17.6 s 1082.0 / 300.1 s
teger_TRS_Innermost/Mixed_ITRS_2014/quicksort.itrs 0.6 / 0.7 s 7.4 / 2.7 s
Integer_TRS_Innermost/Mixed_ITRS_2014/random.itrs 0.3 / 0.3 s 1.7 / 1.0 s
RS_Innermost/Mixed_ITRS_2014/randomFullUpDown.itrs 0.8 / 0.9 s 42.0 / 36.9 s
ger_TRS_Innermost/Mixed_ITRS_2014/random_full.itrs 0.6 / 0.7 s 38.5 / 16.9 s
Innermost/Mixed_ITRS_2014/random_full_no_wrap.itrs 0.6 / 0.7 s 41.1 / 36.7 s
_TRS_Innermost/Mixed_ITRS_2014/random_no_wrap.itrs 0.3 / 0.3 s 1.7 / 1.0 s
Integer_TRS_Innermost/Mixed_ITRS_2014/round.itrs 0.2 / 0.3 s 1.9 / 1.1 s
nteger_TRS_Innermost/Mixed_ITRS_2014/sqrt_new.itrs 0.4 / 0.4 s 3.3 / 1.6 s
eger_TRS_Innermost/Mixed_ITRS_2014/sqrt_patrs.itrs 0.4 / 0.4 s 2.4 / 1.3 s
Integer_TRS_Innermost/Mixed_ITRS_2014/sum.itrs 0.3 / 0.3 s 1.6 / 1.0 s
Integer_TRS_Innermost/Mixed_ITRS_2014/sumto.itrs 0.2 / 0.3 s 1.7 / 1.0 s
ger_TRS_Innermost/Mixed_ITRS_2014/sumto_no_if.itrs 0.2 / 0.2 s 1.6 / 1.0 s
teger_TRS_Innermost/Mixed_ITRS_2014/terminate.itrs 0.2 / 0.3 s 2.9 / 1.5 s
nteger_TRS_Innermost/Mixed_ITRS_2014/thousand.itrs 0.2 / 0.3 s 1.6 / 1.0 s
eger_TRS_Innermost/Mixed_ITRS_2014/unsatCond1.itrs 0.0 / 0.0 s 1.4 / 0.9 s
eger_TRS_Innermost/Mixed_ITRS_2014/unsatCond2.itrs 0.0 / 0.1 s 1.5 / 1.0 s