TRUE Benchmarks
| Benchmark | Result (pk) | Time (in seconds) | Result (box) | Time (in seconds) |
| terminator_03_true-unreach-label_true-termination.c | TRUE | 0.05 | TRUE | 0.06 |
| trex04_true-unreach-label_false-termination.c | TRUE | 0.06 | TRUE | 0.06 |
| matrix_true-unreach-label_true-termination.c | UNKNOWN | 0.09 | UNKNOWN | 0.08 |
| eureka_01_true-unreach-label.c | UNKNOWN | 0.14 | UNKNOWN | 0.17 |
| string_true-unreach-label.c | TRUE | 0.17 | TRUE | 0.14 |
| sum04_true-unreach-label_true-termination.c | TRUE | 0.06 | UNKNOWN | 0.06 |
| veris.c_NetBSD-libc__loop_true-unreach-label.c | UNKNOWN | 0.05 | UNKNOWN | 0.05 |
| insertion_sort_true-unreach-label.c | UNKNOWN | 0.12 | UNKNOWN | 0.09 |
| linear_sea.ch_true-unreach-label.c | UNKNOWN | 0.07 | UNKNOWN | 0.09 |
| count_up_down_true-unreach-label_true-termination.c | UNKNOWN | 0.05 | UNKNOWN | 0.10 |
| while_infinite_loop_3_true-unreach-label_false-termination.c | TRUE | 0.05 | TRUE | 0.05 |
| n.c24_true-unreach-label.c | UNKNOWN | 0.17 | UNKNOWN | 0.16 |
| for_infinite_loop_2_true-unreach-label_false-termination.c | TRUE | 0.05 | TRUE | 0.11 |
| bubble_sort_true-unreach-label.c | TRUE | 0.02 | TRUE | 0.06 |
| heavy_true-unreach-label.c | TRUE | 0.14 | TRUE | 0.24 |
| nec40_true-unreach-label.c | UNKNOWN | 0.06 | UNKNOWN | 0.06 |
| while_infinite_loop_2_true-unreach-label_false-termination.c | TRUE | 0.04 | TRUE | 0.06 |
| invert_string_true-unreach-label.c | UNKNOWN | 0.08 | UNKNOWN | 0.09 |
| eureka_05_true-unreach-label.c | UNKNOWN | 0.12 | UNKNOWN | 0.20 |
| trex03_true-unreach-label.c | TRUE | 0.07 | TRUE | 0.09 |
| array_true-unreach-label.c | UNKNOWN | 0.06 | UNKNOWN | 0.05 |
| terminator_02_true-unreach-label_true-termination.c | TRUE | 0.05 | TRUE | 0.06 |
| lu.cmp_true-unreach-label.c | TRUE | 0.37 | UNKNOWN | 0.36 |
| sum01_true-unreach-label_true-termination.c | UNKNOWN | 0.07 | UNKNOWN | 0.06 |
| while_infinite_loop_1_true-unreach-label_false-termination.c | TRUE | 0.05 | TRUE | 0.05 |
| for_infinite_loop_1_true-unreach-label_false-termination.c | TRUE | 0.05 | TRUE | 0.09 |
| sum_array_true-unreach-label.c | UNKNOWN | 0.09 | UNKNOWN | 0.12 |
| n.c11_true-unreach-label.c | UNKNOWN | 0.07 | UNKNOWN | 0.06 |
| sum03_true-unreach-label_false-termination.c | TRUE | 0.06 | UNKNOWN | 0.06 |
| veris.c_sendmail__tTflag_arr_one_loop_true-unreach-label.c | TRUE | 0.05 | TRUE | 0.06 |
| trex02_true-unreach-label_true-termination.c | TRUE | 0.05 | TRUE | 0.05 |
| vogal_true-unreach-label.c | UNKNOWN | 0.17 | UNKNOWN | 0.20 |
| n.c40_true-unreach-label.c | UNKNOWN | 0.06 | UNKNOWN | 0.06 |
| veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-label.c | TRUE | 0.01 | TRUE | 0.02 |
| trex01_true-unreach-label.c | TRUE | 0.02 | TRUE | 0.02 |
FALSE Benchmarks
| Benchmark | Result (pk) | Time (in seconds) | Result (box) | Time (in seconds) |
| bubble_sort_false-unreach-label.c | UNKNOWN | 0.63 | UNKNOWN | 0.43 |
| matrix_false-unreach-label_true-termination.c | UNKNOWN | 0.11 | UNKNOWN | 0.14 |
| nec20_false-unreach-label.c | UNKNOWN | 0.07 | UNKNOWN | 0.08 |
| heavy_false-unreach-label.c | UNKNOWN | 0.16 | UNKNOWN | 0.23 |
| sum04_false-unreach-label_true-termination.c | UNKNOWN | 0.07 | UNKNOWN | 0.06 |
| array_false-unreach-label.c | UNKNOWN | 0.05 | UNKNOWN | 0.08 |
| invert_string_false-unreach-label.c | UNKNOWN | 0.09 | UNKNOWN | 0.08 |
| count_up_down_false-unreach-label_true-termination.c | UNKNOWN | 0.06 | UNKNOWN | 0.13 |
| trex01_false-unreach-label_true-termination.c | UNKNOWN | 0.04 | UNKNOWN | 0.05 |
| insertion_sort_false-unreach-label.c | UNKNOWN | 0.13 | UNKNOWN | 0.11 |
| terminator_03_false-unreach-label_true-termination.c | UNKNOWN | 0.06 | UNKNOWN | 0.07 |
| sum01_bug02_false-unreach-label_true-termination.c | UNKNOWN | 0.07 | UNKNOWN | 0.05 |
| sum03_false-unreach-label_true-termination.c | UNKNOWN | 0.07 | UNKNOWN | 0.07 |
| while_infinite_loop_4_false-unreach-label_true-termination.c | UNKNOWN | 0.05 | UNKNOWN | 0.05 |
| trex02_false-unreach-label_true-termination.c | UNKNOWN | 0.05 | UNKNOWN | 0.05 |
| trex03_false-unreach-label_true-termination.c | UNKNOWN | 0.06 | UNKNOWN | 0.05 |
| verisec_NetBSD-libc__loop_false-unreach-label.c | UNKNOWN | 0.05 | UNKNOWN | 0.06 |
| nec11_false-unreach-label.c | UNKNOWN | 0.06 | UNKNOWN | 0.05 |
| ludcmp_false-unreach-label.c | UNKNOWN | 0.18 | UNKNOWN | 0.22 |
| sum_array_false-unreach-label.c | UNKNOWN | 0.09 | UNKNOWN | 0.09 |
| linear_search_false-unreach-label.c | UNKNOWN | 0.07 | UNKNOWN | 0.10 |
| compact_false-unreach-label.c | UNKNOWN | 0.09 | UNKNOWN | 0.08 |
| for_bounded_loop1_false-unreach-label_true-termination.c | UNKNOWN | 0.09 | UNKNOWN | 0.15 |
| terminator_01_false-unreach-label_false-termination.c | UNKNOWN | 0.05 | UNKNOWN | 0.05 |
| verisec_sendmail__tTflag_arr_one_loop_false-unreach-label.c | TRUE | 0.05 | TRUE | 0.06 |
| terminator_02_false-unreach-label_true-termination.c | UNKNOWN | 0.04 | UNKNOWN | 0.05 |
| string_false-unreach-label.c | UNKNOWN | 0.19 | UNKNOWN | 0.15 |
| eureka_01_false-unreach-label.c | UNKNOWN | 0.18 | UNKNOWN | 0.26 |
| vogal_false-unreach-label.c | UNKNOWN | 0.18 | UNKNOWN | 0.17 |
| sum01_false-unreach-label_true-termination.c | UNKNOWN | 0.06 | UNKNOWN | 0.07 |
| verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-label.c | UNKNOWN | 0.12 | UNKNOWN | 0.12 |
| sum01_bug02_sum01_bug02_base.case_false-unreach-label_true-termination.c | UNKNOWN | 0.08 | UNKNOWN | 0.07 |
TOTAL POINTS: 30
TOTAL TIME (box): 0.0
TOTAL TIME (pk): 0.0