detailed results (16000 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70088.cvc.smt2 (content) unsat unsat 0.009s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70088.cvc.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70087.cvc.smt2 (content) unsat unsat 0.009s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70087.cvc.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70086.cvc.smt2 (content) unsat unsat 0.009s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70086.cvc.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70085.cvc.smt2 (content) unsat unsat 0.011s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70085.cvc.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70084.cvc.smt2 (content) unsat unsat 0.008s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70084.cvc.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70083.cvc.smt2 (content) unsat unsat 0.009s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70083.cvc.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70082.cvc.smt2 (content) unsat unsat 0.008s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70082.cvc.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70081.cvc.smt2 (content) unsat unsat 0.016s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70081.cvc.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70080.cvc.smt2 (content) unsat unsat 0.012s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70080.cvc.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70079.cvc.smt2 (content) unsat unsat 0.008s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70079.cvc.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70078.cvc.smt2 (content) unsat unsat 0.008s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70078.cvc.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70077.cvc.smt2 (content) unsat unsat 0.009s
z3 /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70077.cvc.smt2 (content) unsat unsat 0.038s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70076.cvc.smt2 (content) sat sat 0.010s