Instances of family LinearBitvectorRankingFunction solved by xb-bid-qsts
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
kernel_agplib_intrface.cSAT50.02
hid_hclient_ecdisp.cSAT52.04
input_mouser_cseries.cSAT61.8
network_irda_miniport_nscirda_settings.cSAT64.2
filesys_smbmrx_cvsndrcv.cSAT64.54
network_irda_miniport_nscirda_comm.cFAIL599.61
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL599.61
input_pnpi8042_moudep.cFAIL599.61
network_trans_sys_notify.cFAIL599.61
audio_ddksynth_csynth2.cppFAIL599.72