Instances of family LinearBitvectorRankingFunction solved by iprover-QBF
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
filesys_smbmrx_cvsndrcv.cFAIL599.12
input_pnpi8042_moudep.cFAIL599.12
audio_ddksynth_csynth2.cppFAIL599.22
network_irda_miniport_nscirda_settings.cFAIL599.22
kernel_agplib_intrface.cFAIL599.22
input_mouser_cseries.cFAIL599.22
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL599.22
hid_hclient_ecdisp.cFAIL599.22
network_trans_sys_notify.cFAIL599.22
network_irda_miniport_nscirda_comm.cFAIL599.32