Overview of job-results

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

Statistics

196 pairs, 6917.1 / 3218.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 certi 70563
Solver AProVE standard f065806 ttt2-v1.16
Scores 51 44
TRS_Relative/INVY_15/#3.10_rand.xml . 95.2 / 30.1 . 40.1 / 29.2
TRS_Relative/INVY_15/#3.15_rand.xml YES 7.6 / 3.1 YES 3.1 / 1.0
TRS_Relative/INVY_15/#3.16_rand.xml . 93.3 / 30.1 . 25.2 / 29.5
TRS_Relative/INVY_15/#3.17_mset.xml YES 8.0 / 3.5 YES 7.7 / 2.1
TRS_Relative/INVY_15/#3.17a_mset.xml YES 14.4 / 4.5 YES 11.6 / 3.6
TRS_Relative/INVY_15/#3.18_rand.xml . 108.3 / 30.0 . 37.4 / 29.2
TRS_Relative/INVY_15/#3.19_rand.xml . 115.6 / 30.1 . 37.3 / 29.2
TRS_Relative/INVY_15/#3.1_gen.xml NO 4.5 / 3.7 NO 0.3 / 0.2
TRS_Relative/INVY_15/#3.1_rand.xml . 93.3 / 30.1 . 36.9 / 29.2
TRS_Relative/INVY_15/#3.22_rand.xml . 110.5 / 30.1 . 37.2 / 29.2
TRS_Relative/INVY_15/#3.23_rand.xml . 90.0 / 30.1 . 36.6 / 29.2
TRS_Relative/INVY_15/#3.24_rand.xml YES 5.7 / 2.2 YES 2.6 / 1.0
TRS_Relative/INVY_15/#3.26_rand.xml YES 8.2 / 2.7 YES 3.9 / 1.2
TRS_Relative/INVY_15/#3.29_rand.xml YES 5.7 / 2.3 YES 1.1 / 0.5
TRS_Relative/INVY_15/#3.2_rand.xml . 70.0 / 30.0 . 37.1 / 29.2
TRS_Relative/INVY_15/#3.35_rand.xml YES 5.3 / 2.1 YES 1.9 / 0.7
TRS_Relative/INVY_15/#3.36_rand.xml . 106.8 / 30.2 . 33.2 / 29.3
TRS_Relative/INVY_15/#3.37_rand.xml YES 8.2 / 2.8 YES 2.7 / 0.9
TRS_Relative/INVY_15/#3.38_rand.xml . 70.9 / 30.1 . 37.2 / 29.2
TRS_Relative/INVY_15/#3.39_rand.xml . 112.7 / 30.0 . 37.5 / 29.2
TRS_Relative/INVY_15/#3.40_rand.xml . 113.3 / 30.1 . 38.3 / 29.2
TRS_Relative/INVY_15/#3.41_rand.xml . 105.9 / 30.1 . 36.8 / 29.2
TRS_Relative/INVY_15/#3.42_rand.xml . 107.1 / 30.0 . 37.6 / 29.2
TRS_Relative/INVY_15/#3.47_rand.xml YES 5.6 / 2.6 YES 1.9 / 0.7
TRS_Relative/INVY_15/#3.48_rand.xml . 76.4 / 30.1 . 37.6 / 29.2
TRS_Relative/INVY_15/#3.49_rand.xml YES 7.9 / 2.9 YES 4.5 / 1.4
TRS_Relative/INVY_15/#3.4_rand.xml . 65.7 / 30.1 . 36.6 / 29.2
TRS_Relative/INVY_15/#3.52_rand.xml . 70.0 / 29.4 . 36.6 / 29.2
TRS_Relative/INVY_15/#3.53_rand.xml . 85.0 / 30.1 . 38.8 / 29.2
TRS_Relative/INVY_15/#3.53a_rand.xml YES 6.7 / 2.9 YES 1.1 / 0.5
TRS_Relative/INVY_15/#3.53b_rand.xml . 70.3 / 29.8 . 36.6 / 29.2
TRS_Relative/INVY_15/#3.54_rand.xml YES 9.8 / 3.5 YES 3.9 / 1.2
TRS_Relative/INVY_15/#3.55_rand.xml . 107.9 / 30.1 . 38.8 / 29.2
TRS_Relative/INVY_15/#3.56_rand.xml YES 8.8 / 3.1 YES 5.0 / 1.7
TRS_Relative/INVY_15/#3.57_rand.xml . 82.7 / 30.1 . 39.4 / 29.3
TRS_Relative/INVY_15/#3.5_rand.xml . 81.8 / 30.0 . 37.2 / 29.2
TRS_Relative/INVY_15/#3.5a_rand.xml . 83.4 / 30.0 . 37.3 / 29.2
TRS_Relative/INVY_15/#3.5b_rand.xml . 85.1 / 30.1 . 37.4 / 29.2
TRS_Relative/INVY_15/#3.6_rand.xml . 75.5 / 30.1 . 36.9 / 29.2
TRS_Relative/INVY_15/#3.6a_rand.xml . 73.1 / 30.1 . 37.2 / 29.2
TRS_Relative/INVY_15/#3.6b_rand.xml . 85.4 / 30.1 . 37.3 / 29.2
TRS_Relative/INVY_15/#3.7_rand.xml YES 7.4 / 3.2 YES 4.6 / 1.3
TRS_Relative/INVY_15/#3.8a_rand.xml . 94.6 / 30.1 . 37.3 / 29.2
TRS_Relative/INVY_15/#3.8b_rand.xml . 90.2 / 30.1 . 37.6 / 29.2
TRS_Relative/INVY_15/#4.30c_rand.xml . 75.4 / 30.1 . 37.1 / 29.2
TRS_Relative/INVY_15/ex1.xml NO 3.6 / 5.7 NO 0.3 / 0.2
TRS_Relative/INVY_15/ex2.xml . 59.7 / 30.1 . 36.5 / 29.2
TRS_Relative/INVY_15/ex3.xml . 53.5 / 30.1 . 29.4 / 29.2
TRS_Relative/INVY_15/ex4.xml YES 8.9 / 2.1 YES 0.7 / 0.3
TRS_Relative/INVY_15/ex6.xml . 49.7 / 30.5 NO 0.3 / 0.3
TRS_Relative/INVY_15/ex7.xml NO 3.1 / 2.1 . 36.4 / 29.2
TRS_Relative/INVY_15/invNSS03.xml YES 3.9 / 1.7 YES 0.7 / 0.4
TRS_Relative/INVY_15/quicktest.xml . 111.5 / 30.1 . 37.9 / 29.2
TRS_Relative/INVY_15/quicktest_sum.xml . 84.7 / 30.1 . 39.0 / 29.2
TRS_Relative/Mixed_relative_TRS/abp.xml . 76.1 / 30.0 . 46.2 / 29.3
TRS_Relative/Mixed_relative_TRS/abp2.xml . 113.6 / 30.1 . 43.6 / 29.3
TRS_Relative/Mixed_relative_TRS/assoc.xml NO 3.8 / 1.6 . 36.6 / 29.2
TRS_Relative/Mixed_relative_TRS/carbridge.xml YES 7.0 / 3.0 YES 6.1 / 2.0
TRS_Relative/Mixed_relative_TRS/gcd.xml . 64.1 / 30.0 . 27.8 / 29.4
TRS_Relative/Mixed_relative_TRS/gcd_list.xml . 114.9 / 30.1 . 45.0 / 29.2
TRS_Relative/Mixed_relative_TRS/gcd_many.xml NO 3.4 / 2.5 NO 0.2 / 0.3
TRS_Relative/Mixed_relative_TRS/ijcar2006.xml YES 6.9 / 2.5 YES 1.0 / 0.6
TRS_Relative/Mixed_relative_TRS/relsubst.xml . 110.7 / 30.1 . 37.1 / 29.2
TRS_Relative/Mixed_relative_TRS/rt-rw4.xml YES 45.8 / 15.6 . 46.1 / 29.3
TRS_Relative/Mixed_relative_TRS/trafic.xml YES 32.2 / 9.8 . 43.6 / 29.3
TRS_Relative/Relative_05/rt1-1.xml YES 3.5 / 1.6 YES 0.3 / 0.3
TRS_Relative/Relative_05/rt1-2.xml YES 6.3 / 3.0 YES 0.5 / 0.3
TRS_Relative/Relative_05/rt1-3.xml YES 4.8 / 1.9 YES 2.9 / 0.9
TRS_Relative/Relative_05/rt1-4.xml YES 5.6 / 3.1 YES 1.1 / 0.6
TRS_Relative/Relative_05/rt1-5.xml YES 6.8 / 2.5 YES 1.5 / 0.6
TRS_Relative/Relative_05/rt2-1.xml YES 3.9 / 2.4 YES 0.4 / 0.3
TRS_Relative/Relative_05/rt2-2.xml YES 5.0 / 2.3 YES 0.4 / 0.3
TRS_Relative/Relative_05/rt2-3.xml YES 3.9 / 1.7 YES 0.6 / 0.3
TRS_Relative/Relative_05/rt2-4.xml YES 5.2 / 2.0 YES 0.5 / 0.3
TRS_Relative/Relative_05/rt2-5.xml YES 4.8 / 2.2 YES 1.2 / 0.5
TRS_Relative/Relative_05/rt2-7.xml YES 6.6 / 2.5 YES 2.1 / 0.7
TRS_Relative/Relative_05/rt2-8.xml NO 4.2 / 2.5 . 29.9 / 29.6
TRS_Relative/Relative_05/rt3-1.xml YES 6.5 / 2.9 YES 0.7 / 0.4
TRS_Relative/Relative_05/rt3-2.xml YES 6.7 / 2.8 YES 1.0 / 0.4
TRS_Relative/Relative_05/rt3-3.xml NO 4.1 / 2.0 . 36.7 / 29.2
TRS_Relative/Relative_05/rt3-4.xml YES 32.2 / 10.5 . 36.1 / 29.2
TRS_Relative/Relative_05/rt3-5.xml YES 11.8 / 3.8 YES 3.4 / 1.0
TRS_Relative/Relative_05/rt3-6.xml NO 3.6 / 1.5 NO 1.2 / 0.5
TRS_Relative/Relative_05/rt3-7.xml YES 5.3 / 2.4 YES 1.3 / 0.8
TRS_Relative/Relative_05/rt3-8.xml NO 3.2 / 1.5 NO 0.3 / 0.3
TRS_Relative/Relative_05/rt3-9.xml YES 11.5 / 11.0 YES 1.6 / 0.6
TRS_Relative/Relative_05/rtL-cbn1.xml . 115.9 / 30.1 . 41.2 / 29.3
TRS_Relative/Relative_05/rtL-cbn5.xml . 108.2 / 30.0 . 44.4 / 29.3
TRS_Relative/Relative_05/rtL-cbo.xml . 115.6 / 30.1 . 40.3 / 29.3
TRS_Relative/Relative_05/rtL-evnz.xml NO 60.0 / 19.6 . 46.2 / 29.3
TRS_Relative/Relative_05/rtL-evo.xml NO 4.4 / 1.9 NO 0.4 / 0.3
TRS_Relative/Relative_05/rtL-me2.xml YES 7.5 / 2.7 YES 3.4 / 1.2
TRS_Relative/Relative_05/rtL-me3.xml YES 7.6 / 3.2 YES 9.8 / 3.1
TRS_Relative/Relative_05/rtL-pwl.xml . 115.5 / 30.1 . 45.7 / 29.3
TRS_Relative/Relative_05/rtL-rw2.xml . 95.3 / 30.1 . 46.1 / 29.3
TRS_Relative/Relative_05/rtL-rw5.xml . 97.6 / 30.1 . 46.3 / 29.3
TRS_Relative/Relative_05/rtL-wl1nz.xml YES 6.7 / 2.8 YES 3.6 / 1.6
TRS_Relative/Relative_05/rtL-wl1o.xml . 105.1 / 29.9 . 37.2 / 29.3