Instances of family LinearBitvectorRankingFunction solved by Caqe-bloqqer-qdo
Prenex CNF Track

InstanceResultTime
filesys_smbmrx_midatlas.cUNSAT4.49
network_trans_sys_notify.cUNSAT28.31
filesys_smbmrx_cvsndrcv.cUNSAT38.46
kmdf_osrusbfx2_exe_dump.cUNSAT90.55
kmdf_pcidrv_sys_hw_physet.cSAT453.08
audio_ddksynth_csynth2.cppFAIL900
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL900
input_pnpi8042_moudep.cFAIL900
filesys_fastfat_cachesup.cFAIL900
network_irda_miniport_nscirda_comm.cFAIL900
input_mouser_detect.cFAIL900