detailed results (20 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l30004.cvc.smt2 (content) sat sat 0.075s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l20071.cvc.smt2 (content) sat sat 0.070s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l80082.cvc.smt2 (content) sat sat 0.053s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60035.cvc.smt2 (content) sat sat 0.046s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90079.cvc.smt2 (content) sat sat 0.052s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l20043.cvc.smt2 (content) sat sat 0.046s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l20041.cvc.smt2 (content) sat sat 0.047s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l90071.cvc.smt2 (content) sat sat 0.075s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60067.cvc.smt2 (content) sat sat 0.058s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30084.cvc.smt2 (content) sat sat 0.070s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30075.cvc.smt2 (content) sat sat 0.075s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30064.cvc.smt2 (content) sat sat 0.076s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l50045.cvc.smt2 (content) sat sat 0.073s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l40073.cvc.smt2 (content) sat sat 0.075s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l30059.cvc.smt2 (content) sat sat 0.059s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l50088.cvc.smt2 (content) sat sat 0.079s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l40070.cvc.smt2 (content) sat sat 0.041s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l40006.cvc.smt2 (content) sat sat 0.062s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70060.cvc.smt2 (content) sat sat 0.070s
z3 /home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70026.cvc.smt2 (content) sat sat 0.080s