| Test Name | Output | No. of Rounds | Status | Run Time | ||
|---|---|---|---|---|---|---|
| /bat0/stac/Code/WALi-Sandbox/WALi-OpenNWA/Examples/cprover/tests/c4b_print_hull | ||||||
| PH_gcd.c | Output | 1 | NORMAL | 0.404 | ||
| PH_kmp.c | Output | 1 | NORMAL | 0.75 | ||
| PH_qsort.c | Output | 7 | NORMAL | 0.947 | ||
| PH_speed_pldi09_fig1.c | Output | 1 | NORMAL | 0.453 | ||
| PH_speed_pldi09_fig4_2.c | Output | 3 | NORMAL | 0.522 | ||
| PH_speed_pldi09_fig4_4.c | Output | 1 | NORMAL | 0.454 | ||
| PH_speed_pldi09_fig4_5.c | Output | EXCEPTION | UNKNOWN | 0.024 | ||
| PH_speed_pldi10_ex1.c | Output | 1 | NORMAL | 1.237 | ||
| PH_speed_pldi10_ex3.c | Output | 1 | NORMAL | 0.471 | ||
| PH_speed_pldi10_ex4.c | Output | 1 | NORMAL | 0.476 | ||
| PH_speed_popl10_fig2_1.c | Output | 1 | NORMAL | 0.443 | ||
| PH_speed_popl10_fig2_2.c | Output | 1 | NORMAL | 0.358 | ||
| PH_speed_popl10_nested_multiple.c | Output | 1 | NORMAL | 0.523 | ||
| PH_speed_popl10_nested_single.c | Output | 1 | NORMAL | 0.561 | ||
| PH_speed_popl10_sequential_single.c | Output | 1 | NORMAL | 0.425 | ||
| PH_speed_popl10_simple_multiple.c | Output | 1 | NORMAL | 0.459 | ||
| PH_speed_popl10_simple_single_2.c | Output | 1 | NORMAL | 0.521 | ||
| PH_speed_popl10_simple_single.c | Output | 1 | NORMAL | 0.377 | ||
| PH_t07.c | Output | 1 | NORMAL | 0.427 | ||
| PH_t08.c | Output | 1 | NORMAL | 0.406 | ||
| PH_t09.c | Output | 1 | NORMAL | 0.388 | ||
| PH_t10.c | Output | 1 | NORMAL | 0.367 | ||
| PH_t11.c | Output | 1 | NORMAL | 0.455 | ||
| PH_t13.c | Output | 1 | NORMAL | 0.494 | ||
| PH_t15.c | Output | 1 | NORMAL | 0.438 | ||
| PH_t16.c | Output | 1 | NORMAL | 0.492 | ||
| PH_t19.c | Output | 1 | NORMAL | 0.403 | ||
| PH_t20.c | Output | 1 | NORMAL | 0.409 | ||
| PH_t27.c | Output | 1 | TIMEOUT | 1200.005 | ||
| PH_t28.c | Output | 1 | NORMAL | 0.439 | ||
| PH_t30.c | Output | 1 | TIMEOUT | 1200.01 | ||
| PH_t37.c | Output | 2 | NORMAL | 0.567 | ||
| PH_t39.c | Output | 2 | NORMAL | 0.552 | ||
| PH_t46.c | Output | 1 | NORMAL | 0.443 | ||
| PH_t47.c | Output | 1 | NORMAL | 0.43 | ||
| /bat0/stac/Code/WALi-Sandbox/WALi-OpenNWA/Examples/cprover/tests/STAC/polynomial/PH | ||||||
| PH_degree1_monomial.c | Output | 1 | NORMAL | 0.38 | ||
| PH_degree2_binomial.c | Output | 1 | NORMAL | 0.584 | ||
| PH_degree2_monomial.c | Output | 1 | NORMAL | 0.474 | ||
| PH_degree3_binomial.c | Output | 1 | NORMAL | 1.065 | ||
| PH_degree3_monomial.c | Output | 1 | TIMEOUT | 1200.005 | ||
| PH_degree4_binomial.c | Output | 1 | NORMAL | 2.003 | ||
| PH_degree4_monomial.c | Output | 1 | TIMEOUT | 1200.005 | ||
| PH_degree5_binomial.c | Output | 1 | TIMEOUT | 1200.005 | ||
| PH_degree5_monomial.c | Output | 1 | TIMEOUT | 1200.006 | ||
| /bat0/stac/Code/WALi-Sandbox/WALi-OpenNWA/Examples/cprover/tests/STAC/canonical | ||||||
| category1_not_vulnerable.c | Output | 1 | NORMAL | 0.576 | ||
| category1_vulnerable.c | Output | 1 | NORMAL | 0.64 | ||
| category2_vulnerable.c | Output | 1 | NORMAL | 0.465 | ||
| category3_not_vulnerable.c | Output | EXCEPTION | UNKNOWN | 0.507 | ||
| category3_vulnerable.c | Output | EXCEPTION | UNKNOWN | 0.497 | ||
| category7_vulnerable.c | Output | 1 | NORMAL | 0.409 | ||
| category7_vulnerable__without_pointers.c | Output | 1 | NORMAL | 0.388 | ||
| category8_vulnerable.c | Output | 4 | TIMEOUT | 1200.005 | ||
| category9_vulnerable.c | Output | 1 | NORMAL | 0.426 | ||
| /bat0/stac/Code/WALi-Sandbox/WALi-OpenNWA/Examples/cprover/tests/STAC/E3Model | ||||||
| loop_with_preamble_A_1.c | Output | 1 | NORMAL | 0.368 | ||
| loop_with_preamble_A_2.c | Output | 1 | NORMAL | 0.372 | ||
| loop_with_preamble_B_1.c | Output | 1 | NORMAL | 0.378 | ||
| loop_with_preamble_B_2.c | Output | 1 | NORMAL | 0.36 | ||
| Model_1.c | Output | 1 | NORMAL | 1.958 | ||
| Model_2.c | Output | 1 | NORMAL | 1.657 | ||
| Model_3.c | Output | 1 | NORMAL | 1.796 | ||
| /bat0/stac/Code/WALi-Sandbox/WALi-OpenNWA/Examples/cprover/tests/PrintHullRegressions | ||||||
| /bat0/stac/Code/WALi-Sandbox/WALi-OpenNWA/Examples/cprover/tests/strings_numeric_PH | ||||||
| binval_example_1.c | Output | 1 | NORMAL | 0.358 | ||
| binval_example_6.c | Output | 1 | NORMAL | 0.548 | ||
| binval_example_7.c | Output | 1 | NORMAL | 0.67 | ||
| binval_example_8.c | Output | 1 | NORMAL | 0.608 | ||
| four_regions_1_time.c | Output | 1 | NORMAL | 0.351 | ||
| four_regions_1_time_mod.c | Output | 1 | NORMAL | 0.362 | ||
| four_regions_2_times_mod.c | Output | 1 | NORMAL | 0.445 | ||
| four_regions_2_times_no_mod.c | Output | 1 | NORMAL | 0.437 | ||
| four_regions_4_times_loop_no_mod.c | Output | TIMEOUT | UNKNOWN | 1200.004 | ||
| four_regions_4_times_no_loop_no_mod.c | Output | 1 | NORMAL | 1.764 | ||