detailed results (16000 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70063.cvc.smt2 (content) unsat unsat 0.028s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70063.cvc.smt2 (content) unsat unsat 0.061s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70062.cvc.smt2 (content) unsat unsat 0.036s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70062.cvc.smt2 (content) unsat unsat 0.051s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70061.cvc.smt2 (content) sat sat 0.020s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70061.cvc.smt2 (content) sat sat 0.047s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70060.cvc.smt2 (content) unsat unsat 0.028s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70060.cvc.smt2 (content) unsat unsat 0.087s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70059.cvc.smt2 (content) sat sat 0.014s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70059.cvc.smt2 (content) sat sat 0.129s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70058.cvc.smt2 (content) unsat unsat 0.021s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70058.cvc.smt2 (content) unsat unsat 0.046s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70057.cvc.smt2 (content) sat sat 0.043s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70057.cvc.smt2 (content) sat sat 0.082s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70056.cvc.smt2 (content) sat sat 0.027s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70056.cvc.smt2 (content) sat sat 0.070s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70055.cvc.smt2 (content) sat sat 0.018s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70055.cvc.smt2 (content) sat sat 0.051s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70054.cvc.smt2 (content) unsat unsat 0.020s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70054.cvc.smt2 (content) unsat unsat 0.065s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70053.cvc.smt2 (content) sat sat 0.017s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70053.cvc.smt2 (content) sat sat 0.048s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70052.cvc.smt2 (content) unsat unsat 0.013s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70052.cvc.smt2 (content) unsat unsat 0.047s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70051.cvc.smt2 (content) sat sat 0.013s