/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