root
file
full
prev
next
all
bad
different
filter
full results
problem
smtlib-read-status
smtlib-read-status.time
/home/simon/workspace/sidekick/tests/sat/v3l30062.cvc.smt2
sat
0.01