problem.path
|
|
problem.expected_res
|
ok
|
res
|
warn
|
rtime
|
0.180s
|
stime
|
0.000s
|
utime
|
0.000s
|
errcode
|
0
|
File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.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-AbsFun.scala-6.smt2-1.smt2", line 45, character 130-140: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 45, character 263-273: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 46, character 392-402: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 46, character 296-306: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 46, character 447-457: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 46, character 783-793: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 46, character 687-697: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 46, character 892-902: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 47, character 440-450: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 47, character 338-348: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 47, character 565-575: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 47, character 818-828: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 47, character 1053-1063: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 47, character 1299-1309: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 47, character 1452-1462: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 47, character 1925-1935: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 47, character 1823-1833: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 47, character 2050-2060: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 47, character 2303-2313: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 47, character 2538-2548: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 47, character 2784-2794: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 47, character 2965-2975: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 113-123: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 149-159: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 376-386: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 658-668: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 590-600: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 729-739: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 876-886: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 1023-1033: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 1163-1173: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 1264-1274: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 1515-1525: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 1447-1457: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 1586-1596: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 1733-1743: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 1880-1890: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 2020-2030: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 2121-2131: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 2446-2456: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 2378-2388: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 2517-2527: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 2664-2674: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 2811-2821: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 2951-2961: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 3052-3062: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 3335-3345: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 3267-3277: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 3406-3416: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 3553-3563: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 3700-3710: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 3840-3850: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 3941-3951: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 4252-4262: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 4184-4194: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 4323-4333: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 4470-4480: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 4617-4627: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 4757-4767: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 4886-4896: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 5201-5211: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 5133-5143: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 5272-5282: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 5419-5429: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 5566-5576: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 5706-5716: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 5835-5845: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 6132-6142: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 6064-6074: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 6203-6213: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 6350-6360: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 6497-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-AbsFun.scala-6.smt2-1.smt2", line 48, character 6637-6647: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 6738-6748: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 7040-7050: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 6972-6982: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 7111-7121: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 7258-7268: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 7405-7415: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 7545-7555: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 7674-7684: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 8610-8620: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 7952-7962: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 7884-7894: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 8023-8033: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 8170-8180: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 8317-8327: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 8457-8467: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 8558-8568: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 8871-8881: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 8803-8813: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 8942-8952: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 9089-9099: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 9236-9246: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 9376-9386: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 9505-9515: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 9783-9793: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 9715-9725: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 9854-9864: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 10001-10011: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 10148-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-AbsFun.scala-6.smt2-1.smt2", line 48, character 10288-10298: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 10389-10399: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 10716-10726: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 10648-10658: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 10787-10797: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 10934-10944: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 11081-11091: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 11221-11231: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 11350-11360: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 11628-11638: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 11560-11570: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 11699-11709: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 11846-11856: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 11993-12003: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 12133-12143: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 12234-12244: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 12555-12565: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 12487-12497: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 12626-12636: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 12773-12783: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 12920-12930: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 13060-13070: Warning Bitvector decimal literals are not part of the Floats specification. File "/home/guillaume/bench/smtlib/AUFBVDTLIA/20172804-Barrett/rec-fun-ijcar2016/wo-wdf/mutant_wo_fd_vcs_wdf/2.5-cvc4-AbsFun.scala-6.smt2-1.smt2", line 48, character 13189-13199: Warning Bitvector decimal literals are not part of the Floats specification.
prover.name
|
dolmen
|
prover.cmd
|
<unknown>
|
prover.version
|
<unknown>
|
prover.sat
|
<none>
|
prover.unsat
|
<none>
|
prover.unknown
|
<none>
|
prover.timeout
|
<none>
|
prover.tag.fatal
|
Error|Killed
|
prover.tag.memout
|
Memory limit reached|Out_of_space
|
prover.tag.ok
|
^$
|
prover.tag.overflow
|
Stack overflow
|
prover.tag.timout
|
Time limit reached|Out_of_time
|
prover.tag.warn
|
Warning
|
prover.memory
|
<none>
|