full results

problem
smtlib-read-status
smtlib-read-status.time