floats_CVC4,1.5.oracle 2.61 KB