detailed results (4422 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l90100.cvc.smt2 (content) unsat unknown 0.034s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l90099.cvc.smt2 (content) unsat unknown 0.026s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l90098.cvc.smt2 (content) unsat unknown 0.034s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l90097.cvc.smt2 (content) unsat unknown 0.025s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l90096.cvc.smt2 (content) unsat unknown 0.028s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l90095.cvc.smt2 (content) unsat unknown 0.025s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l90094.cvc.smt2 (content) unsat unknown 0.040s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l90093.cvc.smt2 (content) unsat unknown 0.022s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l90092.cvc.smt2 (content) unsat unknown 0.027s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l90091.cvc.smt2 (content) unsat unknown 0.024s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l90089.cvc.smt2 (content) unsat unknown 0.022s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l90088.cvc.smt2 (content) unsat unknown 0.026s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l90087.cvc.smt2 (content) unsat unknown 0.028s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l90086.cvc.smt2 (content) unsat unknown 0.023s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l90085.cvc.smt2 (content) unsat unknown 0.025s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l90084.cvc.smt2 (content) unsat unknown 0.030s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l90083.cvc.smt2 (content) unsat unknown 0.026s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l90082.cvc.smt2 (content) unsat unknown 0.025s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l90081.cvc.smt2 (content) unsat unknown 0.032s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l90080.cvc.smt2 (content) unsat unknown 0.022s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l90079.cvc.smt2 (content) unsat unknown 0.021s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l90078.cvc.smt2 (content) unsat unknown 0.024s