(prover
  (name zip-dev)
  (version
   (git branch=master commit=67cf33a515979c663265fa15bb8178c333e63b27))
  (cmd <unknown>)
  (binary /home/simon/w/these/zipperposition/tests/../zipperposition.exe)
  (ulimit (time memory ))
  (sat "SZS status (CounterSatisfiable|Satisfiable)")
  (unsat "SZS status (Theorem|Unsatisfiable)")
  (timeout "SZS status ResourceOut")
  (produces_proof false)
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp") 
  (gaveup "SZS status GaveUp"))