root
file
full[75..]
prev
next
all
bad
different
filter
full results
problem
z3
mc2-dev
z3.time
mc2-dev.time
/home/simon/workspace/mc2/tests/unsat/test-012.smt2
unsat
unsat
0.03
0.01
/home/simon/workspace/mc2/tests/unsat/test-013.smt2
unsat
unsat
0.03
0.01
/home/simon/workspace/mc2/tests/unsat/uart-10.base.cvc.smt2
unsat
unsat
0.25
3.91
/home/simon/workspace/mc2/tests/unsat/uart-7.base.cvc.smt2
unsat
unsat
0.07
0.35