detailed results (16000 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l40063.cvc.smt2 (content) unsat unsat 0.020s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l40063.cvc.smt2 (content) unsat unsat 0.062s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l40062.cvc.smt2 (content) unsat unsat 0.016s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l40062.cvc.smt2 (content) unsat unsat 0.058s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l40061.cvc.smt2 (content) unsat unsat 0.022s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l40061.cvc.smt2 (content) unsat unsat 0.060s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l40060.cvc.smt2 (content) unsat unsat 0.022s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l40060.cvc.smt2 (content) unsat unsat 0.061s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l40059.cvc.smt2 (content) unsat unsat 0.030s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l40059.cvc.smt2 (content) unsat unsat 0.061s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l40058.cvc.smt2 (content) unsat unsat 0.057s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l40058.cvc.smt2 (content) unsat unsat 0.069s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l40057.cvc.smt2 (content) sat sat 0.046s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l40057.cvc.smt2 (content) sat sat 0.090s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l40056.cvc.smt2 (content) unsat unsat 0.039s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l40056.cvc.smt2 (content) unsat unsat 0.054s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l40055.cvc.smt2 (content) unsat unsat 0.023s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l40055.cvc.smt2 (content) unsat unsat 0.059s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l40054.cvc.smt2 (content) unsat unsat 0.012s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l40054.cvc.smt2 (content) unsat unsat 0.056s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l40053.cvc.smt2 (content) unsat unsat 0.029s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l40053.cvc.smt2 (content) unsat unsat 0.072s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l40052.cvc.smt2 (content) unsat unsat 0.020s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l40052.cvc.smt2 (content) unsat unsat 0.065s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l40051.cvc.smt2 (content) unsat unsat 0.029s