/storage/repos/ultimate/releaseScripts/default/adds/z3 /storage/repos/svcomp/c/float-newlib/float_req_bl_1231_true-unreach-call.c.smt2


--------------------------------------------------------------------------------


(error "line 50 column 6439: unknown constant v_ULTIMATE.start_main_#t~nondet7_3")
(error "line 52 column 4853: unknown constant v_~someBinaryFLOATComparisonOperation_6")
(error "line 57 column 6746: unknown constant v_~someBinaryFLOATComparisonOperation_14")
(error "line 61 column 6650: unknown constant v_#memory_int_4")
(error "line 64 column 4783: unknown constant v_~someBinaryFLOATComparisonOperation_18")
(error "line 81 column 4891: unknown constant v_~someBinaryFLOATComparisonOperation_26")
(error "line 82 column 6683: unknown constant v_#memory_int_8")
(error "line 91 column 6624: unknown constant v_~someBinaryFLOATComparisonOperation_28")
(error "line 97 column 6488: unknown constant v_~someBinaryFLOATComparisonOperation_4")
(error "line 98 column 6814: unknown constant v_~someBinaryFLOATComparisonOperation_9")
(error "line 106 column 6625: unknown constant v_~someBinaryFLOATComparisonOperation_22")
(error "line 107 column 6630: unknown constant v_~someBinaryFLOATComparisonOperation_24")
(error "line 110 column 4886: unknown constant v_~someBinaryFLOATComparisonOperation_12")
(error "line 114 column 4671: unknown constant v_~someBinaryFLOATComparisonOperation_16")
(error "line 115 column 4748: unknown constant v_~someBinaryFLOATComparisonOperation_20")
sat