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

InstanceResultTime
filesys_smbmrx_cvsndrcv.cUNSAT0.57
audio_ddksynth_csynth2.cppFAIL900.01
network_irda_miniport_nscirda_comm.cFAIL900.04
input_pnpi8042_moudep.cFAIL900.05
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL900.07