Instances of family LinearBitvectorRankingFunction solved by Caqe-hqspre
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
filesys_smbmrx_midatlas.cUNSAT1.81
kmdf_pcidrv_sys_hw_physet.cSAT4.05
input_mouser_detect.cSAT7.36
filesys_smbmrx_cvsndrcv.cUNSAT8.18
network_trans_sys_notify.cUNSAT11.59
filesys_fastfat_cachesup.cSAT13.03
kmdf_osrusbfx2_exe_dump.cUNSAT28.2
kernel_agplib_intrface.cSAT163.69
audio_ddksynth_csynth2.cppSAT255.17
filesys_fastfat_allocsup.cSAT387.66
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL900
kmdf_osrusbfx2_exe_testapp.cFAIL900
kmdf_usbsamp_sys_queue.cFAIL900.01
filesys_fastfat_write.cFAIL900.08
network_ndis_coisdn_TpiParam.cFAIL900.09