The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for LinearBitvectorRankingFunction family
Download (31755.35 Kb)
Submitter:
Christoph Wintersteiger
Suite:
Wintersteiger
Domain:
Formal Verification
Description:
Linear bitvector ranking function checks, as described in "Christoph M. Wintersteiger, Youssef Hamadi, Leonardo de Moura. Efficiently Solving Quantified Bit-Vector Formulas. Proceedings of FMCAD 2010"
Number of instances:
60
Results:
2020 - Track 1
2019 - Track 1
2018 - Track 1
2018 - Track 2
2018 - Track 5
2017 - Track 1
2017 - Track 2
2016 - Track 1
2016 - Track 2
2016 - Track 5
2016 - Track 6
2016 - Track 7
Instances:
1394diag_ioctl.c
1394diag_isochapi.c
audio_ac97_common.cpp
audio_ac97_rtstream.cpp
audio_ac97_wavepcistream.cpp
audio_ac97_wavepcistream2.cpp
audio_ac97_wavepcistream3.cpp
audio_ddksynth_csynth.cpp
audio_ddksynth_csynth2.cpp
audio_ddksynth_voice.cpp
audio_dmusuart_mpu.cpp
audio_fmsynth_miniport.cpp
audio_fmsynth_miniport2.cpp
audio_gfxswap.xp_filter.cpp
audio_sysfx_swap.cpp
AVStream_hwsim.cpp
AVStream_image.cpp
filesys_cdfs_allocsup.c
filesys_cdfs_cddata.c
filesys_cdfs_namesup.c
filesys_cdfs_namesup2.c
filesys_fastfat_allocsup.c
filesys_fastfat_cachesup.c
filesys_fastfat_easup.c
filesys_fastfat_write.c
filesys_filter_namelookup.c
filesys_smbmrx_cvsndrcv.c
filesys_smbmrx_midatlas.c
filesys_smbmrx_smbxchng.c
general_pcidrv_sys_hw_eeprom.c
general_pcidrv_sys_hw_eeprom2.c
general_toaster_exe_notify_notify.c
hid_firefly_app_firefly.cpp
hid_hclient_ecdisp.c
input_mouser_cseries.c
input_mouser_detect.c
input_pnpi8042_moudep.c
ir_smscir_io.c
kernel_agplib_init.c
kernel_agplib_intrface.c
kernel_uagp35_gart.c
kmdf_AMCC5933_sys_S5933DK1.c
kmdf_osrusbfx2_exe_dump.c
kmdf_osrusbfx2_exe_testapp.c
kmdf_pcidrv_sys_hw_nic_init.c
kmdf_pcidrv_sys_hw_physet.c
kmdf_usbsamp_sys_queue.c
mmedia_gsm610_gsm610.c
mmedia_gsm610_gsm6102.c
mmedia_gsm610_gsm6103.c
mmedia_imaadpcm_imaadpcm.c
network_irda_miniport_nscirda_comm.c
network_irda_miniport_nscirda_settings.c
network_ndis_coisdn_TpiParam.c
network_ndis_e100bex_5x_kd_mp_dbg.c
network_ndis_rtlnwifi_extsta_st_aplst.c
network_ndis_rtlnwifi_extsta_st_misc.c
network_ndis_rtlnwifi_hw_hw_ccmp.c
network_trans_sys_notify.c
network_usbnwifi_mp_util.c
Contact
|
Organization
|
Links
|
Citing QBFLIB