Overview of job-results

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

Statistics

88 pairs, 13971.7 / 4898.0 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 Relat certi 17837
Solver TTT2 AProVE_JRE2
Scores 24 31
TRS_Relative/Mixed_relative_TRS/abp.xml 134.0 / 59.4 s 956.7 / 300.1 s
TRS_Relative/Mixed_relative_TRS/abp2.xml 133.1 / 59.4 s 945.4 / 300.1 s
TRS_Relative/Mixed_relative_TRS/assoc.xml 121.3 / 59.3 s 2.3 / 1.0 s
TRS_Relative/Mixed_relative_TRS/carbridge.xml 16.5 / 4.4 s 5.1 / 1.7 s
TRS_Relative/Mixed_relative_TRS/gcd.xml 132.4 / 59.3 s 531.0 / 300.0 s
TRS_Relative/Mixed_relative_TRS/gcd_list.xml 132.9 / 59.3 s 1018.7 / 300.0 s
TRS_Relative/Mixed_relative_TRS/gcd_many.xml 1.5 / 0.6 s 1.6 / 0.7 s
TRS_Relative/Mixed_relative_TRS/ijcar2006.xml 3.3 / 1.1 s 4.1 / 1.4 s
TRS_Relative/Mixed_relative_TRS/relsubst.xml 127.9 / 59.3 s 536.1 / 300.0 s
TRS_Relative/Mixed_relative_TRS/rt-rw4.xml 133.2 / 59.4 s 15.9 / 4.5 s
TRS_Relative/Mixed_relative_TRS/trafic.xml 132.9 / 59.4 s 30.3 / 8.4 s
TRS_Relative/Relative_05/rt1-1.xml 1.0 / 0.5 s 2.0 / 0.9 s
TRS_Relative/Relative_05/rt1-2.xml 0.9 / 0.5 s 2.1 / 0.9 s
TRS_Relative/Relative_05/rt1-3.xml 5.4 / 1.6 s 2.0 / 0.9 s
TRS_Relative/Relative_05/rt1-4.xml 3.1 / 1.0 s 2.9 / 1.1 s
TRS_Relative/Relative_05/rt1-5.xml 3.4 / 1.1 s 3.7 / 1.4 s
TRS_Relative/Relative_05/rt2-1.xml 1.6 / 0.6 s 1.9 / 0.8 s
TRS_Relative/Relative_05/rt2-2.xml 1.0 / 0.5 s 1.7 / 0.8 s
TRS_Relative/Relative_05/rt2-3.xml 1.4 / 0.6 s 1.8 / 0.8 s
TRS_Relative/Relative_05/rt2-4.xml 1.8 / 0.7 s 2.4 / 1.0 s
TRS_Relative/Relative_05/rt2-5.xml 2.5 / 0.8 s 2.1 / 0.9 s
TRS_Relative/Relative_05/rt2-7.xml 8.4 / 2.3 s 6.9 / 2.2 s
TRS_Relative/Relative_05/rt2-8.xml 128.2 / 59.3 s 1.7 / 0.8 s
TRS_Relative/Relative_05/rt3-1.xml 2.5 / 0.9 s 3.1 / 1.2 s
TRS_Relative/Relative_05/rt3-2.xml 4.0 / 1.2 s 2.0 / 0.9 s
TRS_Relative/Relative_05/rt3-3.xml 125.3 / 59.3 s 1.8 / 0.8 s
TRS_Relative/Relative_05/rt3-4.xml 120.2 / 59.4 s 43.7 / 14.1 s
TRS_Relative/Relative_05/rt3-5.xml 11.9 / 3.2 s 16.1 / 4.5 s
TRS_Relative/Relative_05/rt3-6.xml 1.7 / 0.7 s 1.3 / 0.7 s
TRS_Relative/Relative_05/rt3-7.xml 4.0 / 1.2 s 2.5 / 1.0 s
TRS_Relative/Relative_05/rt3-8.xml 1.4 / 0.6 s 1.5 / 0.8 s
TRS_Relative/Relative_05/rt3-9.xml 7.1 / 2.0 s 4.8 / 1.6 s
TRS_Relative/Relative_05/rtL-cbn1.xml 132.7 / 59.3 s 1019.4 / 300.1 s
TRS_Relative/Relative_05/rtL-cbn5.xml 133.0 / 59.3 s 1047.4 / 300.0 s
TRS_Relative/Relative_05/rtL-cbo.xml 132.7 / 59.3 s 748.8 / 300.0 s
TRS_Relative/Relative_05/rtL-evnz.xml 132.9 / 59.3 s 54.4 / 15.2 s
TRS_Relative/Relative_05/rtL-evo.xml 1.3 / 0.6 s 3.2 / 1.2 s
TRS_Relative/Relative_05/rtL-me2.xml 11.9 / 3.3 s 4.3 / 1.5 s
TRS_Relative/Relative_05/rtL-me3.xml 131.9 / 59.3 s 6.1 / 2.0 s
TRS_Relative/Relative_05/rtL-pwl.xml 132.8 / 59.3 s 1092.5 / 300.0 s
TRS_Relative/Relative_05/rtL-rw2.xml 132.9 / 59.4 s 965.7 / 300.1 s
TRS_Relative/Relative_05/rtL-rw5.xml 133.0 / 59.3 s 952.0 / 300.1 s
TRS_Relative/Relative_05/rtL-wl1nz.xml 10.1 / 2.8 s 8.2 / 2.4 s
TRS_Relative/Relative_05/rtL-wl1o.xml 133.8 / 59.3 s 1189.7 / 300.1 s