Index of /svcomp/c/float-benchs
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
zonotope_3.c.v+lhb-reducer.c 2020-10-19 10:01 14K
mea8000.c 2020-10-19 10:01 11K
sin_interpolated_negation.c 2020-10-19 10:01 8.2K
sin_interpolated_smallrange.c 2020-10-19 10:01 8.1K
sin_interpolated_index-1.c 2020-10-19 10:01 8.1K
sin_interpolated_index-2.c 2020-10-19 10:01 8.1K
sin_interpolated_bigrange_tight.c 2020-10-19 10:01 8.1K
sin_interpolated_bigrange_loose.c 2020-10-19 10:01 8.1K
image_filter.c 2020-10-19 10:01 7.4K
rlim_invariant.c.v+nlh-reducer.c 2020-10-19 10:01 4.3K
rlim_invariant.c.v+lhb-reducer.c 2020-10-19 10:01 3.9K
filter1.c.v+nlh-reducer.c 2020-10-19 10:01 3.4K
filter1.c.v+lhb-reducer.c 2020-10-19 10:01 3.3K
zonotope_3.c.p+cfa-reducer.c 2020-10-19 10:01 2.9K
sqrt_Householder_constant.c.p+cfa-reducer.c 2020-10-19 10:01 2.8K
inv_Newton.c.p+cfa-reducer.c 2020-10-19 10:01 2.3K
interpolation2.c.v+nlh-reducer.c 2020-10-19 10:01 2.3K
interpolation.c.v+nlh-reducer.c 2020-10-19 10:01 2.2K
rlim_invariant.c.p+cfa-reducer.c 2020-10-19 10:01 2.1K
interpolation2.c.v+cfa-reducer.c 2020-10-19 10:01 1.8K
interpolation2.c.p+cfa-reducer.c 2020-10-19 10:01 1.8K
inv_sqrt_Quake.c.v+cfa-reducer.c 2020-10-19 10:01 1.8K
filter1.c.p+cfa-reducer.c 2020-10-19 10:01 1.7K
interpolation.c.v+cfa-reducer.c 2020-10-19 10:01 1.7K
interpolation.c.p+cfa-reducer.c 2020-10-19 10:01 1.7K
sqrt_Householder_pseudoconstant.c 2020-10-19 10:01 1.7K
filter2_set.c 2020-10-19 10:01 1.6K
sqrt_Householder_interval.c 2020-10-19 10:01 1.6K
filter2_iterated.c 2020-10-19 10:01 1.5K
sqrt_Householder_constant.c 2020-10-19 10:01 1.5K
inv_Newton-2.c 2020-10-19 10:01 1.5K
zonotope_loose.c.v+cfa-reducer.c 2020-10-19 10:01 1.5K
sqrt_biNewton_pseudoconstant.c 2020-10-19 10:01 1.4K
exp_loop.c 2020-10-19 10:01 1.4K
filter_iir.c 2020-10-19 10:01 1.4K
cos_polynomial.c 2020-10-19 10:01 1.4K
bary_diverge.c 2020-10-19 10:01 1.4K
filter2_alt.c 2020-10-19 10:01 1.4K
sqrt_Newton_pseudoconstant.c 2020-10-19 10:01 1.4K
sqrt_poly2.c 2020-10-19 10:01 1.3K
filter2_reinit.c 2020-10-19 10:01 1.3K
arctan_Pade.c 2020-10-19 10:01 1.3K
inv_Newton-1.c 2020-10-19 10:01 1.2K
inv_sqrt_Quake.c 2020-10-19 10:01 1.2K
filter2.c 2020-10-19 10:01 1.2K
cast_float_union.c 2020-10-19 10:01 1.1K
Muller_Kahan.c.p+cfa-reducer.c 2020-10-19 10:01 1.1K
zonotope_3.c 2020-10-19 10:01 1.1K
feedback_diverge.c 2020-10-19 10:01 1.1K
divmul_buf_diverge.c 2020-10-19 10:01 1.1K
sqrt_poly.c 2020-10-19 10:01 1.0K
filter1.c 2020-10-19 10:01 1.0K
interpolation2.c 2020-10-19 10:01 1.0K
divmul_diverge.c 2020-10-19 10:01 1.0K
cast_union_loose.c 2020-10-19 10:01 1.0K
water_pid.c 2020-10-19 10:01 1.0K
rlim_invariant.c 2020-10-19 10:01 917
Muller_Kahan.c 2020-10-19 10:01 916
interpolation.c 2020-10-19 10:01 911
rlim_exit.c 2020-10-19 10:01 910
cast_float_ptr.c 2020-10-19 10:01 909
zonotope_2.c 2020-10-19 10:01 905
cast_union_tight.c 2020-10-19 10:01 845
zonotope_loose.c 2020-10-19 10:01 842
zonotope_tight.c 2020-10-19 10:01 840
drift_tenth.c.p+cfa-reducer.c 2020-10-19 10:01 808
inv_square-2.c 2020-10-19 10:01 752
inv_square-1.c 2020-10-19 10:01 736
float_int_inv_square.c 2020-10-19 10:01 715
inv_square_int.c 2020-10-19 10:01 709
![[ ]](/icons/unknown.gif)
float_int_inv_square.yml 2022-11-15 21:21 650
Rump_float.c 2020-10-19 10:01 616
Rump_double.c 2020-10-19 10:01 610
nan_double_range.c 2020-10-19 10:01 601
nan_float_range.c 2020-10-19 10:01 600
divmul_buf_diverge.yml 2022-11-15 21:21 587
feedback_diverge.yml 2022-11-15 21:21 583
sin_interpolated_index-1.yml 2022-11-15 21:20 580
rlim_invariant.yml 2022-11-15 21:21 579
inv_square_int.yml 2022-11-15 21:21 579
interpolation2.yml 2022-11-15 21:21 579
filter2_reinit.yml 2022-11-15 21:21 579
divmul_diverge.yml 2022-11-15 21:21 579
interpolation.yml 2022-11-15 21:21 577
bary_diverge.yml 2022-11-15 21:21 575
filter2_set.yml 2022-11-15 21:21 573
nan_float.c 2020-10-19 10:01 572
nan_double.c 2020-10-19 10:01 572
zonotope_3.yml 2022-11-15 21:21 571
rlim_exit.yml 2022-11-15 21:21 569
cast_union_tight.yml 2022-11-15 21:20 566
cast_union_loose.yml 2022-11-15 21:20 566
addsub_float_inexact.c 2020-10-19 10:01 566
filter2.yml 2022-11-15 21:21 565
filter1.yml 2022-11-15 21:21 565
addsub_float_exact.c 2020-10-19 10:01 563
cast_float_ptr.yml 2022-11-15 21:20 562
addsub_double_exact.c 2020-10-19 10:01 561
inv_square-1.yml 2022-11-15 21:20 556
nan_double.yml 2022-11-15 21:20 554
drift_tenth.c 2020-10-19 10:01 554
nan_float.yml 2022-11-15 21:20 552
loop-1.c 2020-10-19 10:01 547
sin_interpolated_bigrange_tight.yml 2022-11-15 21:20 537
sin_interpolated_bigrange_loose.yml 2022-11-15 21:20 537
sin_interpolated_index-2.yml 2022-11-15 21:20 521
rlim_invariant.c.v+nlh-reducer.yml 2022-11-15 21:21 518
rlim_invariant.c.v+lhb-reducer.yml 2022-11-15 21:21 518
rlim_invariant.c.p+cfa-reducer.yml 2022-11-15 21:21 518
interpolation2.c.v+nlh-reducer.yml 2022-11-15 21:21 518
interpolation2.c.v+cfa-reducer.yml 2022-11-15 21:21 518
interpolation2.c.p+cfa-reducer.yml 2022-11-15 21:21 518
interpolation.c.v+nlh-reducer.yml 2022-11-15 21:21 516
interpolation.c.v+cfa-reducer.yml 2022-11-15 21:21 516
interpolation.c.p+cfa-reducer.yml 2022-11-15 21:21 516
zonotope_3.c.v+lhb-reducer.yml 2022-11-15 21:21 510
zonotope_3.c.p+cfa-reducer.yml 2022-11-15 21:21 510
nan_double_range.yml 2022-11-15 21:20 507
nan_float_range.yml 2022-11-15 21:20 505
filter1.c.v+nlh-reducer.yml 2022-11-15 21:21 504
filter1.c.v+lhb-reducer.yml 2022-11-15 21:21 504
filter1.c.p+cfa-reducer.yml 2022-11-15 21:21 504
zonotope_tight.yml 2022-11-15 21:20 503
zonotope_loose.yml 2022-11-15 21:20 503
inv_sqrt_Quake.yml 2022-11-15 21:20 503
cos_polynomial.yml 2022-11-15 21:20 503
inv_square-2.yml 2022-11-15 21:20 497
arctan_Pade.yml 2022-11-15 21:20 497
sqrt_poly.yml 2022-11-15 21:20 493
inv_Newton.c.p+cfa-reducer.yml 2022-11-15 21:20 493
float_double.c 2020-10-19 10:01 489
sqrt_Householder_constant.c.p+cfa-reducer.yml 2022-11-15 21:20 464
inv_Newton-2.yml 2022-11-15 21:20 463
sqrt_poly2.yml 2022-11-15 21:20 461
sqrt_Householder_pseudoconstant.yml 2022-11-15 21:20 444
zonotope_loose.c.v+cfa-reducer.yml 2022-11-15 21:20 442
inv_sqrt_Quake.c.v+cfa-reducer.yml 2022-11-15 21:20 442
sqrt_biNewton_pseudoconstant.yml 2022-11-15 21:20 438
sin_interpolated_smallrange.yml 2022-11-15 21:20 436
sqrt_Newton_pseudoconstant.yml 2022-11-15 21:20 434
sqrt_Householder_interval.yml 2022-11-15 21:20 432
sin_interpolated_negation.yml 2022-11-15 21:20 432
cast_float_union.yml 2022-11-15 21:20 414
Muller_Kahan.yml 2022-11-15 21:21 406
image_filter.yml 2022-11-15 21:20 406
inv_Newton-1.yml 2022-11-15 21:20 404
filter2_alt.yml 2022-11-15 21:20 404
drift_tenth.yml 2022-11-15 21:21 404
zonotope_2.yml 2022-11-15 21:21 402
filter_iir.yml 2022-11-15 21:20 402
water_pid.yml 2022-11-15 21:21 400
exp_loop.yml 2022-11-15 21:20 398
addsub_float_inexact.yml 2022-11-15 21:20 346
Muller_Kahan.c.p+cfa-reducer.yml 2022-11-15 21:21 345
addsub_double_exact.yml 2022-11-15 21:20 344
drift_tenth.c.p+cfa-reducer.yml 2022-11-15 21:21 343
addsub_float_exact.yml 2022-11-15 21:20 342
Makefile 2020-11-12 18:14 341
float_double.yml 2022-11-15 21:20 330
Rump_double.yml 2022-11-15 21:20 328
Rump_float.yml 2022-11-15 21:20 326
mea8000.yml 2022-11-15 21:20 282
sqrt_Householder_constant.yml 2022-11-15 21:20 263
filter2_iterated.yml 2022-11-15 21:20 245
loop-1.yml 2022-11-15 21:20 223