Data shown here is incomplete. This page will refresh with updates pulled from star-exec.

Overview of job-results

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

Statistics

293 of 294 pairs, 10455.4 / 3247.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 TRS Relat 76170
Solver AProVE standard f065806 ttt2-v1.16 NaTT 1.6
Scores 55 41 71
TRS_Relative/INVY_15/#3.10_rand.xml . 109.7 / 30.1 . 114.8 / 29.3 YES 0.1 / 0.4
TRS_Relative/INVY_15/#3.15_rand.xml YES 6.6 / 2.3 YES 7.8 / 2.4 YES 0.0 / 0.1
TRS_Relative/INVY_15/#3.16_rand.xml . 95.5 / 30.1 . 93.7 / 29.3 YES 0.0 / 0.1
TRS_Relative/INVY_15/#3.17_mset.xml YES 9.1 / 3.7 . 114.7 / 29.3 YES 0.0 / 0.2
TRS_Relative/INVY_15/#3.17a_mset.xml YES 8.6 / 3.7 . 115.6 / 29.3 YES 0.0 / 0.2
TRS_Relative/INVY_15/#3.18_rand.xml . 89.6 / 30.0 . 78.6 / 29.4 YES 0.0 / 0.1
TRS_Relative/INVY_15/#3.19_rand.xml . 113.2 / 30.1 . 115.0 / 29.3 YES 0.0 / 0.2
TRS_Relative/INVY_15/#3.1_gen.xml NO 3.7 / 1.6 NO 1.8 / 0.7 . 0.0 / 0.1
TRS_Relative/INVY_15/#3.1_rand.xml . 89.4 / 30.1 . 87.0 / 29.4 YES 0.0 / 0.1
TRS_Relative/INVY_15/#3.22_rand.xml . 112.2 / 30.1 . 115.2 / 29.3 . 0.1 / 0.2
TRS_Relative/INVY_15/#3.23_rand.xml . 71.7 / 30.1 . 68.9 / 29.6 YES 0.0 / 0.0
TRS_Relative/INVY_15/#3.24_rand.xml YES 8.5 / 3.0 YES 9.1 / 2.5 YES 0.0 / 0.1
TRS_Relative/INVY_15/#3.26_rand.xml YES 7.2 / 3.8 YES 10.6 / 3.1 YES 0.0 / 0.1
TRS_Relative/INVY_15/#3.29_rand.xml YES 8.7 / 12.9 YES 4.0 / 1.5 YES 0.0 / 0.1
TRS_Relative/INVY_15/#3.2_rand.xml . 112.5 / 30.1 . 114.9 / 29.3 YES 0.0 / 0.1
TRS_Relative/INVY_15/#3.35_rand.xml YES 11.7 / 4.5 YES 8.2 / 2.3 YES 0.0 / 0.0
TRS_Relative/INVY_15/#3.36_rand.xml . 90.3 / 30.1 . 87.7 / 29.3 YES 0.0 / 0.1
TRS_Relative/INVY_15/#3.37_rand.xml YES 8.5 / 3.4 YES 7.7 / 2.4 YES 0.0 / 0.1
TRS_Relative/INVY_15/#3.38_rand.xml . 73.1 / 30.1 . 115.4 / 29.3 YES 0.0 / 0.1
TRS_Relative/INVY_15/#3.39_rand.xml . 111.5 / 30.1 . 114.9 / 29.3 . 0.1 / 0.2
TRS_Relative/INVY_15/#3.40_rand.xml . 97.5 / 30.1 . 88.2 / 29.4 . 0.1 / 0.2
TRS_Relative/INVY_15/#3.41_rand.xml . 74.2 / 30.0 . 112.7 / 29.2 YES 0.0 / 0.1
TRS_Relative/INVY_15/#3.42_rand.xml . 90.5 / 30.1 . 115.5 / 29.3 YES 0.0 / 0.2
TRS_Relative/INVY_15/#3.47_rand.xml YES 5.9 / 3.1 YES 6.6 / 1.9 YES 0.0 / 0.4
TRS_Relative/INVY_15/#3.48_rand.xml . 81.1 / 30.1 . 114.6 / 29.3 YES 0.0 / 0.1
TRS_Relative/INVY_15/#3.49_rand.xml YES 4.1 / 1.8 YES 12.0 / 3.2 YES 0.0 / 0.5
TRS_Relative/INVY_15/#3.4_rand.xml . 53.9 / 30.1 . 96.2 / 29.3 YES 0.0 / 0.1
TRS_Relative/INVY_15/#3.52_rand.xml . 70.3 / 30.1 . 110.3 / 29.3 YES 0.0 / 0.1
TRS_Relative/INVY_15/#3.53_rand.xml . 84.7 / 30.1 . 92.7 / 29.3 YES 0.1 / 0.3
TRS_Relative/INVY_15/#3.53a_rand.xml YES 6.3 / 2.4 YES 3.7 / 1.2 YES 0.0 / 0.1
TRS_Relative/INVY_15/#3.53b_rand.xml . 72.3 / 30.1 . 94.2 / 29.3 YES 0.0 / 0.1
TRS_Relative/INVY_15/#3.54_rand.xml YES 10.0 / 3.5 YES 13.2 / 3.9 YES 0.0 / 0.1
TRS_Relative/INVY_15/#3.55_rand.xml . 94.7 / 30.1 . 99.8 / 29.4 YES 0.1 / 0.6
TRS_Relative/INVY_15/#3.56_rand.xml YES 9.3 / 3.2 YES 16.1 / 4.3 YES 0.0 / 0.1
TRS_Relative/INVY_15/#3.57_rand.xml . 81.8 / 30.2 . 104.9 / 29.3 YES 0.1 / 0.3
TRS_Relative/INVY_15/#3.5_rand.xml . 76.6 / 30.0 . 66.5 / 29.6 YES 0.1 / 0.2
TRS_Relative/INVY_15/#3.5a_rand.xml . 83.2 / 30.1 . 87.6 / 29.4 YES 0.1 / 0.2
TRS_Relative/INVY_15/#3.5b_rand.xml . 84.9 / 30.0 . 115.2 / 29.3 YES 0.1 / 0.3
TRS_Relative/INVY_15/#3.6_rand.xml . 43.6 / 30.1 . 114.6 / 29.3 . 0.1 / 0.4
TRS_Relative/INVY_15/#3.6a_rand.xml . 72.2 / 30.0 . 114.9 / 29.3 . 0.1 / 0.2
TRS_Relative/INVY_15/#3.6b_rand.xml . 83.8 / 30.1 . 90.4 / 29.4 . 0.1 / 0.5
TRS_Relative/INVY_15/#3.7_rand.xml YES 9.9 / 3.2 YES 13.2 / 4.0 YES 0.0 / 0.1
TRS_Relative/INVY_15/#3.8a_rand.xml . 111.6 / 30.1 . 114.6 / 29.3 YES 0.0 / 0.2
TRS_Relative/INVY_15/#3.8b_rand.xml . 101.7 / 30.1 . 98.5 / 29.3 YES 0.1 / 0.3
TRS_Relative/INVY_15/#4.30c_rand.xml . 77.1 / 30.1 . 114.9 / 29.4 . 0.1 / 0.2
TRS_Relative/INVY_15/ex1.xml . 3.7 / 1.8 NO 0.6 / 0.4 NO 0.0 / 0.0
TRS_Relative/INVY_15/ex2.xml . 67.8 / 30.1 . 110.0 / 29.2 YES 0.0 / 0.0
TRS_Relative/INVY_15/ex3.xml NO 3.2 / 1.6 . 76.7 / 25.7 . 0.0 / 0.0
TRS_Relative/INVY_15/ex4.xml YES 5.1 / 1.9 YES 2.2 / 0.8 YES 0.0 / 0.0
TRS_Relative/INVY_15/ex6.xml NO 3.1 / 1.5 NO 1.0 / 0.5 . 0.0 / 0.0
TRS_Relative/INVY_15/ex7.xml NO 3.4 / 1.5 . 114.8 / 29.3 . 0.0 / 0.0
TRS_Relative/INVY_15/invNSS03.xml YES 5.0 / 2.0 YES 2.4 / 0.8 YES 0.0 / 0.0
TRS_Relative/INVY_15/quicktest.xml . 112.5 / 30.1 . 97.0 / 29.4 YES 0.0 / 0.1
TRS_Relative/INVY_15/quicktest_sum.xml . 79.1 / 30.1 . 82.5 / 29.4 YES 0.1 / 0.3
TRS_Relative/Mixed_relative_TRS/abp.xml . 93.5 / 30.1 . 117.0 / 29.6 . 27.7 / 26.9
TRS_Relative/Mixed_relative_TRS/abp2.xml . 113.5 / 30.1 . 114.4 / 29.4 YES 0.0 / 0.3
TRS_Relative/Mixed_relative_TRS/assoc.xml NO 5.1 / 2.8 . 165.6 / 29.8 . 0.2 / 0.2
TRS_Relative/Mixed_relative_TRS/carbridge.xml YES 6.0 / 3.5 YES 19.3 / 4.9 YES 0.0 / 0.3
TRS_Relative/Mixed_relative_TRS/gcd.xml . 112.0 / 30.1 . 90.0 / 29.4 . 0.0 / 0.1
TRS_Relative/Mixed_relative_TRS/gcd_list.xml . 113.5 / 30.1 not finished . 0.6 / 0.7
TRS_Relative/Mixed_relative_TRS/gcd_many.xml NO 3.3 / 1.5 NO 0.6 / 0.4 NO 0.1 / 0.3
TRS_Relative/Mixed_relative_TRS/ijcar2006.xml YES 6.9 / 2.9 YES 3.0 / 1.2 YES 0.0 / 0.0
TRS_Relative/Mixed_relative_TRS/relsubst.xml . 93.5 / 30.1 . 92.1 / 29.3 YES 0.0 / 0.1
TRS_Relative/Mixed_relative_TRS/rt-rw4.xml YES 12.7 / 4.1 . 114.7 / 29.4 YES 6.6 / 6.7
TRS_Relative/Mixed_relative_TRS/trafic.xml YES 22.9 / 7.4 . 103.4 / 29.4 YES 1.6 / 1.7
TRS_Relative/Relative_05/rt1-1.xml YES 3.9 / 1.8 YES 1.1 / 0.5 YES 0.0 / 0.0
TRS_Relative/Relative_05/rt1-2.xml YES 5.1 / 2.0 YES 1.0 / 0.5 YES 0.0 / 0.0
TRS_Relative/Relative_05/rt1-3.xml YES 3.5 / 1.6 YES 4.0 / 1.4 YES 0.0 / 0.0
TRS_Relative/Relative_05/rt1-4.xml YES 5.8 / 4.3 YES 5.9 / 1.1 YES 0.0 / 0.0
TRS_Relative/Relative_05/rt1-5.xml YES 6.5 / 2.4 YES 6.9 / 1.9 YES 0.0 / 0.0
TRS_Relative/Relative_05/rt2-1.xml YES 4.3 / 1.7 YES 1.8 / 0.7 YES 0.0 / 0.0
TRS_Relative/Relative_05/rt2-2.xml YES 3.8 / 1.6 YES 1.2 / 0.5 YES 0.0 / 0.0
TRS_Relative/Relative_05/rt2-3.xml YES 4.9 / 2.0 YES 1.4 / 0.5 YES 0.0 / 0.0
TRS_Relative/Relative_05/rt2-4.xml YES 5.7 / 3.3 YES 3.1 / 1.2 YES 0.0 / 0.0
TRS_Relative/Relative_05/rt2-5.xml YES 4.4 / 1.8 YES 2.8 / 0.9 YES 0.0 / 0.0
TRS_Relative/Relative_05/rt2-7.xml YES 11.6 / 12.2 YES 3.9 / 1.9 YES 0.0 / 0.1
TRS_Relative/Relative_05/rt2-8.xml NO 3.7 / 1.9 . 114.9 / 29.3 . 0.0 / 0.1
TRS_Relative/Relative_05/rt3-1.xml YES 5.7 / 3.0 YES 2.4 / 0.8 YES 0.0 / 0.0
TRS_Relative/Relative_05/rt3-2.xml YES 4.5 / 1.9 YES 4.3 / 1.3 YES 0.0 / 0.0
TRS_Relative/Relative_05/rt3-3.xml NO 3.3 / 1.6 . 96.1 / 29.3 . 0.0 / 0.1
TRS_Relative/Relative_05/rt3-4.xml YES 30.1 / 9.2 . 109.3 / 29.3 . 0.0 / 0.0
TRS_Relative/Relative_05/rt3-5.xml YES 9.3 / 3.2 YES 11.6 / 3.2 . 0.0 / 0.2
TRS_Relative/Relative_05/rt3-6.xml NO 3.6 / 1.5 NO 1.6 / 0.7 NO 0.0 / 0.1
TRS_Relative/Relative_05/rt3-7.xml YES 5.4 / 2.0 YES 4.3 / 1.5 YES 0.0 / 0.0
TRS_Relative/Relative_05/rt3-8.xml NO 3.1 / 1.5 NO 1.7 / 0.6 NO 0.0 / 0.1
TRS_Relative/Relative_05/rt3-9.xml YES 6.7 / 2.4 YES 8.1 / 2.3 YES 0.0 / 0.1
TRS_Relative/Relative_05/rtL-cbn1.xml YES 22.8 / 6.6 . 115.1 / 29.3 . 0.6 / 0.7
TRS_Relative/Relative_05/rtL-cbn5.xml YES 31.6 / 13.5 . 95.0 / 29.4 . 2.9 / 2.9
TRS_Relative/Relative_05/rtL-cbo.xml . 113.8 / 30.1 . 114.8 / 29.3 . 0.1 / 0.3
TRS_Relative/Relative_05/rtL-evnz.xml NO 49.8 / 13.8 . 106.7 / 29.5 . 1.4 / 1.4
TRS_Relative/Relative_05/rtL-evo.xml NO 4.1 / 1.7 NO 2.1 / 0.8 NO 0.6 / 1.1
TRS_Relative/Relative_05/rtL-me2.xml YES 5.5 / 2.2 YES 18.3 / 4.9 YES 0.0 / 0.0
TRS_Relative/Relative_05/rtL-me3.xml YES 8.0 / 3.4 . 100.4 / 29.4 YES 0.0 / 0.0
TRS_Relative/Relative_05/rtL-pwl.xml YES 20.4 / 6.1 . 104.1 / 29.4 . 1.5 / 1.6
TRS_Relative/Relative_05/rtL-rw2.xml . 96.1 / 30.2 . 98.4 / 29.4 . 7.6 / 7.5
TRS_Relative/Relative_05/rtL-rw5.xml . 114.1 / 30.1 . 114.6 / 29.3 . 6.4 / 6.5
TRS_Relative/Relative_05/rtL-wl1nz.xml YES 8.3 / 2.9 YES 7.0 / 2.0 YES 0.0 / 0.1
TRS_Relative/Relative_05/rtL-wl1o.xml . 115.5 / 30.1 . 113.8 / 29.3 . 0.0 / 0.1