floats_CVC4,1.5_WP.oracle 7.57 KB