problem,smtlib-read-status,smtlib-read-status.time /home/simon/workspace/sidekick/tests/sat/v3l30062.cvc.smt2,sat,0.01