detailed results (16000 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50063.cvc.smt2 (content) unsat unsat 0.013s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50063.cvc.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50062.cvc.smt2 (content) sat sat 0.013s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50062.cvc.smt2 (content) sat sat 0.046s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50061.cvc.smt2 (content) unsat unsat 0.037s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50061.cvc.smt2 (content) unsat unsat 0.071s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50060.cvc.smt2 (content) unsat unsat 0.009s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50060.cvc.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50059.cvc.smt2 (content) unsat unsat 0.010s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50059.cvc.smt2 (content) unsat unsat 0.021s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50058.cvc.smt2 (content) sat sat 0.017s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50058.cvc.smt2 (content) sat sat 0.022s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50057.cvc.smt2 (content) unsat unsat 0.012s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50057.cvc.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50056.cvc.smt2 (content) sat sat 0.009s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50056.cvc.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50055.cvc.smt2 (content) unsat unsat 0.009s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50055.cvc.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50054.cvc.smt2 (content) unsat unsat 0.013s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50054.cvc.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50053.cvc.smt2 (content) unsat unsat 0.018s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50053.cvc.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50052.cvc.smt2 (content) unsat unsat 0.009s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50052.cvc.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l50051.cvc.smt2 (content) unsat unsat 0.015s