Instances of family LinearBitvectorRankingFunction solved by Qute_opt500
QBFEVAL'19 - Prenex CNF Track

InstanceResultTime
kmdf_pcidrv_sys_hw_physet.cFAIL1.89
audio_ddksynth_csynth2.cppFAIL6.17
filesys_smbmrx_midatlas.cFAIL8.62
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL8.67
kmdf_usbsamp_sys_queue.cFAIL30.9
filesys_smbmrx_cvsndrcv.cFAIL31.97
input_mouser_detect.cFAIL33.11
kmdf_osrusbfx2_exe_testapp.cFAIL34.83
filesys_fastfat_cachesup.cFAIL47.21
network_trans_sys_notify.cFAIL48.73
kernel_agplib_intrface.cFAIL48.83
filesys_fastfat_write.cFAIL49.12
filesys_fastfat_allocsup.cFAIL49.16
network_ndis_coisdn_TpiParam.cFAIL49.86
kmdf_osrusbfx2_exe_dump.cFAIL77.28