File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 2, character 0-22:
Warning Unknown logic AUFBVDTLIA
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 57, character 737-747:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 57, character 365-375:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 57, character 478-488:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 57, character 466-476:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 57, character 579-589:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 57, character 922-932:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 57, character 1687-1697:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 57, character 1315-1325:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 57, character 1428-1438:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 57, character 1416-1426:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 57, character 1529-1539:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 57, character 1905-1915:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 58, character 353-363:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 58, character 520-530:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 58, character 813-823:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 58, character 1036-1046:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 254-263:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 546-556:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 378-387:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 833-843:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 665-674:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 1591-1601:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 999-1008:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 1291-1301:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 1123-1132:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 1578-1588:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 1410-1419:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 1756-1765:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 2048-2058:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 1880-1889:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 2335-2345:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 2167-2176:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 2496-2505:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 2788-2798:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 2620-2629:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 3075-3085:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 2907-2916:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 3246-3255:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 3538-3548:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 3370-3379:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 3825-3835:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 3657-3666:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 4583-4593:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 3991-4000:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 4283-4293:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 4115-4124:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 4570-4580:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 4402-4411:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 4748-4757:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 5040-5050:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 4872-4881:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 5327-5337:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 5159-5168:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 5575-5584:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 5867-5877:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 5699-5708:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 6154-6164:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 5986-5995:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 6167-6186:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 6374-6383:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 6666-6676:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 6498-6507:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 6953-6963:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 6785-6794:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 6966-6976:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 7012-7031:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 7381-7390:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 7673-7683:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 7505-7514:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 7960-7970:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 7792-7801:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 8718-8728:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 8126-8135:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 8418-8428:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 8250-8259:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 8705-8715:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 8537-8546:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 8883-8892:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 9175-9185:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 9007-9016:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 9462-9472:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 9294-9303:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 9688-9697:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 9980-9990:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 9812-9821:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 10267-10277:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 10099-10108:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 11025-11035:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 10433-10442:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 10725-10735:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 10557-10566:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 11012-11022:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 10844-10853:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 11190-11199:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 11482-11492:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 11314-11323:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 11769-11779:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 11601-11610:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 12187-12196:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 12479-12489:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 12311-12320:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 12766-12776:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 12598-12607:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 12779-12798:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 13126-13135:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 13418-13428:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 13250-13259:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 13705-13715:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 13537-13546:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 59, character 13718-13728:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 142-152:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 217-227:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 253-263:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 340-349:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 447-456:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 366-375:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 617-626:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 536-545:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 870-879:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 977-986:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 896-905:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 1147-1156:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 1066-1075:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 1392-1401:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 1499-1508:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 1418-1427:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 1669-1678:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 1588-1597:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 1950-1959:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 2057-2066:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 1976-1985:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 2227-2236:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 2146-2155:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 2363-2373:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 6559-6569:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 2533-2542:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 2640-2649:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 2559-2568:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 2810-2819:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 2729-2738:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 3332-3342:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 2974-2983:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 3081-3090:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 3000-3009:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 3251-3260:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 3170-3179:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 3427-3436:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 3534-3543:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 3453-3462:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 3704-3713:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 3623-3632:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 3865-3874:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 3972-3981:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 3891-3900:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 4142-4151:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 4061-4070:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 4313-4322:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 4420-4429:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 4339-4348:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 4590-4599:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 4509-4518:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 5112-5122:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 4754-4763:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 4861-4870:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 4780-4789:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 5031-5040:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 4950-4959:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 5207-5216:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 5314-5323:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 5233-5242:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 5484-5493:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 5403-5412:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 5684-5693:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 5791-5800:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 5710-5719:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 5961-5970:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 5880-5889:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 6042-6061:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 6156-6165:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 6263-6272:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 6182-6191:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 6433-6442:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 6352-6361:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 6514-6524:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 6538-6557:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 6721-6730:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 6828-6837:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 6747-6756:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 6998-7007:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 6917-6926:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 7520-7530:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 7162-7171:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 7269-7278:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 7188-7197:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 7439-7448:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 7358-7367:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 7615-7624:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 7722-7731:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 7641-7650:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 7892-7901:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 7811-7820:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 8053-8062:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 8160-8169:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 8079-8088:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 8330-8339:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 8249-8258:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 8501-8510:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 8608-8617:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 8527-8536:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 8778-8787:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 8697-8706:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 9300-9310:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 8942-8951:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 9049-9058:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 8968-8977:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 9219-9228:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 9138-9147:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 9395-9404:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 9502-9511:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 9421-9430:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 9672-9681:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 9591-9600:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 9872-9881:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 9979-9988:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 9898-9907:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 10149-10158:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 10068-10077:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 10230-10249:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 10344-10353:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 10451-10460:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 10370-10379:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 10621-10630:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 10540-10549:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 10702-10712:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 10726-10745:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 10876-10885:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 10983-10992:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 10902-10911:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 11153-11162:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 11072-11081:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 11675-11685:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 11317-11326:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 11424-11433:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 11343-11352:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 11594-11603:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 11513-11522:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 11770-11779:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 11877-11886:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 11796-11805:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 12047-12056:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 11966-11975:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 12250-12259:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 12357-12366:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 12276-12285:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 12527-12536:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 12446-12455:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 13049-13059:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 12691-12700:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 12798-12807:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 12717-12726:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 12968-12977:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 12887-12896:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 13144-13153:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 13251-13260:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 13170-13179:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 13421-13430:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 13340-13349:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 13791-13800:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 13898-13907:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 13817-13826:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 14068-14077:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 13987-13996:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 14149-14168:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 14403-14412:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 14510-14519:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 14429-14438:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 14680-14689:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 14599-14608:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 14761-14771:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 15043-15053:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 15176-15185:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 15283-15292:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 15202-15211:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 15453-15462:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 15372-15381:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 15975-15985:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 15617-15626:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 15724-15733:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 15643-15652:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 15894-15903:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 15813-15822:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 16070-16079:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 16177-16186:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 16096-16105:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 16347-16356:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 16266-16275:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 16550-16559:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 16657-16666:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 16576-16585:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 16827-16836:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 16746-16755:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 17349-17359:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 16991-17000:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 17098-17107:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 17017-17026:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 17268-17277:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 17187-17196:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 17444-17453:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 17551-17560:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 17470-17479:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 17721-17730:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 17640-17649:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 18091-18100:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 18198-18207:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 18117-18126:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 18368-18377:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 18287-18296:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 18449-18468:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 18703-18712:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 18810-18819:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 18729-18738:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 18980-18989:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 18899-18908:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 19061-19071:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 19258-19267:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 19365-19374:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 19284-19293:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 19535-19544:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 19454-19463:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 20057-20067:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 19699-19708:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 19806-19815:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 19725-19734:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 19976-19985:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 19895-19904:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 20152-20161:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 20259-20268:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 20178-20187:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 20429-20438:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 20348-20357:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 20590-20599:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 20697-20706:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 20616-20625:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 20867-20876:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 20786-20795:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 21038-21047:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 21145-21154:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 21064-21073:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 21315-21324:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 21234-21243:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 21837-21847:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 21479-21488:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 21586-21595:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 21505-21514:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 21756-21765:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 21675-21684:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 21932-21941:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 22039-22048:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 21958-21967:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 22209-22218:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 22128-22137:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 22409-22418:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 22516-22525:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 22435-22444:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 22686-22695:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 22605-22614:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 22767-22786:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 22881-22890:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 22988-22997:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 22907-22916:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 23158-23167:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 23077-23086:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 23239-23249:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 23263-23282:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 23421-23430:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 23528-23537:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 23447-23456:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 23698-23707:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 23617-23626:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 24220-24230:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 23862-23871:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 23969-23978:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 23888-23897:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 24139-24148:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 24058-24067:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 24315-24324:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 24422-24431:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 24341-24350:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 24592-24601:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 24511-24520:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 24795-24804:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 24902-24911:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 24821-24830:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 25072-25081:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 24991-25000:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 25594-25604:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 25236-25245:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 25343-25352:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 25262-25271:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 25513-25522:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 25432-25441:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 25689-25698:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 25796-25805:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 25715-25724:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 25966-25975:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 25885-25894:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 26336-26345:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 26443-26452:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 26362-26371:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 26613-26622:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 26532-26541:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 26694-26713:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 26948-26957:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 27055-27064:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 26974-26983:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 27225-27234:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 27144-27153:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 27306-27316:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 31535-31554:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 27509-27518:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 27616-27625:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 27535-27544:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 27786-27795:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 27705-27714:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 28308-28318:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 27950-27959:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 28057-28066:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 27976-27985:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 28227-28236:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 28146-28155:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 28403-28412:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 28510-28519:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 28429-28438:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 28680-28689:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 28599-28608:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 28841-28850:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 28948-28957:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 28867-28876:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 29118-29127:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 29037-29046:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 29289-29298:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 29396-29405:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 29315-29324:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 29566-29575:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 29485-29494:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 30088-30098:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 29730-29739:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 29837-29846:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 29756-29765:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 30007-30016:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 29926-29935:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 30183-30192:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 30290-30299:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 30209-30218:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 30460-30469:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 30379-30388:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 30660-30669:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 30767-30776:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 30686-30695:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 30937-30946:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 30856-30865:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 31018-31037:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 31132-31141:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 31239-31248:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 31158-31167:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 31409-31418:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 31328-31337:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 31490-31500:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 31514-31533:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 31670-31679:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 31777-31786:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 31696-31705:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 31947-31956:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 31866-31875:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 32469-32479:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 32111-32120:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 32218-32227:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 32137-32146:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 32388-32397:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 32307-32316:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 32564-32573:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 32671-32680:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 32590-32599:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 32841-32850:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 32760-32769:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 33044-33053:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 33151-33160:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 33070-33079:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 33321-33330:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 33240-33249:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 33843-33853:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 33485-33494:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 33592-33601:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 33511-33520:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 33762-33771:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 33681-33690:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 33938-33947:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 34045-34054:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 33964-33973:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 34215-34224:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 34134-34143:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 34585-34594:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 34692-34701:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 34611-34620:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 34862-34871:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 34781-34790:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 34943-34962:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 35197-35206:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 35304-35313:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 35223-35232:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 35474-35483:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 35393-35402:
Warning Bitvector decimal literals are not part of the Floats specification.
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-ArrayBinarySearch.scala-1.smt2-1.smt2", line 61, character 35555-35565:
Warning Bitvector decimal literals are not part of the Floats specification.