/storage/repos/ultimate/releaseScripts/default/adds/z3 /storage/repos/svcomp/c/seq-pthread/cs_stateful_false-unreach-call_true-termination.i.smt2


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


(error "line 393 column 28845: unknown constant v_ULTIMATE.start_ULTIMATE.init_#t~nondet97_3")
(error "line 398 column 23027: unknown constant v_#memory_$Pointer$.base_38")
(error "line 401 column 33763: unknown constant v_#memory_$Pointer$.base_7")
(error "line 404 column 24689: unknown constant v_#memory_$Pointer$.offset_16")
(error "line 406 column 33094: unknown constant #funAddr~main_thread.offset")
(error "line 407 column 23015: unknown constant #funAddr~main_thread.base")
(error "line 412 column 33846: unknown constant #funAddr~thread2.base")
(error "line 413 column 33687: unknown constant #funAddr~thread2.offset")
(error "line 421 column 24859: unknown constant #funAddr~main_thread.offset")
(error "line 422 column 23048: unknown constant #funAddr~main_thread.offset")
(error "line 430 column 34512: unknown constant #funAddr~thread2.base")
(error "line 431 column 24013: unknown constant #funAddr~thread2.base")
(error "line 445 column 24595: unknown constant #funAddr~main_thread.base")
(error "line 446 column 33363: unknown constant #funAddr~main_thread.offset")
(error "line 463 column 34775: unknown constant #funAddr~thread2.offset")
(error "line 464 column 24258: unknown constant #funAddr~thread2.offset")
(error "line 653 column 32513: unknown constant #funAddr~thread1.offset")
(error "line 670 column 31895: unknown constant v_#memory_$Pointer$.base_57")
(error "line 688 column 24114: unknown constant #funAddr~thread1.offset")
(error "line 706 column 33595: unknown constant v_#memory_$Pointer$.offset_157")
(error "line 723 column 33628: unknown constant #funAddr~thread1.base")
(error "line 729 column 33368: unknown constant #funAddr~thread2.base")
(error "line 741 column 33654: unknown constant v_#memory_$Pointer$.base_82")
(error "line 747 column 23844: unknown constant v_#memory_$Pointer$.base_68")
(error "line 764 column 33807: unknown constant #funAddr~thread2.offset")
(error "line 782 column 23989: unknown constant v_#memory_$Pointer$.base_168")
(error "line 799 column 33663: unknown constant #funAddr~thread2.offset")
(error "line 815 column 33873: unknown constant v_#memory_$Pointer$.base_92")
(error "line 962 column 24002: unknown constant v_ULTIMATE.start___CS_cs_#t~nondet1_51")
(error "line 980 column 24286: unknown constant v_ULTIMATE.start___CS_cs_#t~nondet1_137")
(error "line 996 column 34962: unknown constant v_ULTIMATE.start___CS_cs_#t~nondet1_58")
sat