root
file
full[75..]
prev
next
all
bad
different
filter
full results
problem
z3
sidekick-dev
z3.time
sidekick-dev.time
/home/simon/workspace/benchpress/../sidekick/tests/unsat/v1l50092.cvc.smt2
unsat
sat
0.06
0.02
/home/simon/workspace/benchpress/../sidekick/tests/unsat/v1l90033.cvc.smt2
unsat
unsat
0.07
0.02