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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.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-2.smt2", line 48, character 6348-6358: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 6488-6498: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 6570-6580: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 6689-6699: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 6991-7001: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 6923-6933: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 7062-7072: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 7207-7217: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 7347-7357: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 7429-7439: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 7576-7586: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 8512-8522: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 7854-7864: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 7786-7796: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 7925-7935: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 8072-8082: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 8219-8229: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 8359-8369: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 8460-8470: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 8773-8783: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, 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-AbsFun.scala-6.smt2-2.smt2", line 48, character 8844-8854: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 8991-9001: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 9138-9148: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 9278-9288: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 9407-9417: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 9685-9695: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 9617-9627: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 9756-9766: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 9903-9913: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 10050-10060: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 10190-10200: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 10291-10301: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 10618-10628: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 10550-10560: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 10689-10699: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 10836-10846: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 10983-10993: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 11123-11133: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 11252-11262: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 11530-11540: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 11462-11472: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 11601-11611: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 11748-11758: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 11895-11905: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 12035-12045: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 12136-12146: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 12457-12467: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 12389-12399: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 12528-12538: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 12675-12685: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 12822-12832: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 12962-12972: Warning Bitvector decimal literals are not part of 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-2.smt2", line 48, character 13091-13101: 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>
|