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

InstanceResultTime
network_irda_miniport_nscirda_comm.cFAIL599.69
kernel_agplib_intrface.cFAIL599.7
filesys_smbmrx_cvsndrcv.cFAIL599.7
input_mouser_cseries.cFAIL599.72
hid_hclient_ecdisp.cFAIL599.73
network_trans_sys_notify.cFAIL599.73
network_irda_miniport_nscirda_settings.cFAIL599.73
audio_ddksynth_csynth2.cppFAIL599.79
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL599.82
input_pnpi8042_moudep.cFAIL599.82