detailed results (16000 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70001.cvc.smt2 (content) unsat unsat 0.073s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60100.cvc.smt2 (content) unsat unsat 0.009s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60100.cvc.smt2 (content) unsat unsat 0.051s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60099.cvc.smt2 (content) unsat unsat 0.017s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60099.cvc.smt2 (content) unsat unsat 0.047s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60098.cvc.smt2 (content) sat sat 0.040s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60098.cvc.smt2 (content) sat sat 0.073s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60097.cvc.smt2 (content) sat sat 0.023s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60097.cvc.smt2 (content) sat sat 0.062s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60096.cvc.smt2 (content) sat sat 0.013s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60096.cvc.smt2 (content) sat sat 0.043s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60095.cvc.smt2 (content) unsat unsat 0.019s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60095.cvc.smt2 (content) unsat unsat 0.061s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60094.cvc.smt2 (content) unsat unsat 0.010s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60094.cvc.smt2 (content) unsat unsat 0.063s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60093.cvc.smt2 (content) sat sat 0.012s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60093.cvc.smt2 (content) sat sat 0.053s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60092.cvc.smt2 (content) unsat unsat 0.024s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60092.cvc.smt2 (content) unsat unsat 0.100s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60091.cvc.smt2 (content) unsat unsat 0.036s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60091.cvc.smt2 (content) unsat unsat 0.064s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60090.cvc.smt2 (content) unsat unsat 0.015s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60090.cvc.smt2 (content) unsat unsat 0.060s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60089.cvc.smt2 (content) unsat unsat 0.041s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60089.cvc.smt2 (content) unsat unsat 0.052s