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

InstanceResultTime
filesys_smbmrx_cvsndrcv.cFAIL306.92
audio_ddksynth_csynth2.cppFAIL334.24
network_irda_miniport_nscirda_comm.cFAIL356.82
input_pnpi8042_moudep.cFAIL502.62
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL525.22