Instances of family LinearBitvectorRankingFunction solved by ijtihad_v2
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
filesys_smbmrx_midatlas.cUNSAT0.25
network_trans_sys_notify.cUNSAT0.88
filesys_smbmrx_cvsndrcv.cUNSAT0.97
filesys_fastfat_easup.cFAIL900
hid_hclient_ecdisp.cFAIL900
audio_ddksynth_csynth2.cppFAIL900
AVStream_hwsim.cppFAIL900
kernel_agplib_intrface.cFAIL900
network_irda_miniport_nscirda_comm.cFAIL900
kmdf_pcidrv_sys_hw_physet.cFAIL900
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL900
network_ndis_coisdn_TpiParam.cFAIL900
input_mouser_cseries.cFAIL900
filesys_cdfs_namesup.cFAIL900
input_mouser_detect.cFAIL900
audio_ac97_wavepcistream.cppFAIL900
filesys_cdfs_allocsup.cFAIL900
network_usbnwifi_mp_util.cFAIL900
hid_firefly_app_firefly.cppFAIL900
input_pnpi8042_moudep.cFAIL900
network_ndis_rtlnwifi_extsta_st_misc.cFAIL900
network_irda_miniport_nscirda_settings.cFAIL900
kmdf_AMCC5933_sys_S5933DK1.cFAIL900