Tool AProVE FuncTion T2 Tan UltimateCommandline
Limits timelimit: 900 s, memlimit: 15360 MB, CPU core limit: 8
OS Linux 3.2.0-58-generic x86_64
System CPU: Intel Core i7-2600 CPU @ 3.40GHz with 8 cores, frequency: 3401 MHz; RAM: 32827636 kB
Date of execution 14-01-15 15:46 14-01-15 15:41 14-01-16 12:47 14-01-16 12:48
Options ${logfile_path}/${rundefinition_name}.${sourcefile_name}.proof ../../../../sv-benchmarks/c/PropertyTermination.prp -x ${logfile_path}/${rundefinition_name}.${sourcefile_name}.cex ../../../../sv-benchmarks/c/PropertyTermination.prp ../../../../sv-benchmarks/c/PropertyTermination.prp ${logfile_path}/${rundefinition_name}.${sourcefile_name}_errorpath.txt
../../sv-benchmarks/c/ status time(s) memory(MB) status time(s) memory(MB) status time(s) memory(MB) status time(s) memory(MB) status time(s) memory(MB)
locks/test_locks_10_true-unreach-label.c unknown 1.7  120   unknown 0.09 1.00 unknown 20    180   timeout 900    27   timeout 920    9100  
locks/test_locks_11_true-unreach-label_false-termination.c unknown 1.7  120   unknown 0.09 1.00 error(aborted) 23    200   timeout 900    28   false(termination) 850    8700  
locks/test_locks_12_true-unreach-label_false-termination.c unknown 1.7  120   unknown 0.08 1.00 unknown 21    200   timeout 900    29   false(termination) 230    5200  
locks/test_locks_13_true-unreach-label.c unknown 1.8  120   unknown 0.10 1.00 unknown 21    220   timeout 900    30   timeout 920    10000  
locks/test_locks_14_false-unreach-label.c unknown 1.8  120   unknown 0.10 1.00 unknown 22    210   timeout 900    31   timeout 920    10000  
locks/test_locks_14_true-unreach-label.c unknown 1.7  120   unknown 0.08 1.00 unknown 22    200   timeout 900    31   timeout 920    9500  
locks/test_locks_15_false-unreach-label.c unknown 1.8  120   unknown 0.08 1.00 unknown 20    230   timeout 900    31   timeout 920    10000  
locks/test_locks_15_true-unreach-label_false-termination.c unknown 1.8  120   unknown 0.08 1.00 unknown 21    210   timeout 900    31   false(termination) 280    5500  
locks/test_locks_5_true-unreach-label_false-termination.c unknown 1.6  110   unknown 0.09 1.00 error(segfault) 9.9  85   false(termination) 550    22   false(termination) 98    4200  
locks/test_locks_6_true-unreach-label_false-termination.c unknown 1.6  110   unknown 0.07 1.00 error(segfault) 12    96   timeout 900    23   false(termination) 36    1600  
locks/test_locks_7_true-unreach-label_false-termination.c unknown 1.6  110   unknown 0.08 1.00 error(aborted) 13    100   timeout 900    25   false(termination) 41    1700  
locks/test_locks_8_true-unreach-label_false-termination.c unknown 1.6  110   unknown 0.08 1.00 error(segfault) 15    130   timeout 900    25   false(termination) 21    710  
locks/test_locks_9_true-unreach-label.c unknown 1.7  120   unknown 0.08 1.00 unknown 17    150   timeout 900    26   timeout 920    8600  
loops/array_false-unreach-label.i unknown 1.6  110   unknown 0.09 1.00 unknown 0.40 7.0 timeout 920    6000   unknown 2.3  99  
loops/array_true-unreach-label.i unknown 1.6  110   unknown 0.08 1.00 unknown 0.39 6.0 timeout 920    5900   unknown 2.2  100  
loops/bubble_sort_false-unreach-label.i unknown 1.8  120   unknown 0.08 1.00 unknown 1.7  7.0 timeout 900    50   unknown 2.3  100  
loops/bubble_sort_true-unreach-label.i unknown 1.6  110   unknown 0.10 1.00 error(aborted) 7.3  57   unknown 1.5  20   unknown 2.4  100  
loops/count_up_down_false-unreach-label_true-termination.i unknown 1.6  110   unknown 0.08 1.00 unknown 0.40 7.0 cegar error 2.9  22   true 2.7  130  
loops/count_up_down_true-unreach-label_true-termination.i unknown 1.6  110   unknown 0.10 1.00 unknown 0.39 7.0 cegar error 2.9  22   true 2.9  130  
loops/eureka_01_false-unreach-label.i unknown 0.27 12   unknown 0.08 1.00 unknown 0.39 7.0 unknown 13    23   unknown 2.2  100  
loops/eureka_01_true-unreach-label.i unknown 1.6  110   unknown 0.08 1.00 unknown 0.40 7.0 unknown 13    23   unknown 2.3  100  
loops/eureka_05_true-unreach-label.i unknown 1.5  110   unknown 0.09 1.00 unknown 0.43 7.0 cegar error 850    160   unknown 2.3  100  
loops/for_bounded_loop1_false-unreach-label_true-termination.i unknown 1.6  110   unknown 0.10 1.00 unknown 0.37 7.0 unknown 89    15000   true 3.9  210  
loops/for_infinite_loop_1_true-unreach-label_false-termination.i unknown 1.6  110   unknown 0.09 1.00 unknown 0.39 6.0 unknown 0.28 18   false(termination) 8.2  270  
loops/for_infinite_loop_2_true-unreach-label_false-termination.i unknown 1.7  110   unknown 0.08 1.00 unknown 0.37 6.0 unknown 0.24 18   false(termination) 8.0  270  
loops/insertion_sort_false-unreach-label.i unknown 1.6  110   unknown 0.08 1.00 unknown 0.39 6.0 cegar error 2.5  20   unknown 2.2  100  
loops/insertion_sort_true-unreach-label.i unknown 1.6  110   unknown 0.08 1.00 unknown 0.41 7.0 cegar error 2.5  20   unknown 2.5  100  
loops/invert_string_false-unreach-label.i unknown 1.6  110   unknown 0.07 1.00 unknown 0.39 7.0 unknown 0.77 20   unknown 2.3  99  
loops/invert_string_true-unreach-label.i unknown 1.6  110   unknown 0.09 1.00 unknown 0.42 6.0 cegar error 2.1  20   unknown 2.4  100  
loops/linear_sea.ch_true-unreach-label.i unknown 1.6  110   unknown 0.11 1.00 unknown 0.37 6.0 unknown 0.58 20   unknown 2.2  100  
loops/linear_search_false-unreach-label.i unknown 1.5  110   unknown 0.11 1.00 unknown 0.40 7.0 unknown 0.75 20   unknown 2.3  100  
loops/lu.cmp_true-unreach-label.i unknown 0.37 12   unknown 0.08 1.00 unknown 0.43 7.0 unknown 0.28 18   unknown 2.2  100  
loops/ludcmp_false-unreach-label.i unknown 0.24 12   unknown 0.10 1.00 unknown 0.42 7.0 unknown 0.28 18   unknown 2.3  99  
loops/matrix_false-unreach-label_true-termination.i unknown 1.6  110   unknown 0.09 1.00 true 5.0  19   unknown 0.62 20   unknown 2.2  100  
loops/matrix_true-unreach-label_true-termination.i unknown 1.6  110   unknown 0.11 1.00 true 0.82 17   unknown 2.0  21   unknown 2.3  100  
loops/n.c11_true-unreach-label.i unknown 1.6  110   unknown 0.10 1.00 unknown 19    270   cegar error 1.5  20   unknown 2.2  100  
loops/n.c24_true-unreach-label.i unknown 1.6  110   unknown 0.09 1.00 unknown 1.9  59   unknown 0.59 21   unknown 2.2  100  
loops/n.c40_true-unreach-label.i unknown 0.26 12   unknown 0.09 1.00 error(segfault) 6.1  41   unknown 1.1  21   unknown 2.3  99  
loops/nec11_false-unreach-label.i unknown 1.6  110   unknown 0.08 1.00 unknown 0.43 6.0 cegar error 1.3  20   unknown 2.4  100  
loops/nec20_false-unreach-label.i unknown 1.6  110   unknown 0.09 1.00 unknown 0.37 7.0 cegar error 3.8  22   unknown 2.2  100  
loops/nec40_true-unreach-label.i unknown 0.26 12   unknown 0.07 1.00 error(segfault) 6.1  43   unknown 1.0  21   unknown 2.8  100  
loops/s3_false-unreach-label.i unknown 1.8  120   unknown 0.08 1.00 unknown 21    150   unknown 0.31 22   unknown 2.4  120  
loops/string_false-unreach-label.i unknown 1.5  110   unknown 0.09 1.00 error(segfault) 15    120   cegar error 12    23   unknown 2.4  100  
loops/string_true-unreach-label.i unknown 1.6  110   unknown 0.09 1.00 unknown 0.47 7.0 cegar error 12    23   unknown 2.2  100  
loops/sum01_bug02_false-unreach-label_true-termination.i unknown 1.6  110   unknown 0.07 1.00 true 0.82 18   cegar error 5.8  22   true 2.8  130  
loops/sum01_bug02_sum01_bug02_base.case_false-unreach-label_true-termination.i unknown 1.6  110   unknown 0.10 1.00 true 0.78 18   cegar error 4.4  22   true 2.8  130  
loops/sum01_false-unreach-label_true-termination.i unknown 1.7  110   unknown 0.08 1.00 true 0.79 18   cegar error 3.7  20   true 2.8  130  
loops/sum01_true-unreach-label_true-termination.i unknown 1.6  110   unknown 0.08 1.00 true 0.76 17   cegar error 3.7  22   true 2.6  130  
loops/sum03_false-unreach-label_true-termination.i unknown 1.6  110   unknown 0.06 1.00 unknown 0.41 7.0 unknown 0.27 18   true 3.3  150  
loops/sum03_true-unreach-label_false-termination.i unknown 1.6  110   unknown 0.10 1.00 unknown 0.36 6.0 unknown 0.24 18   false(termination) 14    480  
loops/sum04_false-unreach-label_true-termination.i unknown 6.6  230   unknown 0.09 1.00 true 5.0  18   unknown 0.60 20   true 2.7  130  
loops/sum04_true-unreach-label_true-termination.i unknown 6.7  260   unknown 0.08 1.00 true 0.83 17   unknown 0.77 21   true 2.7  130  
loops/sum_array_false-unreach-label.i unknown 1.5  110   unknown 0.08 1.00 unknown 0.44 6.0 unknown 1.0  20   unknown 2.3  100  
loops/sum_array_true-unreach-label.i unknown 1.5  110   unknown 0.07 1.00 unknown 0.42 7.0 unknown 1.1  20   unknown 2.3  99  
loops/terminator_01_false-unreach-label_false-termination.i unknown 1.7  110   unknown 0.09 1.00 error(aborted) 5.6  32   false(termination) 0.32 18   unknown 2.2  100  
loops/terminator_02_false-unreach-label_true-termination.i unknown 1.6  110   unknown 0.09 1.00 true 5.0  18   timeout 920    41   true 2.9  140  
loops/terminator_02_true-unreach-label_true-termination.i unknown 1.6  110   unknown 0.09 1.00 true 5.0  18   timeout 920    40   true 2.8  140  
loops/terminator_03_false-unreach-label_true-termination.i unknown 1.6  110   unknown 0.08 1.00 true 0.92 17   cegar error 2.5  20   true 3.0  140  
loops/terminator_03_true-unreach-label_true-termination.i unknown 1.6  110   unknown 0.08 1.00 true 1.00 17   cegar error 2.5  20   true 3.4  140  
loops/trex01_false-unreach-label_true-termination.i unknown 0.26 12   unknown 0.08 1.00 unknown 0.42 7.0 cegar error 8.9  21   true 18    280  
loops/trex01_true-unreach-label.i unknown 0.27 12   unknown 0.08 1.00 unknown 0.41 7.0 cegar error 8.9  22   unknown 13    280  
loops/trex02_false-unreach-label_true-termination.i unknown 1.6  110   unknown 0.08 1.00 unknown 0.37 7.0 unknown 0.74 19   true 2.7  130  
loops/trex02_true-unreach-label_true-termination.i unknown 1.7  110   unknown 0.08 1.00 unknown 0.40 6.0 unknown 0.59 20   true 2.8  130  
loops/trex03_false-unreach-label_true-termination.i unknown 1.6  110   unknown 0.08 1.00 true 5.0  21   cegar error 69    23   timeout 900    12000  
loops/trex03_true-unreach-label.i unknown 1.6  110   unknown 0.10 1.00 true 0.83 21   cegar error 53    21   unknown 900    12000  
loops/trex04_true-unreach-label_false-termination.i unknown 1.6  110   unknown 0.09 1.00 unknown 0.42 7.0 false(termination) 0.62 20   false(termination) 4.6  170  
loops/veris.c_NetBSD-libc__loop_true-unreach-label.i unknown 1.6  110   unknown 0.08 1.00 unknown 0.38 7.0 unknown 2.7  22   unknown 2.7  100  
loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-label.i unknown 1.5  110   unknown 0.09 1.00 error(segfault) 6.7  46   cegar error 2.8  21   unknown 2.3  100  
loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-label.i unknown 1.6  110   unknown 0.09 1.00 unknown 0.40 6.0 cegar error 39    32   unknown 2.5  100  
loops/verisec_NetBSD-libc__loop_false-unreach-label.i unknown 1.6  110   unknown 0.07 1.00 unknown 0.39 6.0 unknown 2.8  22   unknown 2.2  98  
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-label.i unknown 1.6  110   unknown 0.07 1.00 unknown 0.41 7.0 cegar error 2.9  21   unknown 2.3  110  
loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-label.i unknown 1.5  110   unknown 0.08 1.00 unknown 0.39 6.0 cegar error 61    34   unknown 2.3  100  
loops/vogal_false-unreach-label.i unknown 1.5  110   unknown 0.08 1.00 unknown 0.52 7.0 cegar error 8.8  22   unknown 2.3  99  
loops/vogal_true-unreach-label.i unknown 1.5  110   unknown 0.08 1.00 unknown 0.47 7.0 cegar error 7.2  22   unknown 2.7  98  
loops/while_infinite_loop_1_true-unreach-label_false-termination.i unknown 2.5  150   unknown 0.09 1.00 unknown 0.36 6.0 unknown 0.27 18   false(termination) 6.7  280  
loops/while_infinite_loop_2_true-unreach-label_false-termination.i unknown 2.6  150   unknown 0.09 1.00 unknown 0.38 7.0 unknown 0.25 18   false(termination) 6.8  280  
loops/while_infinite_loop_3_true-unreach-label_false-termination.i unknown 2.6  160   unknown 0.09 1.00 unknown 0.37 6.0 unknown 0.26 18   false(termination) 3.2  150  
loops/while_infinite_loop_4_false-unreach-label_true-termination.i unknown 2.6  150   unknown 0.08 1.00 unknown 0.41 6.0 unknown 0.26 18   true 2.6  120  
ntdrivers-simplified/cdaudio_simpl1_false-unreach-label_true-termination.cil.c unknown 1.8  120   unknown 0.06 1.00 timeout 900    12   true 15    97   unknown 330    1400  
ntdrivers-simplified/cdaudio_simpl1_true-unreach-label_true-termination.cil.c unknown 1.8  120   unknown 0.09 1.00 timeout 900    12   true 15    97   unknown 330    1400  
ntdrivers-simplified/diskperf_simpl1_true-unreach-label_true-termination.cil.c unknown 1.8  120   unknown 0.09 1.00 timeout 900    9.0 true 0.75 24   true 7.2  260  
ntdrivers-simplified/floppy_simpl3_false-unreach-label_true-termination.cil.c unknown 1.8  120   unknown 0.09 1.00 timeout 900    8.0 true 1.9  27   true 110    1000  
ntdrivers-simplified/floppy_simpl3_true-unreach-label_true-termination.cil.c unknown 1.8  120   unknown 0.09 1.00 timeout 900    8.0 true 1.8  27   true 100    980  
ntdrivers-simplified/floppy_simpl4_false-unreach-label_true-termination.cil.c unknown 1.8  120   unknown 0.08 1.00 timeout 900    10.0 true 1.9  39   true 150    1300  
ntdrivers-simplified/floppy_simpl4_true-unreach-label_true-termination.cil.c unknown 1.8  120   unknown 0.08 1.00 timeout 900    10.0 true 1.9  39   true 120    1300  
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-label_true-termination.cil.c unknown 1.8  110   parse error (invalid token) 0.17 1.00 timeout 900    8.0 true 0.25 17   true 4.1  210  
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-label_true-termination.cil.c unknown 1.8  110   unknown 0.07 1.00 timeout 900    8.0 true 0.26 19   true 4.5  220  
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-label_true-termination.cil.c unknown 1.8  110   parse error (invalid token) 0.10 1.00 timeout 900    8.0 true 0.29 19   true 4.5  220  
recursive/Ackermann01_true-unreach-label.c error(recursion) 2.6  200   parse error (invalid token) 0.08 1.00 unknown 17    150   unknown 0.55 18   unknown 9.4  270  
recursive/Ackermann02_false-unreach-label_false-termination.c error(recursion) 2.6  210   parse error (invalid token) 0.08 1.00 unknown 19    200   unknown 0.46 18   false(termination) 9.2  260  
recursive/Ackermann03_true-unreach-label.c error(recursion) 2.6  200   parse error (invalid token) 0.07 1.00 unknown 17    220   unknown 0.57 18   unknown 9.4  260  
recursive/Ackermann04_true-unreach-label.c error(recursion) 2.6  200   parse error (invalid token) 0.08 1.00 unknown 18    230   unknown 0.77 18   unknown 9.5  260  
recursive/Addition01_true-unreach-label_true-termination.c error(recursion) 2.4  210   parse error (invalid token) 0.08 1.00 true 1.1  29   unknown 0.58 18   true 23    460  
recursive/Addition02_false-unreach-label_false-termination.c error(recursion) 2.5  220   parse error (invalid token) 0.07 1.00 unknown 18    210   unknown 0.55 18   false(termination) 17    330  
recursive/Addition03_false-unreach-label.c error(recursion) 2.6  210   parse error (invalid token) 0.08 1.00 unknown 18    210   unknown 0.48 18   unknown 350    4100  
recursive/EvenOdd01_true-unreach-label_true-termination.c error(recursion) 2.0  140   unknown 0.07 1.00 true 6.0  35   unknown 1.4  19   unknown 10    260  
recursive/EvenOdd03_false-unreach-label_false-termination.c error(recursion) 2.0  150   unknown 0.09 1.00 error(aborted) 6.8  58   unknown 0.33 18   false(termination) 10    280  
recursive/Fibonacci01_true-unreach-label.c error(recursion) 2.0  150   parse error (invalid token) 0.07 1.00 unknown 0.37 6.0 unknown 0.58 18   timeout 900    11000  
recursive/Fibonacci02_true-unreach-label_true-termination.c error(recursion) 1.7  120   parse error (invalid token) 0.08 1.00 true 0.75 17   unknown 0.41 18   timeout 900    12000  
recursive/Fibonacci03_true-unreach-label_true-termination.c error(recursion) 1.9  130   parse error (invalid token) 0.09 1.00 true 5.0  17   unknown 0.45 18   timeout 900    12000  
recursive/Fibonacci04_false-unreach-label_true-termination.c error(recursion) 1.9  130   unknown 0.08 1.00 true 0.80 17   unknown 0.47 18   unknown 900    11000  
recursive/Fibonacci05_false-unreach-label_true-termination.c error(recursion) 1.9  130   parse error (invalid token) 0.07 1.00 true 0.78 17   unknown 0.63 18   timeout 900    12000  
recursive/McCarthy91_false-unreach-label_false-termination.c error(recursion) 1.9  140   parse error (invalid token) 0.09 1.00 unknown 19    460   unknown 0.33 18   false(termination) 3.7  150  
recursive/McCarthy91_true-unreach-label.c error(recursion) 1.9  140   parse error (invalid token) 0.08 1.00 unknown 19    460   unknown 0.48 18   unknown 900    12000  
recursive/MultCommutative_true-unreach-label_true-termination.c error(recursion) 2.5  200   parse error (invalid token) 0.10 1.00 true 1.6  31   unknown 0.56 18   unknown 12    260  
recursive/Primes_true-unreach-label.c error(recursion) 4.0  230   unknown 0.17 1.00 unknown 18    280   unknown 1.1  19   unknown 900    11000  
recursive/gcd01_true-unreach-label_true-termination.c error(recursion) 4.2  240   parse error (invalid token) 0.08 1.00 true 0.84 18   unknown 0.50 18   true 11    260  
recursive/gcd02_true-unreach-label.c error(recursion) 3.5  220   parse error (invalid token) 0.16 1.00 error(segfault) 8.9  74   unknown 0.73 19   unknown 340    3000  
recursive/recHanoi01_true-unreach-label_true-termination.c error(recursion) 2.0  160   parse error (invalid token) 0.07 1.00 true 7.2  49   timeout 900    8200   timeout 900    12000  
recursive/recHanoi02_true-unreach-label_true-termination.c error(recursion) 1.9  130   parse error (invalid token) 0.08 1.00 true 5.6  32   unknown 0.41 18   true 6.2  240  
recursive/recHanoi03_true-unreach-label_true-termination.c error(recursion) 1.9  130   parse error (invalid token) 0.09 1.00 true 1.5  31   unknown 0.58 18   true 38    620  
ssh-simplified/s3_clnt_1_false-unreach-label.cil.c unknown 67    1400   parse error (invalid token) 0.21 1.00 unknown 75    560   unknown 0.28 18   timeout 900    11000  
ssh-simplified/s3_clnt_1_true-unreach-label.cil.c unknown 68    1400   parse error (invalid token) 0.08 1.00 unknown 75    560   unknown 0.27 17   timeout 900    12000  
ssh-simplified/s3_clnt_2_false-unreach-label_true-termination.cil.c unknown 67    1100   parse error (invalid token) 0.11 1.00 unknown 73    570   unknown 0.27 18   true 33    1300  
ssh-simplified/s3_clnt_2_true-unreach-label_true-termination.cil.c unknown 67    1400   parse error (invalid token) 0.08 1.00 unknown 75    570   unknown 0.26 18   true 34    1200  
ssh-simplified/s3_clnt_3.cil_true-unreach-label_true-termination.c unknown 15    1400   unknown 0.09 1.00 unknown 46    400   unknown 0.25 17   true 380    7500  
ssh-simplified/s3_clnt_3_false-unreach-label.cil.c unknown 67    1400   parse error (invalid token) 0.10 1.00 unknown 110    630   unknown 0.40 18   unknown 2.6  120  
ssh-simplified/s3_clnt_3_true-unreach-label.cil.c unknown 67    1400   parse error (invalid token) 0.13 1.00 unknown 110    630   unknown 0.26 18   unknown 3.1  120  
ssh-simplified/s3_clnt_4_false-unreach-label.cil.c unknown 67    1400   parse error (invalid token) 0.08 1.00 unknown 73    560   unknown 0.25 18   unknown 890    11000  
ssh-simplified/s3_clnt_4_true-unreach-label.cil.c unknown 67    1400   parse error (invalid token) 0.09 1.00 unknown 72    560   unknown 0.25 18   timeout 900    11000  
ssh-simplified/s3_srvr_10_false-unreach-label.cil.c unknown 69    1400   parse error (invalid token) 0.09 1.00 unknown 0.85 9.0 unknown 9.6  29   timeout 920    9000  
ssh-simplified/s3_srvr_11_false-unreach-label.cil.c unknown 69    1400   parse error (invalid token) 0.09 1.00 unknown 0.86 10.0 cegar error 680    56   unknown 440    5600  
ssh-simplified/s3_srvr_12_false-unreach-label.cil.c unknown 70    1400   parse error (invalid token) 0.11 1.00 unknown 1.0  10.0 unknown 17    26   unknown 800    11000  
ssh-simplified/s3_srvr_13_false-unreach-label.cil.c unknown 70    1400   parse error (invalid token) 0.11 1.00 unknown 0.84 11   unknown 17    26   unknown 850    11000  
ssh-simplified/s3_srvr_14_false-unreach-label.cil.c unknown 70    1400   parse error (invalid token) 0.09 1.00 unknown 260    870   unknown 10    29   unknown 430    5800  
ssh-simplified/s3_srvr_1_false-unreach-label.cil.c unknown 70    1400   parse error (invalid token) 0.10 1.00 unknown 0.86 8.0 unknown 9.5  29   unknown 900    11000  
ssh-simplified/s3_srvr_1_true-unreach-label.cil.c unknown 1.8  120   unknown 0.09 1.00 unknown 0.82 10.0 unknown 9.7  29   unknown 2.7  110  
ssh-simplified/s3_srvr_1a_true-unreach-label.cil.c unknown 31    1500   unknown 0.08 1.00 unknown 0.45 7.0 cegar error 150    33   unknown 900    9500  
ssh-simplified/s3_srvr_1b_true-unreach-label_false-termination.cil.c unknown 11    310   unknown 0.09 1.00 unknown 18    170   cegar error 86    28   false(termination) 10    280  
ssh-simplified/s3_srvr_2_false-unreach-label.cil.c unknown 69    1400   parse error (invalid token) 0.09 1.00 unknown 150    610   unknown 9.1  28   unknown 870    8900  
ssh-simplified/s3_srvr_2_true-unreach-label.cil.c unknown 69    1400   parse error (invalid token) 0.09 1.00 unknown 150    610   unknown 9.1  28   unknown 880    8200  
ssh-simplified/s3_srvr_3_true-unreach-label.cil.c unknown 70    1100   parse error (invalid token) 0.08 1.00 unknown 150    620   unknown 9.4  28   unknown 880    8600  
ssh-simplified/s3_srvr_4_true-unreach-label.cil.c unknown 70    1400   parse error (invalid token) 0.09 1.00 unknown 150    620   unknown 9.2  28   timeout 920    9000  
ssh-simplified/s3_srvr_6_false-unreach-label.cil.c unknown 69    1400   parse error (invalid token) 0.09 1.00 unknown 360    1100   unknown 9.9  29   unknown 470    8000  
ssh-simplified/s3_srvr_6_true-unreach-label.cil.c unknown 70    1400   parse error (invalid token) 0.09 1.00 unknown 29    150   unknown 9.9  29   timeout 920    8800  
ssh-simplified/s3_srvr_7_true-unreach-label.cil.c unknown 69    1100   parse error (invalid token) 0.09 1.00 unknown 190    810   unknown 9.4  29   unknown 900    12000  
ssh-simplified/s3_srvr_8_true-unreach-label.cil.c unknown 69    1400   parse error (invalid token) 0.08 1.00 unknown 210    990   unknown 9.8  29   timeout 920    9000  
systemc/bist_cell_true-unreach-label_false-termination.cil.c unknown 3.4  220   unknown 0.08 1.00 timeout 900    7.0 unknown 13    24   false(termination) 34    1200  
systemc/kundu1_false-unreach-label_false-termination.cil.c unknown 1.7  120   unknown 0.08 1.00 error(segfault) 28    100   unknown 0.25 17   false(termination) 22    360  
systemc/kundu2_false-unreach-label_false-termination.cil.c unknown 1.7  120   unknown 0.08 1.00 error(segfault) 270    120   unknown 0.23 17   false(termination) 35    1000  
systemc/kundu_true-unreach-label_false-termination.cil.c unknown 1.8  120   unknown 0.10 1.00 error(segfault) 520    120   unknown 0.24 17   false(termination) 33    760  
systemc/mem_slave_tlm.1_true-unreach-label_false-termination.cil.c unknown 2.9  210   unknown 0.12 1.00 timeout 900    9.0 unknown 0.25 20   false(termination) 110    4900  
systemc/mem_slave_tlm.2_true-unreach-label_false-termination.cil.c unknown 2.9  210   unknown 0.10 1.00 timeout 900    9.0 unknown 0.26 20   false(termination) 100    3700  
systemc/mem_slave_tlm.3_true-unreach-label_false-termination.cil.c unknown 2.9  210   unknown 0.11 1.00 timeout 900    8.0 unknown 0.26 20   false(termination) 64    3200  
systemc/mem_slave_tlm.4_true-unreach-label_false-termination.cil.c unknown 2.9  210   unknown 0.09 1.00 timeout 900    9.0 unknown 0.25 20   false(termination) 33    760  
systemc/mem_slave_tlm.5_true-unreach-label_false-termination.cil.c unknown 2.9  210   unknown 0.08 1.00 timeout 900    9.0 unknown 0.42 20   false(termination) 46    2100  
systemc/pc_sfifo_1_false-unreach-label_false-termination.cil.c unknown 2.2  170   unknown 0.08 1.00 unknown 30    310   unknown 0.23 17   false(termination) 11    270  
systemc/pc_sfifo_1_true-unreach-label_false-termination.cil.c unknown 2.2  170   unknown 0.08 1.00 unknown 30    310   unknown 0.23 16   false(termination) 11    260  
systemc/pc_sfifo_2_false-unreach-label_false-termination.cil.c unknown 2.5  200   unknown 0.08 1.00 unknown 65    280   unknown 0.23 17   false(termination) 32    1000  
systemc/pc_sfifo_2_true-unreach-label_false-termination.cil.c unknown 2.5  200   unknown 0.08 1.00 unknown 65    340   unknown 0.23 17   false(termination) 19    280  
systemc/pc_sfifo_3_true-unreach-label_false-termination.cil.c unknown 2.7  200   unknown 0.11 1.00 error(aborted) 420    100   unknown 0.23 17   false(termination) 28    690  
systemc/pipeline_false-unreach-label_false-termination.cil.c unknown 9.4  1400   unknown 0.08 1.00 timeout 900    7.0 unknown 0.23 18   timeout 900    12000  
systemc/pipeline_true-unreach-label_false-termination.cil.c unknown 9.4  1400   unknown 0.09 1.00 timeout 900    7.0 unknown 0.23 18   timeout 900    12000  
systemc/token_ring.01_false-unreach-label_false-termination.cil.c unknown 4.0  230   parse error (invalid token) 0.09 1.00 error(segfault) 14    94   timeout 900    34   false(termination) 21    280  
systemc/token_ring.01_true-unreach-label_false-termination.cil.c unknown 3.9  230   parse error (invalid token) 0.09 1.00 error(aborted) 14    85   timeout 900    34   false(termination) 22    300  
systemc/token_ring.02_false-unreach-label_false-termination.cil.c unknown 7.4  650   parse error (invalid token) 0.08 1.00 error(aborted) 58    130   timeout 900    47   false(termination) 27    690  
systemc/token_ring.02_true-unreach-label_false-termination.cil.c unknown 7.2  630   parse error (invalid token) 0.08 1.00 error(segfault) 57    120   timeout 900    46   false(termination) 27    690  
systemc/token_ring.03_false-unreach-label_false-termination.cil.c unknown 19    1400   parse error (invalid token) 0.08 1.00 timeout 900    8.0 timeout 900    61   false(termination) 39    990  
systemc/token_ring.03_true-unreach-label_false-termination.cil.c unknown 19    1400   parse error (invalid token) 0.09 1.00 timeout 900    8.0 timeout 900    61   false(termination) 39    1000  
systemc/token_ring.04_false-unreach-label_false-termination.cil.c unknown 66    1400   parse error (invalid token) 0.11 1.00 timeout 900    8.0 timeout 900    75   false(termination) 99    4400  
systemc/token_ring.04_true-unreach-label_false-termination.cil.c unknown 66    1400   parse error (invalid token) 0.08 1.00 timeout 900    8.0 timeout 900    75   false(termination) 78    3700  
systemc/token_ring.05_false-unreach-label_false-termination.cil.c unknown 66    1400   parse error (invalid token) 0.08 1.00 timeout 900    8.0 timeout 900    91   false(termination) 180    4600  
systemc/token_ring.05_true-unreach-label_false-termination.cil.c unknown 67    1100   parse error (invalid token) 0.09 1.00 timeout 900    8.0 timeout 900    93   false(termination) 280    5300  
systemc/token_ring.06_false-unreach-label_false-termination.cil.c unknown 66    1400   parse error (invalid token) 0.09 1.00 timeout 900    8.0 timeout 910    110   unknown 430    4900  
systemc/token_ring.06_true-unreach-label_false-termination.cil.c unknown 66    1400   parse error (invalid token) 0.09 1.00 timeout 900    8.0 timeout 910    110   unknown 390    5300  
systemc/token_ring.07_false-unreach-label_false-termination.cil.c unknown 66    1400   parse error (invalid token) 0.08 1.00 timeout 900    7.0 timeout 910    130   unknown 420    5200  
systemc/token_ring.07_true-unreach-label_false-termination.cil.c unknown 66    1400   parse error (invalid token) 0.08 1.00 timeout 900    7.0 timeout 910    130   unknown 420    5200  
systemc/token_ring.08_false-unreach-label_false-termination.cil.c unknown 66    1400   parse error (invalid token) 0.08 1.00 timeout 900    7.0 timeout 910    140   unknown 430    6500  
systemc/token_ring.08_true-unreach-label_false-termination.cil.c unknown 66    1400   parse error (invalid token) 0.08 1.00 timeout 900    7.0 timeout 910    140   unknown 430    6200  
systemc/token_ring.09_false-unreach-label_false-termination.cil.c unknown 66    1400   parse error (invalid token) 0.09 1.00 timeout 900    8.0 timeout 920    170   unknown 600    5900  
systemc/token_ring.09_true-unreach-label_false-termination.cil.c unknown 66    1400   parse error (invalid token) 0.09 1.00 timeout 900    8.0 timeout 920    160   unknown 480    6200  
systemc/token_ring.10_false-unreach-label_false-termination.cil.c unknown 66    1400   parse error (invalid token) 0.10 1.00 timeout 900    9.0 timeout 920    190   unknown 450    6600  
systemc/token_ring.10_true-unreach-label_false-termination.cil.c unknown 66    1400   parse error (invalid token) 0.08 1.00 timeout 900    9.0 timeout 920    190   unknown 730    5900  
systemc/token_ring.11_false-unreach-label_false-termination.cil.c unknown 66    1400   parse error (invalid token) 0.09 1.00 timeout 900    9.0 timeout 920    220   unknown 730    7000  
systemc/token_ring.11_true-unreach-label_false-termination.cil.c unknown 66    1400   parse error (invalid token) 0.09 1.00 timeout 900    9.0 timeout 920    210   unknown 470    6500  
systemc/token_ring.12_false-unreach-label_false-termination.cil.c unknown 66    1400   parse error (invalid token) 0.09 1.00 timeout 900    9.0 timeout 920    250   unknown 760    7000  
systemc/token_ring.12_true-unreach-label_false-termination.cil.c unknown 66    1400   parse error (invalid token) 0.09 1.00 timeout 900    9.0 timeout 920    240   unknown 750    6800  
systemc/token_ring.13_false-unreach-label_false-termination.cil.c unknown 66    1400   parse error (invalid token) 0.08 1.00 timeout 900    9.0 timeout 920    290   unknown 500    6900  
systemc/token_ring.13_true-unreach-label_false-termination.cil.c unknown 66    1400   parse error (invalid token) 0.09 1.00 timeout 900    9.0 timeout 920    290   unknown 410    5700  
systemc/token_ring.14_false-unreach-label_false-termination.cil.c unknown 66    1400   parse error (invalid token) 0.10 1.00 timeout 900    9.0 timeout 920    250   unknown 460    6700  
systemc/token_ring.15_false-unreach-label_false-termination.cil.c unknown 66    1400   parse error (invalid token) 0.09 1.00 timeout 900    9.0 timeout 920    290   unknown 750    6500  
systemc/toy1_false-unreach-label_false-termination.cil.c unknown 3.5  330   unknown 0.08 1.00 timeout 900    8.0 unknown 0.32 17   false(termination) 77    3200  
systemc/toy2_false-unreach-label_false-termination.cil.c unknown 3.4  230   unknown 0.08 1.00 timeout 900    8.0 unknown 0.23 17   false(termination) 220    5500  
systemc/toy_true-unreach-label_false-termination.cil.c unknown 3.5  330   unknown 0.09 1.00 timeout 900    7.0 unknown 0.23 18   false(termination) 97    4300  
systemc/transmitter.01_false-unreach-label_false-termination.cil.c unknown 2.9  200   parse error (invalid token) 0.08 1.00 error(segfault) 12    81   timeout 900    32   false(termination) 21    290  
systemc/transmitter.02_false-unreach-label_false-termination.cil.c unknown 4.6  350   parse error (invalid token) 0.09 1.00 error(segfault) 19    100   timeout 900    44   false(termination) 25    610  
systemc/transmitter.03_false-unreach-label_false-termination.cil.c unknown 11    1400   parse error (invalid token) 0.09 1.00 unknown 140    110   timeout 900    58   false(termination) 36    1000  
systemc/transmitter.04_false-unreach-label_false-termination.cil.c unknown 38    1400   parse error (invalid token) 0.07 1.00 timeout 900    7.0 timeout 900    73   false(termination) 67    2700  
systemc/transmitter.05_false-unreach-label_false-termination.cil.c unknown 66    1400   parse error (invalid token) 0.07 1.00 timeout 900    8.0 timeout 900    91   false(termination) 150    4200  
systemc/transmitter.06_false-unreach-label_false-termination.cil.c unknown 66    1400   parse error (invalid token) 0.08 1.00 timeout 900    8.0 timeout 910    110   unknown 400    5300  
systemc/transmitter.07_false-unreach-label_false-termination.cil.c unknown 66    1400   parse error (invalid token) 0.08 1.00 timeout 900    8.0 timeout 910    120   unknown 440    5500  
systemc/transmitter.08_false-unreach-label_false-termination.cil.c unknown 66    1400   parse error (invalid token) 0.08 1.00 timeout 900    7.0 timeout 910    140   unknown 420    6100  
systemc/transmitter.09_false-unreach-label_false-termination.cil.c unknown 66    1400   parse error (invalid token) 0.10 1.00 timeout 900    8.0 timeout 920    160   unknown 620    6300  
systemc/transmitter.10_false-unreach-label_false-termination.cil.c unknown 66    1400   parse error (invalid token) 0.08 1.00 timeout 900    8.0 timeout 920    180   unknown 440    5900  
systemc/transmitter.11_false-unreach-label_false-termination.cil.c unknown 67    1100   parse error (invalid token) 0.10 1.00 timeout 900    9.0 timeout 920    200   unknown 710    5800  
systemc/transmitter.12_false-unreach-label_false-termination.cil.c unknown 67    1100   parse error (invalid token) 0.16 1.00 timeout 900    9.0 timeout 920    230   unknown 740    6900  
systemc/transmitter.13_false-unreach-label_false-termination.cil.c unknown 66    1400   parse error (invalid token) 0.05 1.00 timeout 900    9.0 timeout 920    270   unknown 750    6600  
systemc/transmitter.15_false-unreach-label_false-termination.cil.c unknown 66    1400   parse error (invalid token) 0.08 1.00 timeout 900    9.0 timeout 920    280   unknown 770    6000  
systemc/transmitter.16_false-unreach-label_false-termination.cil.c unknown 66    1400   parse error (invalid token) 0.08 1.00 timeout 900    9.0 timeout 920    310   unknown 540    7100  
../../sv-benchmarks/c/ status time(s) memory(MB) status time(s) memory(MB) status time(s) memory(MB) status time(s) memory(MB) status time(s) memory(MB)
total files 199 4100 110000 199 18 200 199 56000 21000 199 58000 46000 199 54000 680000
correct results 0 0 0 0 0 0 25 64 550 13 590 470 84 4800 110000
false negatives 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
false positives 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
score (199 files, max score: 265) 0 0 50 23 117