Overview of job-results

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

Statistics

234 pairs, 1545.0 / 939.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 Condi 17429
Solver AProVE standard f065806 muterm 5.18
Scores 84 102
TRS_Conditional/COPS/262.xml YES 3.6 / 1.5 YES 0.0 / 0.0
TRS_Conditional/COPS/263.xml YES 3.9 / 1.7 YES 0.0 / 0.0
TRS_Conditional/COPS/264.xml YES 3.4 / 1.7 YES 0.0 / 0.0
TRS_Conditional/COPS/266.xml YES 4.5 / 1.8 . 26.1 / 30.1
TRS_Conditional/COPS/267.xml YES 4.2 / 1.8 YES 0.0 / 0.0
TRS_Conditional/COPS/268.xml . 5.4 / 2.7 NO 0.1 / 0.1
TRS_Conditional/COPS/271.xml YES 3.6 / 1.6 YES 0.2 / 0.2
TRS_Conditional/COPS/272.xml YES 4.5 / 3.8 YES 0.0 / 0.0
TRS_Conditional/COPS/286.xml . 5.3 / 2.1 NO 0.3 / 0.4
TRS_Conditional/COPS/288.xml YES 3.2 / 1.5 YES 0.1 / 0.1
TRS_Conditional/COPS/289.xml . 6.7 / 2.5 . 14.6 / 15.5
TRS_Conditional/COPS/292.xml YES 3.6 / 1.6 YES 0.0 / 0.0
TRS_Conditional/COPS/293.xml . 5.1 / 2.6 NO 0.0 / 0.0
TRS_Conditional/COPS/294.xml YES 3.7 / 1.7 YES 0.0 / 0.0
TRS_Conditional/COPS/307.xml YES 3.9 / 1.7 YES 0.0 / 0.0
TRS_Conditional/COPS/308.xml YES 3.5 / 1.6 YES 0.0 / 0.0
TRS_Conditional/COPS/310.xml YES 3.9 / 1.7 YES 0.2 / 0.2
TRS_Conditional/COPS/311.xml . 12.6 / 6.6 . 9.6 / 9.9
TRS_Conditional/COPS/312.xml . 12.5 / 4.1 . 25.7 / 30.1
TRS_Conditional/COPS/315.xml YES 3.4 / 1.6 YES 0.0 / 0.0
TRS_Conditional/COPS/316.xml YES 3.7 / 1.6 YES 0.0 / 0.0
TRS_Conditional/COPS/317.xml YES 7.2 / 3.0 YES 0.0 / 0.0
TRS_Conditional/COPS/319.xml YES 3.4 / 1.5 YES 0.0 / 0.0
TRS_Conditional/COPS/321.xml YES 3.9 / 1.6 YES 0.0 / 0.0
TRS_Conditional/COPS/322.xml YES 4.0 / 1.7 YES 0.0 / 0.0
TRS_Conditional/COPS/323.xml YES 3.5 / 1.6 YES 0.0 / 0.0
TRS_Conditional/COPS/324.xml . 3.9 / 1.8 NO 2.5 / 2.5
TRS_Conditional/COPS/325.xml YES 4.1 / 2.6 YES 0.0 / 0.0
TRS_Conditional/COPS/326.xml YES 3.2 / 1.7 YES 0.0 / 0.0
TRS_Conditional/COPS/329.xml YES 5.3 / 2.1 YES 2.9 / 2.9
TRS_Conditional/COPS/330.xml . 5.0 / 2.4 . 1.1 / 2.9
TRS_Conditional/COPS/332.xml YES 6.8 / 1.6 YES 0.0 / 0.0
TRS_Conditional/COPS/333.xml YES 3.9 / 1.8 YES 0.0 / 0.0
TRS_Conditional/COPS/334.xml YES 3.9 / 1.6 YES 0.0 / 0.0
TRS_Conditional/COPS/337.xml . 86.5 / 30.0 . 26.7 / 30.0
TRS_Conditional/COPS/339.xml YES 3.6 / 1.8 YES 0.0 / 0.0
TRS_Conditional/COPS/340.xml YES 4.1 / 2.1 YES 0.0 / 0.0
TRS_Conditional/COPS/341.xml YES 4.4 / 3.5 YES 0.0 / 0.0
TRS_Conditional/COPS/342.xml . 5.8 / 2.2 . 26.8 / 30.1
TRS_Conditional/COPS/343.xml YES 3.5 / 1.6 YES 0.0 / 0.0
TRS_Conditional/COPS/344.xml YES 3.4 / 1.6 YES 0.0 / 0.0
TRS_Conditional/COPS/351.xml YES 4.3 / 2.1 YES 0.0 / 0.0
TRS_Conditional/COPS/353.xml YES 5.8 / 2.3 YES 0.3 / 0.3
TRS_Conditional/COPS/354.xml YES 3.4 / 1.7 YES 0.0 / 0.0
TRS_Conditional/COPS/355.xml . 5.0 / 2.0 NO 0.0 / 0.1
TRS_Conditional/COPS/356.xml YES 3.6 / 1.5 YES 0.0 / 0.0
TRS_Conditional/COPS/358.xml YES 3.7 / 1.6 YES 0.0 / 0.0
TRS_Conditional/COPS/359.xml YES 3.8 / 1.8 YES 0.0 / 0.0
TRS_Conditional/COPS/361.xml . 4.6 / 2.1 NO 4.7 / 4.9
TRS_Conditional/COPS/364.xml YES 3.6 / 1.6 YES 0.0 / 0.0
TRS_Conditional/COPS/365.xml YES 4.0 / 1.7 YES 0.0 / 0.0
TRS_Conditional/COPS/366.xml YES 3.7 / 1.7 YES 0.0 / 0.0
TRS_Conditional/COPS/367.xml YES 3.6 / 1.8 YES 0.0 / 0.0
TRS_Conditional/COPS/368.xml YES 3.7 / 1.8 YES 0.0 / 0.0
TRS_Conditional/COPS/369.xml YES 4.1 / 2.5 YES 0.0 / 0.0
TRS_Conditional/COPS/370.xml YES 4.6 / 1.9 YES 0.0 / 0.0
TRS_Conditional/COPS/371.xml YES 4.2 / 2.5 YES 0.0 / 0.0
TRS_Conditional/COPS/372.xml YES 6.5 / 1.7 YES 0.0 / 0.0
TRS_Conditional/COPS/373.xml YES 4.0 / 2.0 YES 0.0 / 0.0
TRS_Conditional/COPS/374.xml YES 3.4 / 1.6 YES 0.0 / 0.0
TRS_Conditional/COPS/375.xml YES 3.8 / 1.7 YES 0.0 / 0.0
TRS_Conditional/COPS/376.xml YES 3.8 / 1.7 YES 0.0 / 0.0
TRS_Conditional/COPS/377.xml YES 3.8 / 1.9 YES 0.0 / 0.0
TRS_Conditional/COPS/378.xml YES 4.8 / 2.0 YES 5.3 / 10.1
TRS_Conditional/COPS/379.xml . 5.5 / 2.2 NO 2.1 / 2.2
TRS_Conditional/COPS/380.xml YES 3.4 / 1.5 YES 0.0 / 0.0
TRS_Conditional/COPS/381.xml YES 3.8 / 2.4 YES 0.0 / 0.0
TRS_Conditional/COPS/382.xml YES 4.0 / 2.0 YES 0.0 / 0.0
TRS_Conditional/COPS/383.xml YES 3.4 / 1.6 YES 0.0 / 0.0
TRS_Conditional/COPS/384.xml YES 3.5 / 1.5 YES 0.0 / 0.0
TRS_Conditional/COPS/385.xml YES 3.6 / 1.6 YES 0.0 / 0.0
TRS_Conditional/COPS/387.xml YES 3.8 / 1.8 YES 0.0 / 0.0
TRS_Conditional/COPS/388.xml YES 3.5 / 1.6 YES 0.0 / 0.0
TRS_Conditional/COPS/389.xml . 5.6 / 2.5 NO 0.1 / 0.1
TRS_Conditional/COPS/390.xml YES 3.1 / 1.5 YES 0.0 / 0.0
TRS_Conditional/COPS/391.xml YES 3.7 / 1.6 YES 0.1 / 0.1
TRS_Conditional/COPS/403.xml YES 3.5 / 1.6 YES 0.0 / 0.0
TRS_Conditional/COPS/404.xml YES 3.9 / 1.8 YES 0.0 / 0.0
TRS_Conditional/COPS/405.xml . 83.1 / 30.1 . 26.7 / 30.0
TRS_Conditional/COPS/406.xml YES 3.8 / 1.9 YES 0.0 / 0.0
TRS_Conditional/COPS/407.xml . 5.1 / 2.2 NO 0.1 / 0.2
TRS_Conditional/COPS/408.xml YES 3.8 / 1.9 YES 0.0 / 0.0
TRS_Conditional/COPS/409.xml . 4.9 / 2.4 NO 0.1 / 0.4
TRS_Conditional/COPS/410.xml YES 3.7 / 2.0 YES 0.0 / 0.0
TRS_Conditional/COPS/411.xml . 4.8 / 2.9 NO 0.1 / 0.1
TRS_Conditional/Mixed_CTRS/AAECC-ring-cond.xml . 62.4 / 30.1 . 29.8 / 30.1
TRS_Conditional/Mixed_CTRS/AAECCcond.xml YES 66.1 / 25.4 . 29.7 / 30.0
TRS_Conditional/Mixed_CTRS/fib.xml YES 3.8 / 1.7 YES 0.1 / 0.1
TRS_Conditional/Mixed_CTRS/gcd.xml YES 4.9 / 2.1 YES 1.0 / 1.0
TRS_Conditional/Mixed_CTRS/quick.xml YES 5.3 / 2.2 YES 0.1 / 0.1
TRS_Conditional/Mixed_CTRS/quicksort.xml YES 4.9 / 2.0 YES 2.8 / 2.8
TRS_Conditional/Mixed_CTRS/quotrem.xml YES 4.6 / 2.2 YES 0.2 / 0.2
_Conditional/Mixed_CTRS_2014/ex1-lucmes-wrla14.xml . 88.2 / 30.1 . 29.6 / 30.1
TRS_Conditional/Mixed_CTRS_2014/ex1-muterm14.xml YES 3.5 / 1.8 YES 0.0 / 0.0
_Conditional/Mixed_CTRS_2014/ex2-lucmes-wrla14.xml . 6.9 / 2.7 NO 6.6 / 6.8
TRS_Conditional/Mixed_CTRS_2014/ex2-muterm14.xml YES 3.5 / 1.6 YES 0.0 / 0.0
TRS_Conditional/Mixed_CTRS_2014/ex3-muterm14.xml . 22.9 / 12.2 NO 4.3 / 4.5
onditional/Mixed_CTRS_2014/hosc08-ex5-aecc-p46.xml . 4.8 / 1.9 YES 4.2 / 4.5
TRS_Conditional/Mixed_CTRS_2014/jlap09-ex16.xml . 4.6 / 2.6 YES 2.1 / 2.1
TRS_Conditional/Mixed_CTRS_2014/jlap09-ex17.xml . 33.9 / 13.7 YES 6.6 / 9.8
TRS_Conditional/Mixed_CTRS_2014/logic.xml YES 5.6 / 2.2 YES 11.4 / 12.4
TRS_Conditional/Mixed_CTRS_2014/lucMarMes.xml . 4.7 / 2.2 NO 0.0 / 0.1
TRS_Conditional/Mixed_CTRS_2014/mar.xml . 75.4 / 30.0 . 20.7 / 30.1
TRS_Conditional/Mixed_CTRS_2014/mar_simple1.xml . 38.9 / 11.5 . 29.9 / 30.1
TRS_Conditional/Mixed_CTRS_2014/mar_simple2.xml . 85.1 / 30.1 . 27.0 / 30.0
TRS_Conditional/Mixed_CTRS_2014/minus1.xml YES 3.5 / 1.6 YES 0.0 / 0.0
TRS_Conditional/Mixed_CTRS_2014/ohl.xml . 4.2 / 1.8 YES 2.2 / 2.3
TRS_Conditional/Mixed_CTRS_2014/ohl190.xml YES 3.7 / 1.7 YES 0.0 / 0.1
TRS_Conditional/Mixed_CTRS_2014/ohl194.xml YES 6.7 / 5.7 . 29.8 / 30.0
TRS_Conditional/Mixed_CTRS_2014/ohl196.xml YES 4.4 / 6.5 YES 0.0 / 0.0
TRS_Conditional/Mixed_CTRS_2014/ohl206.xml YES 3.7 / 1.9 YES 0.0 / 0.0
TRS_Conditional/Mixed_CTRS_2014/ohl211.xml . 9.2 / 3.5 YES 2.3 / 2.4
TRS_Conditional/Mixed_CTRS_2014/ohl216.xml YES 4.1 / 2.4 YES 0.0 / 0.0
TRS_Conditional/Mixed_CTRS_2014/ohl228.xml . 7.6 / 4.1 NO 4.4 / 4.6
TRS_Conditional/Mixed_CTRS_2014/ohl230.xml . 5.0 / 2.1 NO 0.2 / 0.4
TRS_Conditional/Mixed_CTRS_2014/plus1.xml YES 3.5 / 1.5 YES 0.0 / 0.2
TRS_Conditional/Mixed_CTRS_2014/sche128.xml YES 3.8 / 1.7 YES 0.2 / 0.2