/storage/repos/ultimate/releaseScripts/default/adds/z3 /storage/repos/svcomp/c/seq-pthread/cs_stateful_true-unreach-call.i.smt2


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


(error "line 392 column 29021: unknown constant v_ULTIMATE.start_ULTIMATE.init_#t~nondet101_3")
(error "line 396 column 24028: unknown constant v_#memory_$Pointer$.base_9")
(error "line 397 column 23150: unknown constant v_#memory_$Pointer$.base_38")
(error "line 400 column 33812: unknown constant v_#memory_$Pointer$.base_15")
(error "line 405 column 33314: unknown constant #funAddr~main_thread.offset")
(error "line 406 column 32705: unknown constant #funAddr~main_thread.offset")
(error "line 410 column 24047: unknown constant #funAddr~thread2.base")
(error "line 411 column 23818: unknown constant #funAddr~thread2.offset")
(error "line 419 column 24945: unknown constant #funAddr~main_thread.offset")
(error "line 420 column 23170: unknown constant #funAddr~main_thread.offset")
(error "line 428 column 24413: unknown constant #funAddr~thread2.base")
(error "line 429 column 24175: unknown constant #funAddr~thread2.base")
(error "line 443 column 35121: unknown constant #funAddr~main_thread.base")
(error "line 444 column 23737: unknown constant #funAddr~main_thread.offset")
(error "line 461 column 35012: unknown constant #funAddr~thread2.offset")
(error "line 462 column 34769: unknown constant #funAddr~thread2.offset")
(error "line 651 column 23411: unknown constant #funAddr~thread1.offset")
(error "line 668 column 32078: unknown constant v_#memory_$Pointer$.base_57")
(error "line 686 column 34149: unknown constant #funAddr~thread1.offset")
(error "line 704 column 33788: unknown constant v_#memory_$Pointer$.offset_157")
(error "line 721 column 33892: unknown constant #funAddr~thread1.base")
(error "line 727 column 33595: unknown constant #funAddr~thread2.base")
(error "line 739 column 33882: unknown constant v_#memory_$Pointer$.base_82")
(error "line 745 column 33823: unknown constant v_#memory_$Pointer$.base_68")
(error "line 762 column 24199: unknown constant #funAddr~thread2.offset")
(error "line 780 column 33933: unknown constant v_#memory_$Pointer$.base_168")
(error "line 797 column 33893: unknown constant #funAddr~thread2.offset")
(error "line 813 column 34865: unknown constant v_#memory_$Pointer$.base_92")
(error "line 960 column 34225: unknown constant v_ULTIMATE.start___CS_cs_#t~nondet1_51")
(error "line 978 column 24450: unknown constant v_ULTIMATE.start___CS_cs_#t~nondet1_137")
(error "line 994 column 24782: unknown constant v_ULTIMATE.start___CS_cs_#t~nondet1_58")
sat