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