bin/symbiotic --witness witness.graphml --no-slice --no-prepare --32 --prp=../sv-benchmarks/c/ReachSafety.prp ../sv-benchmarks/c/loops/n.c24_false-unreach-call.i


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


5.0.0-KLEE:86e6f6f8-dg:03407af1-symbiotic:a8aa8ad6-minisat:3db58943-stp:17249213-sbt-instrumentation:dd7e4312
INFO: After compilation stats: Globals/Functions/Blocks/Instr.: 0 4 45 174
INFO: Compilation, preparation and instrumentation time: 0.0548050403595
Linked our definitions to these undefined functions:
  strlen
  __VERIFIER_error
  __VERIFIER_make_symbolic
  __VERIFIER_nondet_int_named
INFO: After-slicing optimizations and preparation time: 0.0553078651428
INFO: Before verification stats: Globals/Functions/Blocks/Instr.: 11 8 45 161
INFO: Starting verification
KLEE: ERROR: (location information missing) memory error: out of bound pointer
KLEE: NOTE: now ignoring this error at this location
KLEE: WARNING: killing 1798 states (over memory cap)
KLEE: WARNING ONCE: skipping fork (memory cap exceeded)
KLEE: WARNING: killing 2034 states (over memory cap)
KLEE: WARNING: killing 1889 states (over memory cap)
KLEE: WARNING: killing 1605 states (over memory cap)
KLEE: WARNING: killing 1733 states (over memory cap)
KLEE: WARNING: killing 1680 states (over memory cap)
KLEE: WARNING: killing 1591 states (over memory cap)
KLEE: WARNING: killing 1541 states (over memory cap)
KLEE: WARNING: killing 1463 states (over memory cap)
KLEE: WARNING: killing 1479 states (over memory cap)
KLEE: WARNING: killing 1618 states (over memory cap)
KLEE: WARNING: killing 1381 states (over memory cap)
KLEE: WARNING: killing 1471 states (over memory cap)
KLEE: WARNING: killing 1460 states (over memory cap)
KLEE: WARNING: killing 1337 states (over memory cap)
KLEE: WARNING: killing 1270 states (over memory cap)
KLEE: WARNING: killing 1418 states (over memory cap)
KLEE: WARNING: killing 1378 states (over memory cap)
KLEE: WARNING: killing 1385 states (over memory cap)
KLEE: WARNING: killing 1374 states (over memory cap)
KLEE: WARNING: killing 1327 states (over memory cap)
KLEE: WARNING: killing 1380 states (over memory cap)
KLEE: WARNING: killing 1350 states (over memory cap)
KLEE: WARNING: killing 1340 states (over memory cap)
KLEE: WARNING: killing 1247 states (over memory cap)
KLEE: WARNING: killing 1374 states (over memory cap)
KLEE: WARNING: killing 1363 states (over memory cap)
KLEE: WARNING: killing 1261 states (over memory cap)
KLEE: WARNING: killing 1343 states (over memory cap)
KLEE: WARNING: killing 1332 states (over memory cap)
KLEE: WARNING: killing 1293 states (over memory cap)
KLEE: WARNING: killing 1238 states (over memory cap)
KLEE: WARNING: killing 1365 states (over memory cap)
KLEE: WARNING: killing 1455 states (over memory cap)
KLEE: WARNING: killing 1327 states (over memory cap)
KLEE: WARNING: killing 1343 states (over memory cap)
KLEE: WARNING: killing 1342 states (over memory cap)
KLEE: WARNING: killing 1324 states (over memory cap)
KLEE: WARNING: killing 1411 states (over memory cap)
KLEE: WARNING: killing 1356 states (over memory cap)
KLEE: WARNING: killing 1355 states (over memory cap)
KLEE: WARNING: killing 1363 states (over memory cap)
KLEE: WARNING: killing 1427 states (over memory cap)
KLEE: WARNING: killing 1262 states (over memory cap)
KLEE: WARNING: killing 1389 states (over memory cap)
KLEE: WARNING: killing 1251 states (over memory cap)
KLEE: WARNING: killing 1385 states (over memory cap)
KLEE: WARNING: killing 1258 states (over memory cap)
KLEE: WARNING: killing 1311 states (over memory cap)
KLEE: WARNING: killing 1472 states (over memory cap)
KLEE: WARNING: killing 1281 states (over memory cap)
KLEE: WARNING: killing 1335 states (over memory cap)
KLEE: WARNING: killing 1253 states (over memory cap)
KLEE: WARNING: killing 1404 states (over memory cap)
KLEE: WARNING: killing 1331 states (over memory cap)
KLEE: WARNING: killing 1394 states (over memory cap)
KLEE: WARNING: killing 1267 states (over memory cap)
KLEE: WARNING: killing 1301 states (over memory cap)
KLEE: WARNING: killing 1424 states (over memory cap)
KLEE: WARNING: killing 1299 states (over memory cap)
KLEE: WARNING: killing 1207 states (over memory cap)
KLEE: WARNING: killing 1313 states (over memory cap)
KLEE: WARNING: killing 1198 states (over memory cap)
KLEE: WARNING: killing 1285 states (over memory cap)
KLEE: WARNING: killing 1329 states (over memory cap)
KLEE: WARNING: killing 1398 states (over memory cap)
KLEE: WARNING: killing 1265 states (over memory cap)
KLEE: WARNING: killing 1370 states (over memory cap)
KLEE: WARNING: killing 1449 states (over memory cap)
KLEE: WARNING: killing 1270 states (over memory cap)
KLEE: WARNING: killing 1357 states (over memory cap)
KLEE: WARNING: killing 1391 states (over memory cap)
KLEE: WARNING: killing 1277 states (over memory cap)
KLEE: WARNING: killing 1338 states (over memory cap)
KLEE: WARNING: killing 1302 states (over memory cap)
KLEE: WARNING: killing 1442 states (over memory cap)
KLEE: WARNING: killing 1257 states (over memory cap)
KLEE: WARNING: killing 1246 states (over memory cap)
KLEE: WARNING: killing 1359 states (over memory cap)
KLEE: WARNING: killing 1219 states (over memory cap)
KLEE: WARNING: killing 1384 states (over memory cap)
KLEE: WARNING: killing 1348 states (over memory cap)
KLEE: WARNING: killing 1216 states (over memory cap)
KLEE: WARNING: killing 1409 states (over memory cap)
KLEE: WARNING: killing 1381 states (over memory cap)
KLEE: WARNING: killing 1231 states (over memory cap)
KLEE: WARNING: killing 1310 states (over memory cap)
KLEE: WARNING: killing 1405 states (over memory cap)
KLEE: WARNING: killing 1414 states (over memory cap)
KLEE: WARNING: killing 1343 states (over memory cap)
KLEE: WARNING: killing 1385 states (over memory cap)
KLEE: WARNING: killing 1366 states (over memory cap)
KLEE: WARNING: killing 1356 states (over memory cap)
KLEE: WARNING: killing 1234 states (over memory cap)
KLEE: WARNING: killing 1486 states (over memory cap)
KLEE: WARNING: killing 1442 states (over memory cap)
KLEE: WARNING: killing 1372 states (over memory cap)
KLEE: WARNING: killing 1422 states (over memory cap)
KLEE: WARNING: killing 1273 states (over memory cap)
KLEE: WARNING: killing 1360 states (over memory cap)
KLEE: WARNING: killing 1342 states (over memory cap)
KLEE: WARNING: killing 1333 states (over memory cap)
