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

InstanceResultTime
input_mouser_cseries.cFAIL599.61
network_irda_miniport_nscirda_comm.cFAIL599.61
network_irda_miniport_nscirda_settings.cFAIL599.62
kernel_agplib_intrface.cFAIL599.62
filesys_smbmrx_cvsndrcv.cFAIL599.62
hid_hclient_ecdisp.cFAIL599.62
network_trans_sys_notify.cFAIL599.62
input_pnpi8042_moudep.cFAIL599.63
audio_ddksynth_csynth2.cppFAIL599.71
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL599.72