detailed results (16000 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l90088.cvc.smt2 (content) sat sat 0.067s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l90088.cvc.smt2 (content) sat sat 0.176s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l90087.cvc.smt2 (content) sat sat 0.040s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l90087.cvc.smt2 (content) sat sat 0.138s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l90086.cvc.smt2 (content) unsat unsat 0.077s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l90086.cvc.smt2 (content) unsat unsat 0.159s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l90085.cvc.smt2 (content) sat sat 0.043s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l90085.cvc.smt2 (content) sat sat 0.132s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l90084.cvc.smt2 (content) unsat unsat 0.055s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l90084.cvc.smt2 (content) unsat unsat 0.059s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l90083.cvc.smt2 (content) sat sat 0.047s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l90083.cvc.smt2 (content) sat sat 0.110s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l90082.cvc.smt2 (content) sat sat 0.102s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l90082.cvc.smt2 (content) sat sat 0.102s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l90081.cvc.smt2 (content) sat sat 0.040s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l90081.cvc.smt2 (content) sat sat 0.100s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l90080.cvc.smt2 (content) sat sat 0.032s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l90080.cvc.smt2 (content) sat sat 0.059s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l90079.cvc.smt2 (content) unsat unsat 0.046s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l90079.cvc.smt2 (content) unsat unsat 0.067s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l90078.cvc.smt2 (content) sat sat 0.078s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l90078.cvc.smt2 (content) sat sat 0.113s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l90077.cvc.smt2 (content) sat sat 0.087s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l90077.cvc.smt2 (content) sat sat 0.126s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l90076.cvc.smt2 (content) unsat unsat 0.030s