Overview of job-results

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

Statistics

392 pairs, 77146.9 / 34711.5 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 31547
Solver NaTT 1.3 TTT2 matchbox2015-07-26.1 AProVE 2015
Scores 70 41 40 55
TRS_Relative/INVY_15/#3.10_rand.xml YES 0.5 / 1.0 . 100.2 / 59.8 . 800.3 / 300.0 . 388.2 / 300.1
TRS_Relative/INVY_15/#3.15_rand.xml YES 0.0 / 0.1 YES 8.6 / 3.8 YES 6.2 / 2.6 YES 5.8 / 2.5
TRS_Relative/INVY_15/#3.16_rand.xml YES 0.0 / 0.1 . 100.0 / 59.4 . 666.9 / 300.0 . 415.0 / 300.2
TRS_Relative/INVY_15/#3.17_mset.xml YES 0.2 / 1.2 . 105.5 / 59.6 YES 18.8 / 6.1 YES 10.3 / 4.5
TRS_Relative/INVY_15/#3.17a_mset.xml YES 0.0 / 0.2 . 196.3 / 59.4 YES 31.8 / 10.0 YES 11.6 / 4.8
TRS_Relative/INVY_15/#3.18_rand.xml YES 0.0 / 0.1 . 131.3 / 59.3 . 953.6 / 300.1 . 471.6 / 300.0
TRS_Relative/INVY_15/#3.19_rand.xml YES 0.0 / 0.1 . 170.7 / 59.6 . 646.7 / 300.0 . 523.9 / 300.1
TRS_Relative/INVY_15/#3.1_gen.xml . 0.0 / 0.1 NO 1.5 / 0.7 . 694.2 / 300.1 NO 3.8 / 4.9
TRS_Relative/INVY_15/#3.1_rand.xml YES 0.0 / 0.4 . 167.9 / 59.3 . 833.8 / 300.0 . 312.4 / 300.1
TRS_Relative/INVY_15/#3.22_rand.xml . 0.0 / 0.4 . 197.5 / 59.3 . 1052.0 / 300.0 . 418.1 / 300.0
TRS_Relative/INVY_15/#3.23_rand.xml YES 0.0 / 0.0 . 88.1 / 60.1 . 928.1 / 300.1 . 339.5 / 300.0
TRS_Relative/INVY_15/#3.24_rand.xml YES 0.0 / 0.4 YES 12.2 / 3.6 YES 7.7 / 2.4 YES 12.9 / 5.4
TRS_Relative/INVY_15/#3.26_rand.xml YES 0.0 / 0.0 YES 11.0 / 4.4 YES 11.7 / 4.7 YES 7.7 / 3.5
TRS_Relative/INVY_15/#3.29_rand.xml YES 0.0 / 0.0 YES 3.7 / 3.8 YES 5.3 / 4.7 YES 6.2 / 11.3
TRS_Relative/INVY_15/#3.2_rand.xml YES 0.0 / 0.6 . 93.5 / 59.7 . 792.9 / 300.1 . 438.3 / 300.1
TRS_Relative/INVY_15/#3.35_rand.xml YES 0.0 / 0.2 YES 6.3 / 2.3 YES 6.2 / 2.1 YES 9.9 / 4.3
TRS_Relative/INVY_15/#3.36_rand.xml YES 0.0 / 0.1 . 191.8 / 59.3 . 853.9 / 300.1 . 464.5 / 300.1
TRS_Relative/INVY_15/#3.37_rand.xml YES 0.0 / 0.3 YES 10.9 / 3.0 YES 14.0 / 7.8 YES 11.2 / 16.3
TRS_Relative/INVY_15/#3.38_rand.xml YES 0.0 / 0.1 . 113.9 / 59.3 . 763.4 / 300.1 . 500.8 / 300.1
TRS_Relative/INVY_15/#3.39_rand.xml . 0.1 / 0.2 . 169.5 / 59.4 . 675.3 / 300.0 . 494.2 / 300.0
TRS_Relative/INVY_15/#3.40_rand.xml . 0.1 / 0.3 . 190.6 / 60.1 . 762.1 / 300.0 . 433.1 / 300.0
TRS_Relative/INVY_15/#3.41_rand.xml YES 0.0 / 0.2 . 193.8 / 59.3 . 901.9 / 300.1 . 837.7 / 300.1
TRS_Relative/INVY_15/#3.42_rand.xml YES 0.0 / 0.2 . 140.5 / 59.3 . 658.6 / 300.0 . 382.8 / 300.1
TRS_Relative/INVY_15/#3.47_rand.xml YES 0.0 / 0.1 YES 6.7 / 2.1 YES 9.1 / 3.0 YES 5.4 / 5.8
TRS_Relative/INVY_15/#3.48_rand.xml YES 0.0 / 0.1 . 141.2 / 59.4 . 652.2 / 300.1 . 537.0 / 300.0
TRS_Relative/INVY_15/#3.49_rand.xml YES 0.0 / 0.1 YES 11.7 / 3.9 YES 17.1 / 5.4 YES 3.6 / 2.7
TRS_Relative/INVY_15/#3.4_rand.xml YES 0.0 / 0.1 . 127.0 / 59.3 . 1020.8 / 300.0 . 484.2 / 300.0
TRS_Relative/INVY_15/#3.52_rand.xml YES 0.0 / 0.1 . 185.8 / 59.3 . 998.3 / 300.1 . 398.9 / 300.1
TRS_Relative/INVY_15/#3.53_rand.xml YES 0.1 / 0.8 . 96.9 / 59.7 . 907.9 / 300.1 . 368.8 / 300.1
TRS_Relative/INVY_15/#3.53a_rand.xml YES 0.0 / 0.3 YES 6.4 / 2.6 YES 5.0 / 1.6 YES 7.4 / 4.5
TRS_Relative/INVY_15/#3.53b_rand.xml YES 0.0 / 0.0 . 123.7 / 59.7 . 785.0 / 300.0 . 568.3 / 300.1
TRS_Relative/INVY_15/#3.54_rand.xml YES 0.0 / 0.1 YES 7.2 / 3.5 YES 13.1 / 7.2 YES 8.4 / 3.2
TRS_Relative/INVY_15/#3.55_rand.xml YES 0.6 / 1.3 . 170.0 / 59.3 . 789.6 / 300.1 . 379.6 / 300.1
TRS_Relative/INVY_15/#3.56_rand.xml YES 0.0 / 0.9 YES 13.8 / 6.9 YES 24.5 / 18.2 YES 9.4 / 11.3
TRS_Relative/INVY_15/#3.57_rand.xml YES 0.0 / 0.2 . 198.0 / 59.3 . 910.6 / 300.1 . 253.7 / 300.1
TRS_Relative/INVY_15/#3.5_rand.xml YES 0.0 / 0.1 . 161.1 / 59.3 . 659.6 / 300.0 . 543.2 / 300.1
TRS_Relative/INVY_15/#3.5a_rand.xml YES 0.0 / 0.1 . 120.9 / 59.8 . 603.0 / 300.1 . 346.8 / 300.1
TRS_Relative/INVY_15/#3.5b_rand.xml YES 0.1 / 0.3 . 99.7 / 59.4 . 643.4 / 300.1 . 471.9 / 300.1
TRS_Relative/INVY_15/#3.6_rand.xml . 0.1 / 0.3 . 173.7 / 59.3 . 972.9 / 300.0 . 483.1 / 300.1
TRS_Relative/INVY_15/#3.6a_rand.xml . 0.1 / 0.3 . 191.4 / 59.3 . 636.1 / 300.0 . 333.6 / 300.1
TRS_Relative/INVY_15/#3.6b_rand.xml . 0.1 / 0.6 . 197.5 / 59.3 . 757.5 / 300.1 . 519.8 / 300.1
TRS_Relative/INVY_15/#3.7_rand.xml YES 0.0 / 0.1 YES 12.7 / 7.8 YES 15.8 / 10.1 YES 17.2 / 6.8
TRS_Relative/INVY_15/#3.8a_rand.xml YES 0.0 / 0.1 . 106.8 / 59.3 . 935.2 / 300.0 . 517.5 / 300.1
TRS_Relative/INVY_15/#3.8b_rand.xml YES 0.1 / 1.0 . 170.4 / 59.3 . 813.3 / 300.1 . 547.1 / 300.0
TRS_Relative/INVY_15/#4.30c_rand.xml . 0.0 / 0.6 . 139.1 / 60.0 . 958.4 / 300.1 . 607.4 / 300.0
TRS_Relative/INVY_15/ex1.xml NO 0.0 / 0.1 NO 0.4 / 1.1 . 839.6 / 300.0 . 2.6 / 1.6
TRS_Relative/INVY_15/ex2.xml YES 0.0 / 0.3 . 89.8 / 59.8 . 617.5 / 300.1 . 239.6 / 300.0
TRS_Relative/INVY_15/ex3.xml . 0.0 / 0.0 . 83.0 / 51.6 . 857.6 / 300.0 NO 2.4 / 2.8
TRS_Relative/INVY_15/ex4.xml YES 0.0 / 0.0 YES 2.2 / 0.8 YES 1.9 / 1.0 YES 3.0 / 4.3
TRS_Relative/INVY_15/ex6.xml . 0.0 / 0.0 NO 1.0 / 1.3 . 733.6 / 300.1 NO 2.6 / 2.0
TRS_Relative/INVY_15/ex7.xml . 0.0 / 0.2 . 201.4 / 59.3 . 818.9 / 300.0 NO 2.8 / 4.4
TRS_Relative/INVY_15/invNSS03.xml YES 0.0 / 0.0 YES 1.6 / 1.7 YES 2.9 / 1.9 YES 4.1 / 8.2
TRS_Relative/INVY_15/quicktest.xml YES 0.0 / 0.3 . 195.1 / 59.3 . 857.1 / 300.0 . 451.1 / 300.0
TRS_Relative/INVY_15/quicktest_sum.xml YES 0.0 / 0.2 . 96.7 / 60.1 . 623.6 / 300.1 . 482.4 / 300.1
TRS_Relative/Mixed_relative_TRS/abp.xml . 21.8 / 32.4 . 177.2 / 60.3 . 617.4 / 300.1 . 648.3 / 300.0
TRS_Relative/Mixed_relative_TRS/abp2.xml YES 2.2 / 2.2 . 142.7 / 59.7 . 1038.3 / 300.1 . 638.5 / 300.1
TRS_Relative/Mixed_relative_TRS/assoc.xml . 0.0 / 0.7 . 125.7 / 59.7 . 645.5 / 300.0 NO 3.1 / 4.6
TRS_Relative/Mixed_relative_TRS/carbridge.xml YES 0.0 / 0.2 YES 15.5 / 6.3 YES 13.8 / 9.8 YES 7.3 / 12.0
TRS_Relative/Mixed_relative_TRS/gcd.xml . 0.0 / 0.1 . 137.0 / 59.8 . 800.2 / 300.1 . 388.8 / 300.1
TRS_Relative/Mixed_relative_TRS/gcd_list.xml . 0.0 / 0.6 . 136.7 / 59.9 . 919.8 / 300.1 . 471.5 / 300.1
TRS_Relative/Mixed_relative_TRS/gcd_many.xml NO 0.0 / 0.5 NO 1.1 / 1.3 . 755.6 / 300.1 NO 2.6 / 2.4
TRS_Relative/Mixed_relative_TRS/ijcar2006.xml YES 0.0 / 0.0 YES 2.9 / 1.2 YES 5.8 / 3.8 YES 7.1 / 21.5
TRS_Relative/Mixed_relative_TRS/relsubst.xml YES 0.1 / 1.9 . 186.8 / 59.4 . 828.7 / 300.1 . 371.8 / 300.0
TRS_Relative/Mixed_relative_TRS/rt-rw4.xml YES 4.6 / 4.9 . 98.5 / 60.1 YES 274.8 / 117.0 YES 22.0 / 22.3
TRS_Relative/Mixed_relative_TRS/trafic.xml YES 0.0 / 0.4 . 204.8 / 59.4 YES 182.7 / 83.3 YES 31.3 / 32.8
TRS_Relative/Relative_05/rt1-1.xml YES 0.0 / 0.1 YES 0.8 / 1.0 YES 1.0 / 1.2 YES 3.4 / 2.0
TRS_Relative/Relative_05/rt1-2.xml YES 0.0 / 0.0 YES 1.0 / 0.8 YES 1.4 / 1.8 YES 5.5 / 15.5
TRS_Relative/Relative_05/rt1-3.xml YES 0.0 / 0.0 YES 7.6 / 3.5 YES 4.7 / 2.1 YES 2.7 / 7.3
TRS_Relative/Relative_05/rt1-4.xml YES 0.0 / 0.0 YES 3.3 / 3.2 YES 2.8 / 2.0 YES 4.7 / 13.4
TRS_Relative/Relative_05/rt1-5.xml YES 0.0 / 0.0 YES 5.3 / 2.7 YES 4.8 / 3.5 YES 7.1 / 7.7
TRS_Relative/Relative_05/rt2-1.xml YES 0.0 / 0.0 YES 2.0 / 1.0 YES 2.9 / 2.2 YES 2.9 / 1.8
TRS_Relative/Relative_05/rt2-2.xml YES 0.0 / 0.0 YES 1.1 / 1.2 YES 1.0 / 0.3 YES 3.5 / 2.8
TRS_Relative/Relative_05/rt2-3.xml YES 0.0 / 0.1 YES 1.5 / 0.7 YES 2.4 / 1.7 YES 3.6 / 6.6
TRS_Relative/Relative_05/rt2-4.xml YES 0.0 / 0.0 YES 2.1 / 1.6 YES 1.3 / 0.7 YES 4.5 / 3.8
TRS_Relative/Relative_05/rt2-5.xml YES 0.0 / 0.0 YES 2.7 / 2.0 YES 1.7 / 2.3 YES 3.7 / 2.2
TRS_Relative/Relative_05/rt2-7.xml YES 0.0 / 0.1 YES 3.8 / 1.3 YES 8.8 / 9.4 YES 7.3 / 3.3
TRS_Relative/Relative_05/rt2-8.xml . 0.0 / 0.1 . 193.6 / 59.3 . 922.5 / 300.0 NO 3.7 / 6.4
TRS_Relative/Relative_05/rt3-1.xml YES 0.0 / 0.0 YES 2.6 / 1.1 YES 9.7 / 7.5 YES 4.3 / 2.3
TRS_Relative/Relative_05/rt3-2.xml YES 0.0 / 0.2 YES 4.7 / 1.8 YES 5.1 / 3.3 YES 4.8 / 6.7
TRS_Relative/Relative_05/rt3-3.xml . 0.0 / 0.1 . 99.7 / 59.3 . 932.0 / 300.1 NO 2.7 / 2.4
TRS_Relative/Relative_05/rt3-4.xml . 0.0 / 0.5 . 185.5 / 59.3 . 883.4 / 300.1 YES 36.6 / 11.3
TRS_Relative/Relative_05/rt3-5.xml . 0.0 / 0.2 YES 13.1 / 6.0 YES 10.2 / 4.0 YES 22.3 / 20.7
TRS_Relative/Relative_05/rt3-6.xml . 0.0 / 0.2 NO 2.1 / 0.8 . 708.4 / 300.1 NO 2.7 / 1.9
TRS_Relative/Relative_05/rt3-7.xml YES 0.0 / 0.0 YES 4.5 / 2.4 YES 8.4 / 2.8 YES 5.2 / 3.1
TRS_Relative/Relative_05/rt3-8.xml NO 0.3 / 1.5 NO 1.4 / 0.6 . 809.6 / 300.1 NO 2.7 / 1.7
TRS_Relative/Relative_05/rt3-9.xml YES 0.0 / 0.1 YES 7.0 / 2.0 YES 6.9 / 2.4 YES 6.2 / 5.1
TRS_Relative/Relative_05/rtL-cbn1.xml . 0.4 / 1.3 . 183.2 / 60.1 YES 642.1 / 275.6 YES 29.0 / 33.4
TRS_Relative/Relative_05/rtL-cbn5.xml . 3.2 / 6.4 . 191.0 / 59.7 . 876.1 / 300.1 YES 42.1 / 20.5
TRS_Relative/Relative_05/rtL-cbo.xml . 0.0 / 0.2 . 200.2 / 59.6 . 764.0 / 300.1 . 607.2 / 300.0
TRS_Relative/Relative_05/rtL-evnz.xml . 1.1 / 1.5 . 212.6 / 59.7 . 656.4 / 300.0 NO 66.2 / 26.0
TRS_Relative/Relative_05/rtL-evo.xml NO 0.0 / 0.7 NO 1.9 / 1.6 . 829.7 / 300.1 NO 4.6 / 3.0
TRS_Relative/Relative_05/rtL-me2.xml YES 0.0 / 0.0 YES 12.2 / 3.6 YES 8.2 / 2.6 YES 6.3 / 4.8
TRS_Relative/Relative_05/rtL-me3.xml YES 0.0 / 0.1 . 153.1 / 59.4 YES 21.6 / 8.0 YES 7.8 / 11.0
TRS_Relative/Relative_05/rtL-pwl.xml . 1.2 / 1.3 . 177.0 / 60.6 . 688.4 / 300.1 YES 27.4 / 25.1
TRS_Relative/Relative_05/rtL-rw2.xml . 7.5 / 17.1 . 101.4 / 60.1 . 918.2 / 300.0 . 445.0 / 300.1
TRS_Relative/Relative_05/rtL-rw5.xml . 4.7 / 4.7 . 212.0 / 59.4 . 772.1 / 300.0 . 670.8 / 300.1
TRS_Relative/Relative_05/rtL-wl1nz.xml YES 0.0 / 0.4 YES 10.1 / 3.0 YES 12.0 / 8.7 YES 9.2 / 11.2
TRS_Relative/Relative_05/rtL-wl1o.xml . 0.0 / 0.1 . 198.2 / 59.3 . 585.2 / 300.1 . 629.3 / 300.1