Overview of job-results

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

Statistics

88 pairs, 13062.8 / 4027.5 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 27688
Solver TTT2 AProVE_JRE2
Scores 24 35
TRS_Relative/Mixed_relative_TRS/abp.xml 235.7 / 59.7 s 957.9 / 300.1 s
TRS_Relative/Mixed_relative_TRS/abp2.xml 235.3 / 59.4 s 930.1 / 300.1 s
TRS_Relative/Mixed_relative_TRS/assoc.xml 220.3 / 59.3 s 2.2 / 0.9 s
TRS_Relative/Mixed_relative_TRS/carbridge.xml 20.6 / 5.5 s 4.4 / 1.5 s
TRS_Relative/Mixed_relative_TRS/gcd.xml 235.3 / 59.4 s 554.8 / 300.0 s
TRS_Relative/Mixed_relative_TRS/gcd_list.xml 235.3 / 59.4 s 1027.8 / 300.1 s
TRS_Relative/Mixed_relative_TRS/gcd_many.xml 1.4 / 0.6 s 1.5 / 0.7 s
TRS_Relative/Mixed_relative_TRS/ijcar2006.xml 3.3 / 1.1 s 4.3 / 1.5 s
TRS_Relative/Mixed_relative_TRS/relsubst.xml 235.6 / 59.4 s 555.3 / 300.0 s
TRS_Relative/Mixed_relative_TRS/rt-rw4.xml 235.2 / 59.4 s 16.0 / 4.7 s
TRS_Relative/Mixed_relative_TRS/trafic.xml 234.7 / 59.4 s 26.3 / 7.3 s
TRS_Relative/Relative_05/rt1-1.xml 0.9 / 0.5 s 1.9 / 0.8 s
TRS_Relative/Relative_05/rt1-2.xml 0.9 / 0.5 s 2.4 / 1.0 s
TRS_Relative/Relative_05/rt1-3.xml 5.2 / 1.5 s 0.9 / 0.6 s
TRS_Relative/Relative_05/rt1-4.xml 3.4 / 1.1 s 2.3 / 1.0 s
TRS_Relative/Relative_05/rt1-5.xml 4.9 / 1.5 s 4.1 / 1.5 s
TRS_Relative/Relative_05/rt2-1.xml 1.7 / 0.7 s 1.9 / 0.9 s
TRS_Relative/Relative_05/rt2-2.xml 1.1 / 0.5 s 1.8 / 0.8 s
TRS_Relative/Relative_05/rt2-3.xml 1.6 / 0.6 s 1.6 / 0.8 s
TRS_Relative/Relative_05/rt2-4.xml 1.7 / 0.7 s 2.3 / 1.0 s
TRS_Relative/Relative_05/rt2-5.xml 2.8 / 0.9 s 2.3 / 1.0 s
TRS_Relative/Relative_05/rt2-7.xml 3.9 / 1.2 s 7.9 / 2.4 s
TRS_Relative/Relative_05/rt2-8.xml 231.7 / 59.3 s 1.7 / 0.8 s
TRS_Relative/Relative_05/rt3-1.xml 2.2 / 0.8 s 3.5 / 1.2 s
TRS_Relative/Relative_05/rt3-2.xml 4.5 / 1.4 s 2.3 / 1.0 s
TRS_Relative/Relative_05/rt3-3.xml 231.8 / 59.3 s 1.4 / 0.7 s
TRS_Relative/Relative_05/rt3-4.xml 235.0 / 60.4 s 45.6 / 14.1 s
TRS_Relative/Relative_05/rt3-5.xml 14.5 / 3.9 s 19.0 / 5.3 s
TRS_Relative/Relative_05/rt3-6.xml 2.2 / 0.8 s 1.6 / 0.8 s
TRS_Relative/Relative_05/rt3-7.xml 4.6 / 1.4 s 3.1 / 1.2 s
TRS_Relative/Relative_05/rt3-8.xml 0.4 / 0.3 s 1.5 / 0.8 s
TRS_Relative/Relative_05/rt3-9.xml 7.8 / 2.2 s 4.2 / 1.5 s
TRS_Relative/Relative_05/rtL-cbn1.xml 235.8 / 59.6 s 24.0 / 6.8 s
TRS_Relative/Relative_05/rtL-cbn5.xml 236.0 / 59.7 s 32.6 / 8.8 s
TRS_Relative/Relative_05/rtL-cbo.xml 235.7 / 59.5 s 786.8 / 300.0 s
TRS_Relative/Relative_05/rtL-evnz.xml 236.4 / 59.8 s 60.2 / 16.6 s
TRS_Relative/Relative_05/rtL-evo.xml 2.1 / 0.8 s 2.8 / 1.1 s
TRS_Relative/Relative_05/rtL-me2.xml 13.0 / 3.6 s 3.5 / 1.3 s
TRS_Relative/Relative_05/rtL-me3.xml 235.2 / 59.4 s 5.6 / 1.8 s
TRS_Relative/Relative_05/rtL-pwl.xml 235.5 / 59.6 s 25.5 / 7.0 s
TRS_Relative/Relative_05/rtL-rw2.xml 235.3 / 59.4 s 970.4 / 300.0 s
TRS_Relative/Relative_05/rtL-rw5.xml 235.4 / 59.4 s 955.5 / 300.0 s
TRS_Relative/Relative_05/rtL-wl1nz.xml 11.4 / 3.1 s 9.3 / 2.7 s
TRS_Relative/Relative_05/rtL-wl1o.xml 232.7 / 59.3 s 1192.2 / 300.0 s