/storage/repos/ultimate/releaseScripts/default/adds/z3 /storage/repos/svcomp/c/float-newlib/ChcSmtPrinter_float_req_bl_0682a_true-unreach-call.c.smt2 -------------------------------------------------------------------------------- (error "line 117 column 16517: unknown constant v_ULTIMATE.start_main_#t~nondet44_3") (error "line 118 column 16893: unknown constant v_#memory_int_4") (error "line 124 column 11873: unknown constant v_~someBinaryFLOATComparisonOperation_2") (error "line 125 column 11727: unknown constant v_~someBinaryFLOATComparisonOperation_16") (error "line 126 column 16858: unknown constant v_#memory_int_8") (error "line 133 column 16858: unknown constant v_#memory_int_16") (error "line 144 column 11367: unknown constant v_~someBinaryFLOATComparisonOperation_12") (error "line 145 column 16593: unknown constant v_~someBinaryFLOATComparisonOperation_14") (error "line 146 column 16434: unknown constant v_#memory_int_27") (error "line 182 column 11704: unknown constant v_#memory_int_35") (error "line 194 column 16448: unknown constant v_~someBinaryFLOATComparisonOperation_8") (error "line 195 column 11406: unknown constant v_~someBinaryFLOATComparisonOperation_10") (error "line 199 column 11420: unknown constant v_#memory_real_41") (error "line 222 column 16434: unknown constant v_#memory_int_12") (error "line 235 column 11704: unknown constant v_#memory_real_17") (error "line 243 column 16893: unknown constant v_#memory_int_45") (error "line 257 column 11703: unknown constant v_#memory_real_52") (error "line 266 column 16434: unknown constant v_#memory_int_23") (error "line 282 column 16585: unknown constant v_#memory_int_31") (error "line 284 column 16734: unknown constant v_~someBinaryFLOATComparisonOperation_4") (error "line 285 column 16452: unknown constant v_~someBinaryFLOATComparisonOperation_6") (error "line 289 column 11704: unknown constant v_#memory_real_37") (error "line 307 column 9493: unknown constant old(#StackHeapBarrier)") sat