Instances of family LinearBitvectorRankingFunction solved by PortfolioGhostQQfunQuAbSQute___pf2
QBFEVAL'18 - Prenex non-CNF Track

InstanceResultTime
audio_ddksynth_csynth2.cppFAIL6.93
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL7
input_pnpi8042_moudep.cFAIL7.02
filesys_smbmrx_cvsndrcv.cFAIL7.03
network_irda_miniport_nscirda_comm.cFAIL7.09