Instances of family LinearBitvectorRankingFunction solved by caqe-minisat-cert
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
input_mouser_cseries.cFAIL116.75
filesys_smbmrx_cvsndrcv.cFAIL124.69
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL134.35
audio_ddksynth_csynth2.cppFAIL135
kernel_agplib_intrface.cFAIL139.76
network_irda_miniport_nscirda_comm.cFAIL144.67
input_pnpi8042_moudep.cFAIL149.75
network_irda_miniport_nscirda_settings.cFAIL153.38
network_trans_sys_notify.cFAIL157.47
hid_hclient_ecdisp.cFAIL157.7