Overview of job-results

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

Statistics

196 pairs, 29112.5 / 17898.6 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 60256
Solver TTT2 AProVE certified
Scores 41 51
TRS_Relative/INVY_15/#3.10_rand.xml . 116.3 / 59.3 . 264.3 / 300.1
TRS_Relative/INVY_15/#3.15_rand.xml YES 7.6 / 2.4 YES 7.6 / 3.4
TRS_Relative/INVY_15/#3.16_rand.xml . 56.4 / 59.6 . 312.5 / 300.1
TRS_Relative/INVY_15/#3.17_mset.xml . 89.5 / 59.6 YES 9.0 / 3.9
TRS_Relative/INVY_15/#3.17a_mset.xml . 132.5 / 59.3 YES 15.4 / 20.3
TRS_Relative/INVY_15/#3.18_rand.xml . 63.8 / 60.1 . 458.7 / 300.0
TRS_Relative/INVY_15/#3.19_rand.xml . 102.4 / 60.5 . 427.0 / 300.1
TRS_Relative/INVY_15/#3.1_gen.xml NO 1.7 / 0.7 NO 6.1 / 2.1
TRS_Relative/INVY_15/#3.1_rand.xml . 57.5 / 59.9 . 362.3 / 300.1
TRS_Relative/INVY_15/#3.22_rand.xml . 74.3 / 60.1 . 486.1 / 300.0
TRS_Relative/INVY_15/#3.23_rand.xml . 79.3 / 59.6 . 331.1 / 300.1
TRS_Relative/INVY_15/#3.24_rand.xml YES 10.6 / 5.8 YES 6.2 / 3.7
TRS_Relative/INVY_15/#3.26_rand.xml YES 10.7 / 3.2 YES 8.4 / 5.0
TRS_Relative/INVY_15/#3.29_rand.xml YES 4.2 / 2.3 YES 6.2 / 9.4
TRS_Relative/INVY_15/#3.2_rand.xml . 124.4 / 59.3 . 506.1 / 300.1
TRS_Relative/INVY_15/#3.35_rand.xml YES 5.5 / 2.7 YES 4.9 / 4.0
TRS_Relative/INVY_15/#3.36_rand.xml . 124.1 / 59.3 . 605.5 / 300.1
TRS_Relative/INVY_15/#3.37_rand.xml YES 9.9 / 3.0 YES 11.2 / 8.7
TRS_Relative/INVY_15/#3.38_rand.xml . 126.6 / 59.3 . 420.1 / 300.0
TRS_Relative/INVY_15/#3.39_rand.xml . 125.7 / 59.3 . 493.3 / 300.1
TRS_Relative/INVY_15/#3.40_rand.xml . 117.7 / 59.3 . 351.3 / 300.1
TRS_Relative/INVY_15/#3.41_rand.xml . 90.4 / 59.3 . 681.4 / 300.1
TRS_Relative/INVY_15/#3.42_rand.xml . 111.5 / 59.3 . 658.1 / 300.1
TRS_Relative/INVY_15/#3.47_rand.xml YES 7.4 / 4.2 YES 5.5 / 3.2
TRS_Relative/INVY_15/#3.48_rand.xml . 91.9 / 59.7 . 358.3 / 300.1
TRS_Relative/INVY_15/#3.49_rand.xml YES 11.7 / 6.2 YES 6.7 / 3.8
TRS_Relative/INVY_15/#3.4_rand.xml . 100.4 / 59.6 . 427.0 / 300.1
TRS_Relative/INVY_15/#3.52_rand.xml . 53.6 / 59.8 . 554.6 / 300.0
TRS_Relative/INVY_15/#3.53_rand.xml . 131.1 / 59.3 . 290.6 / 300.1
TRS_Relative/INVY_15/#3.53a_rand.xml YES 5.9 / 4.0 YES 5.4 / 3.3
TRS_Relative/INVY_15/#3.53b_rand.xml . 94.1 / 59.3 . 544.4 / 300.0
TRS_Relative/INVY_15/#3.54_rand.xml YES 12.5 / 4.1 YES 11.3 / 19.3
TRS_Relative/INVY_15/#3.55_rand.xml . 91.7 / 59.3 . 451.4 / 300.1
TRS_Relative/INVY_15/#3.56_rand.xml YES 15.0 / 4.4 YES 8.5 / 3.7
TRS_Relative/INVY_15/#3.57_rand.xml . 112.3 / 59.7 . 492.7 / 300.0
TRS_Relative/INVY_15/#3.5_rand.xml . 123.7 / 59.3 . 337.0 / 300.1
TRS_Relative/INVY_15/#3.5a_rand.xml . 85.5 / 59.7 . 381.8 / 300.1
TRS_Relative/INVY_15/#3.5b_rand.xml . 130.0 / 59.3 . 370.5 / 300.1
TRS_Relative/INVY_15/#3.6_rand.xml . 68.2 / 59.8 . 550.3 / 300.1
TRS_Relative/INVY_15/#3.6a_rand.xml . 81.4 / 60.0 . 340.3 / 300.0
TRS_Relative/INVY_15/#3.6b_rand.xml . 83.0 / 59.4 . 346.2 / 300.1
TRS_Relative/INVY_15/#3.7_rand.xml YES 12.1 / 3.9 YES 11.3 / 15.3
TRS_Relative/INVY_15/#3.8a_rand.xml . 68.0 / 59.3 . 425.6 / 300.1
TRS_Relative/INVY_15/#3.8b_rand.xml . 94.8 / 59.8 . 580.9 / 300.1
TRS_Relative/INVY_15/#4.30c_rand.xml . 71.4 / 59.5 . 463.9 / 300.0
TRS_Relative/INVY_15/ex1.xml NO 0.3 / 0.3 NO 2.5 / 1.7
TRS_Relative/INVY_15/ex2.xml . 76.3 / 59.3 . 224.0 / 300.0
TRS_Relative/INVY_15/ex3.xml . 1.3 / 1.9 . 326.0 / 300.1
TRS_Relative/INVY_15/ex4.xml YES 2.6 / 1.0 YES 3.1 / 1.7
TRS_Relative/INVY_15/ex6.xml NO 0.7 / 0.8 . 427.7 / 300.1
TRS_Relative/INVY_15/ex7.xml . 52.0 / 59.4 NO 2.4 / 1.7
TRS_Relative/INVY_15/invNSS03.xml YES 2.1 / 2.4 YES 4.7 / 3.0
TRS_Relative/INVY_15/quicktest.xml . 97.7 / 59.3 . 457.8 / 300.0
TRS_Relative/INVY_15/quicktest_sum.xml . 125.2 / 59.3 . 429.4 / 300.0
TRS_Relative/Mixed_relative_TRS/abp.xml . 110.9 / 59.4 . 768.1 / 300.0
TRS_Relative/Mixed_relative_TRS/abp2.xml . 99.6 / 59.4 . 433.5 / 300.1
TRS_Relative/Mixed_relative_TRS/assoc.xml . 114.8 / 59.3 NO 3.6 / 6.8
TRS_Relative/Mixed_relative_TRS/carbridge.xml YES 16.0 / 7.5 YES 7.5 / 4.3
TRS_Relative/Mixed_relative_TRS/gcd.xml . 90.8 / 59.6 . 515.8 / 300.1
TRS_Relative/Mixed_relative_TRS/gcd_list.xml . 116.6 / 59.7 . 647.0 / 300.1
TRS_Relative/Mixed_relative_TRS/gcd_many.xml NO 1.4 / 0.6 NO 2.8 / 5.3
TRS_Relative/Mixed_relative_TRS/ijcar2006.xml YES 3.1 / 1.0 YES 5.4 / 3.0
TRS_Relative/Mixed_relative_TRS/relsubst.xml . 84.9 / 59.7 . 472.1 / 300.1
TRS_Relative/Mixed_relative_TRS/rt-rw4.xml . 85.8 / 59.4 YES 22.9 / 20.8
TRS_Relative/Mixed_relative_TRS/trafic.xml . 90.8 / 59.5 YES 30.5 / 15.3
TRS_Relative/Relative_05/rt1-1.xml YES 1.2 / 1.0 YES 2.9 / 4.5
TRS_Relative/Relative_05/rt1-2.xml YES 1.0 / 0.7 YES 4.8 / 9.9
TRS_Relative/Relative_05/rt1-3.xml YES 8.8 / 3.1 YES 3.5 / 2.0
TRS_Relative/Relative_05/rt1-4.xml YES 2.4 / 2.3 YES 3.5 / 1.9
TRS_Relative/Relative_05/rt1-5.xml YES 4.1 / 2.4 YES 8.7 / 20.1
TRS_Relative/Relative_05/rt2-1.xml YES 1.8 / 0.7 YES 3.3 / 3.0
TRS_Relative/Relative_05/rt2-2.xml YES 1.3 / 1.8 YES 3.6 / 2.3
TRS_Relative/Relative_05/rt2-3.xml YES 1.4 / 0.6 YES 4.4 / 7.7
TRS_Relative/Relative_05/rt2-4.xml YES 1.7 / 0.7 YES 3.4 / 2.0
TRS_Relative/Relative_05/rt2-5.xml YES 2.9 / 1.1 YES 3.3 / 1.9
TRS_Relative/Relative_05/rt2-7.xml YES 8.4 / 2.9 YES 8.4 / 3.7
TRS_Relative/Relative_05/rt2-8.xml . 76.1 / 59.3 NO 3.4 / 6.7
TRS_Relative/Relative_05/rt3-1.xml YES 2.1 / 1.5 YES 5.7 / 8.8
TRS_Relative/Relative_05/rt3-2.xml YES 4.2 / 2.3 YES 4.2 / 2.2
TRS_Relative/Relative_05/rt3-3.xml . 68.3 / 59.5 NO 2.6 / 1.6
TRS_Relative/Relative_05/rt3-4.xml . 57.8 / 60.0 YES 42.0 / 20.4
TRS_Relative/Relative_05/rt3-5.xml YES 11.9 / 5.3 YES 21.8 / 20.8
TRS_Relative/Relative_05/rt3-6.xml NO 1.5 / 1.7 NO 2.6 / 4.6
TRS_Relative/Relative_05/rt3-7.xml YES 4.2 / 2.4 YES 6.2 / 10.3
TRS_Relative/Relative_05/rt3-8.xml NO 1.2 / 1.3 NO 2.6 / 8.5
TRS_Relative/Relative_05/rt3-9.xml YES 6.9 / 5.6 YES 6.1 / 2.8
TRS_Relative/Relative_05/rtL-cbn1.xml . 120.4 / 59.3 . 857.6 / 300.0
TRS_Relative/Relative_05/rtL-cbn5.xml . 116.4 / 59.3 . 655.8 / 300.1
TRS_Relative/Relative_05/rtL-cbo.xml . 106.0 / 59.3 . 722.0 / 300.1
TRS_Relative/Relative_05/rtL-evnz.xml . 59.8 / 60.1 NO 56.0 / 18.6
TRS_Relative/Relative_05/rtL-evo.xml NO 1.5 / 1.0 NO 3.8 / 2.4
TRS_Relative/Relative_05/rtL-me2.xml YES 12.4 / 4.2 YES 5.0 / 2.4
TRS_Relative/Relative_05/rtL-me3.xml . 78.7 / 59.3 YES 8.7 / 5.3
TRS_Relative/Relative_05/rtL-pwl.xml . 73.6 / 59.4 . 815.2 / 300.0
TRS_Relative/Relative_05/rtL-rw2.xml . 84.6 / 59.5 . 774.4 / 300.1
TRS_Relative/Relative_05/rtL-rw5.xml . 131.3 / 59.4 . 440.0 / 300.0
TRS_Relative/Relative_05/rtL-wl1nz.xml YES 8.8 / 3.8 YES 5.2 / 6.6
TRS_Relative/Relative_05/rtL-wl1o.xml . 118.6 / 59.3 . 895.0 / 300.0