detailed results (16000 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50026.cvc.smt2 (content) unsat unsat 0.067s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50025.cvc.smt2 (content) sat sat 0.045s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50025.cvc.smt2 (content) sat sat 0.050s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50024.cvc.smt2 (content) unsat unsat 0.038s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50024.cvc.smt2 (content) unsat unsat 0.055s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50023.cvc.smt2 (content) unsat unsat 0.028s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50023.cvc.smt2 (content) unsat unsat 0.079s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50022.cvc.smt2 (content) sat sat 0.040s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50022.cvc.smt2 (content) sat sat 0.080s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50021.cvc.smt2 (content) unsat unsat 0.039s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50021.cvc.smt2 (content) unsat unsat 0.125s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50020.cvc.smt2 (content) unsat unsat 0.030s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50020.cvc.smt2 (content) unsat unsat 0.086s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50019.cvc.smt2 (content) unsat unsat 0.031s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50019.cvc.smt2 (content) unsat unsat 0.057s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50018.cvc.smt2 (content) unsat unsat 0.039s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50018.cvc.smt2 (content) unsat unsat 0.080s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50017.cvc.smt2 (content) unsat unsat 0.039s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50017.cvc.smt2 (content) unsat unsat 0.052s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50016.cvc.smt2 (content) unsat unsat 0.047s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50016.cvc.smt2 (content) unsat unsat 0.106s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50015.cvc.smt2 (content) unsat unsat 0.017s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50015.cvc.smt2 (content) unsat unsat 0.048s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50014.cvc.smt2 (content) sat sat 0.038s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l50014.cvc.smt2 (content) sat sat 0.058s