Overview of job-results

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

Statistics

104 pairs, 1821.0 / 1737.3 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 Compl C Integ Progr 72394
Solver AProVE c complexity CoFloCo+ ITS and C preprocessing final version tct Loopus
Scores 64 81 13 97
lexity_C_Integer/Sinn_2016/CPU2006_ApplyBndRobin.c ?/? 114.1 / 110.1  (0) ?/n^4 14.1 / 14.0  (4) . 0.1 / 0.1  (0) ?/n^4 0.1 / 0.1  (4)
Complexity_C_Integer/Sinn_2016/CPU2006_Configure.c ?/n^1 14.4 / 14.4  (4) ?/n^1 1.4 / 1.4  (4) . 0.1 / 0.1  (0) ?/n^2 0.1 / 0.1  (2)
Complexity_C_Integer/Sinn_2016/CPU2006_ParseFile.c . 305.8 / 300.1  (0) . 300.1 / 300.0  (0) . 1.7 / 1.0  (0) ?/n^1 0.4 / 0.4  (4)
ty_C_Integer/Sinn_2016/CPU2006_Perl_scan_vstring.c ?/n^2 36.7 / 33.2  (3) . 300.2 / 300.0  (0) . 0.1 / 0.1  (0) ?/n^1 0.2 / 0.2  (4)
ty_C_Integer/Sinn_2016/CPU2006_SingleLinkCluster.c ?/n^2 10.8 / 7.8  (4) ?/n^2 1.2 / 1.2  (4) . 0.1 / 0.1  (0) ?/n^2 0.1 / 0.1  (4)
Complexity_C_Integer/Sinn_2016/CPU2006_XNU.c ?/n^1 12.1 / 11.0  (4) ?/n^1 0.7 / 0.7  (4) . 0.1 / 0.1  (0) ?/n^1 0.1 / 0.1  (4)
lexity_C_Integer/Sinn_2016/CPU2006_analyse_other.c . 303.2 / 300.1  (0) ?/n^3 6.5 / 6.5  (4) . 0.2 / 0.1  (0) ?/n^4 0.2 / 0.2  (3)
Complexity_C_Integer/Sinn_2016/CPU2006_asctoeg.c ?/n^2 8.0 / 5.4  (4) ?/n^2 0.6 / 0.6  (4) . 0.1 / 0.0  (0) ?/n^2 0.1 / 0.1  (4)
Complexity_C_Integer/Sinn_2016/CPU2006_load_mems.c ?/n^3 11.7 / 8.5  (3) . 0.8 / 0.7  (0) . 0.1 / 0.1  (0) ?/n^1 0.1 / 0.1  (4)
mplexity_C_Integer/Sinn_2016/CPU2006_local_alloc.c ?/n^2 4.4 / 2.8  (2) ?/n^1 0.4 / 0.3  (4) ?/n^2 0.7 / 0.3  (2) ?/n^1 0.0 / 0.0  (4)
mplexity_C_Integer/Sinn_2016/CPU2006_xdr3dfcoord.c ?/n^2 16.4 / 14.8  (3) ?/n^2 2.0 / 1.9  (3) . 0.1 / 0.1  (0) ?/n^1 0.1 / 0.1  (4)
lexity_C_Integer/Sinn_2016/cBench_PackBitsEncode.c . 140.3 / 135.2  (0) . 5.0 / 5.0  (0) . 0.1 / 0.1  (0) ?/n^1 0.6 / 0.6  (4)
_C_Integer/Sinn_2016/cBench_bin_search_StepSize2.c . 33.7 / 31.0  (0) . 5.8 / 5.7  (0) . 0.1 / 0.1  (0) ?/? 0.0 / 0.0  (0)
plexity_C_Integer/Sinn_2016/cBench_cf_decode_eol.c ?/n^2 16.1 / 15.0  (2) ?/n^1 0.8 / 0.8  (4) . 10.2 / 3.6  (0) ?/n^1 0.1 / 0.1  (4)
ty_C_Integer/Sinn_2016/cBench_cryptRandWriteFile.c ?/n^2 4.9 / 3.0  (1) ?/n^1 0.2 / 0.2  (4) ?/n^1 2.0 / 0.7  (4) ?/n^1 0.0 / 0.0  (4)
_C_Integer/Sinn_2016/cBench_encode_mcu_AC_refine.c ?/n^1 9.7 / 6.7  (4) ?/n^1 0.5 / 0.5  (4) . 0.1 / 0.1  (0) ?/n^1 0.1 / 0.1  (4)
Complexity_C_Integer/Sinn_2016/cBench_hc_compute.c ?/n^3 9.5 / 6.7  (2) ?/n^2 0.7 / 0.6  (4) . 0.1 / 0.0  (0) ?/n^2 0.1 / 0.1  (4)
exity_C_Integer/Sinn_2016/cBench_inflated_stored.c ?/n^1 12.7 / 10.4  (4) ?/n^1 0.7 / 0.7  (4) . 0.1 / 0.0  (0) ?/n^1 0.1 / 0.1  (4)
plexity_C_Integer/Sinn_2016/cBench_noiseTickSize.c ?/n^2 8.4 / 5.9  (2) ?/n^1 0.2 / 0.2  (4) . 0.1 / 0.0  (0) ?/n^1 0.0 / 0.0  (4)
Complexity_C_Integer/Sinn_2016/cBench_render_ht.c ?/n^1 4.3 / 2.5  (3) ?/n^1 0.1 / 0.1  (3) ?/n^1 0.4 / 0.2  (3) ?/n^0 0.0 / 0.0  (4)
plexity_C_Integer/Sinn_2016/cBench_s_SFD_process.c ?/n^3 22.3 / 19.7  (2) ?/n^1 0.6 / 0.5  (4) . 0.1 / 0.1  (0) ?/n^1 0.1 / 0.1  (4)
plexity_C_Integer/Sinn_2016/cBench_sendMTFValues.c ?/n^2 15.8 / 14.1  (3) ?/n^2 1.0 / 0.9  (3) . 0.1 / 0.1  (0) ?/n^1 0.2 / 0.2  (4)
Complexity_C_Integer/Sinn_2016/cBench_send_tree.c ?/n^1 10.6 / 7.4  (4) ?/n^1 0.8 / 0.8  (4) . 0.1 / 0.1  (0) ?/n^1 0.1 / 0.1  (4)
mplexity_C_Integer/Sinn_2016/cBench_set_color_ht.c ?/n^2 5.1 / 3.2  (4) ?/n^2 0.6 / 0.6  (4) . 8.3 / 2.6  (0) ?/n^2 0.0 / 0.0  (4)
Complexity_C_Integer/Sinn_2016/cBench_subsetdump.c ?/n^2 10.8 / 7.7  (2) ?/n^1 0.7 / 0.7  (4) . 0.1 / 0.1  (0) ?/n^1 0.1 / 0.1  (4)
ty_C_Integer/Sinn_2016/cBench_zwritehexstring_at.c ?/n^1 4.5 / 2.7  (4) ?/n^1 0.3 / 0.2  (4) ?/n^1 0.9 / 0.4  (4) ?/n^1 0.0 / 0.0  (4)