prover | file | res | expected | time |
---|---|---|---|---|
z3 | /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l90061.cvc.smt2 (content) | unsat | unsat | 0.071s |
z3 | /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80050.cvc.smt2 (content) | unsat | unsat | 0.127s |
z3 | /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l90002.cvc.smt2 (content) | unsat | unsat | 0.047s |
z3 | /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70100.cvc.smt2 (content) | unsat | unsat | 0.049s |
z3 | /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70055.cvc.smt2 (content) | unsat | unsat | 0.065s |