Overview of job-results

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

Statistics

234 pairs, 5576.4 / 5099.8 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 Condi 87079
Solver AProVE 2015 muterm 5.17
Scores 85 101
TRS_Conditional/COPS/262.xml YES 2.5 / 1.6 YES 0.0 / 0.0
TRS_Conditional/COPS/263.xml YES 2.5 / 2.4 YES 0.0 / 0.0
TRS_Conditional/COPS/264.xml YES 2.3 / 1.5 YES 0.0 / 0.1
TRS_Conditional/COPS/266.xml YES 3.3 / 2.0 . 74.5 / 77.2
TRS_Conditional/COPS/267.xml YES 3.1 / 1.9 YES 0.0 / 0.3
TRS_Conditional/COPS/268.xml . 3.6 / 2.1 NO 0.0 / 0.0
TRS_Conditional/COPS/271.xml YES 2.6 / 1.6 YES 0.2 / 0.2
TRS_Conditional/COPS/272.xml YES 3.4 / 2.0 YES 0.0 / 0.0
TRS_Conditional/COPS/286.xml . 4.5 / 6.1 NO 0.2 / 0.2
TRS_Conditional/COPS/288.xml YES 2.4 / 1.8 YES 0.1 / 0.1
TRS_Conditional/COPS/289.xml . 7.5 / 3.4 . 13.7 / 14.0
TRS_Conditional/COPS/292.xml YES 2.8 / 1.8 YES 0.0 / 0.0
TRS_Conditional/COPS/293.xml . 3.8 / 3.1 NO 0.0 / 0.0
TRS_Conditional/COPS/294.xml YES 2.6 / 1.7 YES 0.0 / 0.2
TRS_Conditional/COPS/307.xml YES 2.6 / 1.6 YES 0.0 / 0.0
TRS_Conditional/COPS/308.xml YES 2.3 / 1.5 YES 0.0 / 0.0
TRS_Conditional/COPS/310.xml YES 2.6 / 1.7 YES 0.2 / 0.2
TRS_Conditional/COPS/311.xml . 11.5 / 5.0 . 9.4 / 9.5
TRS_Conditional/COPS/312.xml . 11.4 / 18.1 . 269.7 / 300.0
TRS_Conditional/COPS/315.xml YES 2.6 / 1.7 YES 0.0 / 0.0
TRS_Conditional/COPS/316.xml YES 2.8 / 1.8 YES 0.0 / 0.0
TRS_Conditional/COPS/317.xml YES 2.6 / 1.7 YES 0.0 / 0.2
TRS_Conditional/COPS/319.xml YES 2.5 / 1.6 YES 0.0 / 0.0
TRS_Conditional/COPS/321.xml YES 3.4 / 2.0 YES 0.0 / 0.0
TRS_Conditional/COPS/322.xml YES 3.6 / 5.7 YES 0.0 / 0.0
TRS_Conditional/COPS/323.xml YES 2.6 / 1.7 YES 0.0 / 0.0
TRS_Conditional/COPS/324.xml . 3.7 / 8.1 NO 2.3 / 2.3
TRS_Conditional/COPS/325.xml YES 3.0 / 3.8 YES 0.0 / 0.0
TRS_Conditional/COPS/326.xml YES 2.3 / 1.6 YES 0.0 / 0.0
TRS_Conditional/COPS/329.xml YES 4.4 / 6.2 YES 3.5 / 5.4
TRS_Conditional/COPS/330.xml . 3.9 / 2.3 . 1.0 / 2.9
TRS_Conditional/COPS/332.xml YES 2.7 / 2.8 YES 0.0 / 0.0
TRS_Conditional/COPS/333.xml YES 3.5 / 2.0 YES 0.0 / 0.0
TRS_Conditional/COPS/334.xml YES 2.5 / 1.6 YES 0.0 / 0.0
TRS_Conditional/COPS/337.xml . 387.1 / 300.1 . 245.9 / 300.0
TRS_Conditional/COPS/339.xml YES 2.4 / 1.6 YES 0.0 / 0.2
TRS_Conditional/COPS/340.xml YES 2.5 / 1.7 YES 0.0 / 0.3
TRS_Conditional/COPS/341.xml YES 2.4 / 1.6 YES 0.0 / 0.0
TRS_Conditional/COPS/342.xml . 5.8 / 9.3 . 258.9 / 300.0
TRS_Conditional/COPS/343.xml YES 2.4 / 4.4 YES 0.0 / 0.0
TRS_Conditional/COPS/344.xml YES 2.4 / 1.6 YES 0.0 / 0.0
TRS_Conditional/COPS/351.xml YES 3.6 / 7.4 YES 0.0 / 0.0
TRS_Conditional/COPS/353.xml YES 5.7 / 2.8 YES 0.3 / 0.3
TRS_Conditional/COPS/354.xml YES 2.4 / 1.6 YES 0.0 / 0.4
TRS_Conditional/COPS/355.xml . 3.9 / 2.3 NO 0.0 / 1.5
TRS_Conditional/COPS/356.xml YES 2.5 / 1.7 YES 0.0 / 0.1
TRS_Conditional/COPS/358.xml YES 2.9 / 4.7 YES 0.0 / 0.0
TRS_Conditional/COPS/359.xml YES 2.5 / 1.6 YES 0.0 / 0.0
TRS_Conditional/COPS/361.xml . 4.1 / 2.3 NO 2.1 / 14.1
TRS_Conditional/COPS/364.xml YES 2.3 / 1.6 YES 0.0 / 0.0
TRS_Conditional/COPS/365.xml YES 2.4 / 1.6 YES 0.0 / 0.0
TRS_Conditional/COPS/366.xml YES 2.7 / 3.9 YES 0.0 / 0.0
TRS_Conditional/COPS/367.xml YES 2.6 / 1.7 YES 0.0 / 0.0
TRS_Conditional/COPS/368.xml YES 2.5 / 1.6 YES 0.0 / 0.2
TRS_Conditional/COPS/369.xml YES 3.1 / 1.8 YES 0.0 / 0.0
TRS_Conditional/COPS/370.xml YES 3.6 / 2.1 YES 0.0 / 0.0
TRS_Conditional/COPS/371.xml YES 2.7 / 5.1 YES 0.0 / 0.0
TRS_Conditional/COPS/372.xml YES 2.5 / 2.8 YES 0.0 / 0.0
TRS_Conditional/COPS/373.xml YES 2.6 / 5.0 . 0.0 / 0.0
TRS_Conditional/COPS/374.xml YES 2.4 / 1.6 YES 0.0 / 0.3
TRS_Conditional/COPS/375.xml YES 2.9 / 5.1 . 7.6 / 7.9
TRS_Conditional/COPS/376.xml YES 2.6 / 1.7 YES 0.0 / 0.0
TRS_Conditional/COPS/377.xml YES 3.1 / 5.5 YES 0.0 / 0.2
TRS_Conditional/COPS/378.xml YES 3.8 / 2.1 YES 4.6 / 5.7
TRS_Conditional/COPS/379.xml . 5.5 / 12.2 NO 2.1 / 2.1
TRS_Conditional/COPS/380.xml YES 2.6 / 1.7 YES 0.0 / 0.0
TRS_Conditional/COPS/381.xml YES 2.9 / 1.8 YES 0.0 / 0.0
TRS_Conditional/COPS/382.xml YES 2.5 / 1.6 YES 0.0 / 0.0
TRS_Conditional/COPS/383.xml YES 2.7 / 1.7 YES 0.0 / 0.2
TRS_Conditional/COPS/384.xml YES 3.0 / 6.9 YES 0.0 / 0.0
TRS_Conditional/COPS/385.xml YES 2.7 / 4.3 YES 0.0 / 0.2
TRS_Conditional/COPS/387.xml YES 2.5 / 1.7 YES 0.0 / 0.0
TRS_Conditional/COPS/388.xml YES 2.6 / 1.7 YES 0.0 / 0.0
TRS_Conditional/COPS/389.xml . 4.8 / 9.6 NO 0.0 / 1.1
TRS_Conditional/COPS/390.xml YES 2.4 / 1.6 YES 0.0 / 0.2
TRS_Conditional/COPS/391.xml YES 2.4 / 4.1 YES 0.1 / 0.3
TRS_Conditional/COPS/403.xml YES 2.5 / 1.6 YES 0.0 / 0.0
TRS_Conditional/COPS/404.xml YES 2.7 / 3.9 YES 0.0 / 0.2
TRS_Conditional/COPS/405.xml . 213.4 / 300.0 . 173.9 / 300.1
TRS_Conditional/COPS/406.xml YES 2.7 / 1.7 YES 0.0 / 0.2
TRS_Conditional/COPS/407.xml . 4.3 / 8.6 NO 0.1 / 0.1
TRS_Conditional/COPS/408.xml YES 3.1 / 6.1 YES 0.0 / 0.0
TRS_Conditional/COPS/409.xml . 3.8 / 2.3 NO 0.1 / 0.9
TRS_Conditional/COPS/410.xml YES 2.4 / 1.5 YES 0.0 / 0.0
TRS_Conditional/COPS/411.xml . 3.6 / 2.1 NO 0.0 / 0.1
TRS_Conditional/Mixed_CTRS/AAECC-ring-cond.xml YES 95.3 / 82.9 . 175.4 / 300.0
TRS_Conditional/Mixed_CTRS/AAECCcond.xml YES 67.8 / 75.6 . 220.9 / 300.0
TRS_Conditional/Mixed_CTRS/fib.xml YES 2.9 / 7.6 YES 0.1 / 0.6
TRS_Conditional/Mixed_CTRS/gcd.xml YES 4.1 / 6.1 YES 1.3 / 2.9
TRS_Conditional/Mixed_CTRS/quick.xml YES 4.0 / 5.5 YES 0.0 / 0.1
TRS_Conditional/Mixed_CTRS/quicksort.xml YES 3.6 / 3.3 YES 2.8 / 2.8
TRS_Conditional/Mixed_CTRS/quotrem.xml YES 3.4 / 2.0 YES 0.2 / 0.2
_Conditional/Mixed_CTRS_2014/ex1-lucmes-wrla14.xml . 392.7 / 300.0 . 292.2 / 300.0
TRS_Conditional/Mixed_CTRS_2014/ex1-muterm14.xml YES 2.3 / 1.6 YES 0.0 / 0.0
_Conditional/Mixed_CTRS_2014/ex2-lucmes-wrla14.xml . 5.0 / 10.6 NO 2.9 / 14.0
TRS_Conditional/Mixed_CTRS_2014/ex2-muterm14.xml YES 2.5 / 1.6 YES 0.0 / 0.0
TRS_Conditional/Mixed_CTRS_2014/ex3-muterm14.xml . 21.4 / 15.5 NO 4.2 / 4.3
onditional/Mixed_CTRS_2014/hosc08-ex5-aecc-p46.xml . 3.9 / 2.3 YES 4.1 / 4.2
TRS_Conditional/Mixed_CTRS_2014/jlap09-ex16.xml . 3.0 / 2.0 YES 0.7 / 2.2
TRS_Conditional/Mixed_CTRS_2014/jlap09-ex17.xml . 28.6 / 12.9 YES 6.5 / 6.5
TRS_Conditional/Mixed_CTRS_2014/logic.xml YES 5.3 / 20.9 YES 10.6 / 10.9
TRS_Conditional/Mixed_CTRS_2014/lucMarMes.xml . 3.9 / 7.1 NO 0.0 / 0.0
TRS_Conditional/Mixed_CTRS_2014/mar.xml . 860.9 / 300.1 . 4.2 / 4.2
TRS_Conditional/Mixed_CTRS_2014/mar_simple1.xml . 37.4 / 15.9 . 290.8 / 300.0
TRS_Conditional/Mixed_CTRS_2014/mar_simple2.xml . 665.6 / 300.1 . 259.2 / 300.1
TRS_Conditional/Mixed_CTRS_2014/minus1.xml YES 2.4 / 1.6 YES 0.0 / 0.0
TRS_Conditional/Mixed_CTRS_2014/ohl.xml . 3.0 / 1.9 YES 2.1 / 2.2
TRS_Conditional/Mixed_CTRS_2014/ohl190.xml YES 2.6 / 1.7 YES 0.0 / 0.0
TRS_Conditional/Mixed_CTRS_2014/ohl194.xml YES 8.6 / 3.6 YES 88.3 / 88.5
TRS_Conditional/Mixed_CTRS_2014/ohl196.xml YES 2.6 / 1.6 YES 0.0 / 0.0
TRS_Conditional/Mixed_CTRS_2014/ohl206.xml YES 2.7 / 1.8 YES 0.0 / 0.3
TRS_Conditional/Mixed_CTRS_2014/ohl211.xml . 6.8 / 3.4 YES 2.2 / 2.3
TRS_Conditional/Mixed_CTRS_2014/ohl216.xml YES 2.7 / 7.0 YES 0.0 / 0.0
TRS_Conditional/Mixed_CTRS_2014/ohl228.xml . 5.2 / 11.1 NO 4.2 / 4.3
TRS_Conditional/Mixed_CTRS_2014/ohl230.xml . 4.2 / 9.8 NO 0.2 / 2.4
TRS_Conditional/Mixed_CTRS_2014/plus1.xml YES 2.4 / 1.6 YES 0.0 / 0.0
TRS_Conditional/Mixed_CTRS_2014/sche128.xml YES 3.0 / 6.9 YES 0.1 / 0.4