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