Instances of family LinearBitvectorRankingFunction solved by ghostq-plain
QBFEVAL'17 - Prenex non-CNF Track

InstanceResultTime
audio_ddksynth_csynth2.cppFAIL900
filesys_smbmrx_cvsndrcv.cFAIL900
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL900
input_pnpi8042_moudep.cFAIL900
network_irda_miniport_nscirda_comm.cFAIL900