Instances of family LinearBitvectorRankingFunction solved by depqbf-v2
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
input_pnpi8042_moudep.cFAIL592.02
input_mouser_cseries.cFAIL592.12
kernel_agplib_intrface.cFAIL592.22
hid_hclient_ecdisp.cFAIL592.52
filesys_smbmrx_cvsndrcv.cFAIL592.62
network_irda_miniport_nscirda_settings.cFAIL592.72
network_irda_miniport_nscirda_comm.cFAIL593.12
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL593.22
network_trans_sys_notify.cFAIL593.22
audio_ddksynth_csynth2.cppFAIL593.52