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

InstanceResultTime
input_pnpi8042_moudep.cFAIL599.71
hid_hclient_ecdisp.cFAIL599.71
network_trans_sys_notify.cFAIL599.71
network_irda_miniport_nscirda_settings.cFAIL599.71
network_irda_miniport_nscirda_comm.cFAIL599.72
kernel_agplib_intrface.cFAIL599.72
filesys_smbmrx_cvsndrcv.cFAIL599.76
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL599.82
input_mouser_cseries.cFAIL599.83
audio_ddksynth_csynth2.cppFAIL635.3