Sota solver results for family LinearBitvectorRankingFunction
QBFEVAL'19 - Prenex CNF Track


InstanceSolverResultTime
audio_ddksynth_csynth2.cppGhostQ___plain_pcnf_2019SAT35.09
filesys_fastfat_cachesup.ccaqe-preSAT11.91
filesys_smbmrx_cvsndrcv.ccaqe-preUNSAT9.91
filesys_smbmrx_midatlas.ccaqe-preUNSAT1.89
input_mouser_detect.cCaqe-hqspreSAT8.16
kmdf_osrusbfx2_exe_dump.ccaqe-preUNSAT30.97
kmdf_pcidrv_sys_hw_physet.cCaqe-hqspreSAT1.29
network_trans_sys_notify.cCaqe-hqspreUNSAT12.63