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

InstanceResultTime
audio_ddksynth_csynth2.cppFAIL599.71
kernel_agplib_intrface.cFAIL599.71
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL599.71
input_pnpi8042_moudep.cFAIL599.71
hid_hclient_ecdisp.cFAIL599.71
network_irda_miniport_nscirda_comm.cFAIL599.71
network_irda_miniport_nscirda_settings.cFAIL599.81
filesys_smbmrx_cvsndrcv.cFAIL599.81
input_mouser_cseries.cFAIL599.81
network_trans_sys_notify.cFAIL599.81