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


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


(error "line 434 column 43607: unknown constant v_ULTIMATE.start_ULTIMATE.init_#t~nondet125_3")
(error "line 438 column 39080: unknown constant v_#memory_$Pointer$.base_9")
(error "line 439 column 26720: unknown constant v_#memory_$Pointer$.offset_34")
(error "line 442 column 39054: unknown constant v_#memory_$Pointer$.base_14")
(error "line 447 column 37162: unknown constant #funAddr~main_thread.offset")
(error "line 448 column 26053: unknown constant #funAddr~main_thread.base")
(error "line 452 column 38302: unknown constant #funAddr~thread2.offset")
(error "line 453 column 27285: unknown constant #funAddr~thread2.base")
(error "line 461 column 38926: unknown constant #funAddr~main_thread.base")
(error "line 462 column 36841: unknown constant #funAddr~main_thread.offset")
(error "line 470 column 27721: unknown constant #funAddr~thread2.base")
(error "line 471 column 38942: unknown constant #funAddr~thread2.offset")
(error "line 486 column 39785: unknown constant #funAddr~main_thread.base")
(error "line 487 column 26728: unknown constant #funAddr~main_thread.offset")
(error "line 503 column 27576: unknown constant #funAddr~thread2.offset")
(error "line 504 column 39970: unknown constant #funAddr~thread2.base")
(error "line 606 column 27936: unknown constant v_ULTIMATE.start___CS_cs_#t~nondet29_67")
(error "line 609 column 39327: unknown constant v_ULTIMATE.start___CS_cs_#t~nondet29_97")
(error "line 650 column 40018: unknown constant v_ULTIMATE.start___CS_cs_#t~nondet29_161")
(error "line 653 column 27974: unknown constant v_ULTIMATE.start___CS_cs_#t~nondet29_21")
(error "line 691 column 25578: unknown constant v_#memory_$Pointer$.offset_131")
(error "line 695 column 37966: unknown constant v_#memory_$Pointer$.base_161")
(error "line 702 column 39979: unknown constant v_ULTIMATE.start___CS_cs_#t~nondet29_100")
(error "line 705 column 39906: unknown constant v_ULTIMATE.start___CS_cs_#t~nondet29_131")
(error "line 749 column 37966: unknown constant v_#memory_$Pointer$.base_257")
(error "line 753 column 37942: unknown constant v_#memory_$Pointer$.offset_51")
(error "line 760 column 36845: unknown constant #funAddr~thread1.offset")
(error "line 786 column 36102: unknown constant v_#memory_$Pointer$.base_66")
(error "line 800 column 38185: unknown constant v_#memory_$Pointer$.base_167")
(error "line 804 column 27310: unknown constant v_#memory_$Pointer$.offset_205")
(error "line 811 column 38399: unknown constant #funAddr~thread1.offset")
(error "line 831 column 38277: unknown constant v_#memory_$Pointer$.base_219")
(error "line 852 column 27013: unknown constant #funAddr~thread1.base")
(error "line 858 column 37809: unknown constant #funAddr~thread2.base")
(error "line 870 column 38270: unknown constant v_#memory_$Pointer$.base_108")
(error "line 874 column 38043: unknown constant v_#memory_$Pointer$.base_81")
(error "line 897 column 38287: unknown constant #funAddr~thread2.offset")
(error "line 915 column 27139: unknown constant v_#memory_$Pointer$.base_233")
(error "line 936 column 38143: unknown constant #funAddr~thread2.offset")
(error "line 956 column 27098: unknown constant v_#memory_$Pointer$.base_121")
(error "line 1069 column 27972: unknown constant v_ULTIMATE.start___CS_cs_#t~nondet29_52")
(error "line 1089 column 40107: unknown constant v_ULTIMATE.start___CS_cs_#t~nondet29_152")
(error "line 1105 column 39577: unknown constant v_ULTIMATE.start___CS_cs_#t~nondet29_82")
sat