detailed results (8000 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90076.cvc.smt2 (content) sat sat 0.087s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90075.cvc.smt2 (content) unsat unsat 0.077s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90074.cvc.smt2 (content) sat sat 0.064s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90073.cvc.smt2 (content) sat sat 0.043s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90072.cvc.smt2 (content) sat sat 0.076s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90071.cvc.smt2 (content) unsat unsat 0.071s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90070.cvc.smt2 (content) sat sat 0.060s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90069.cvc.smt2 (content) unsat unsat 0.090s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90068.cvc.smt2 (content) sat sat 0.062s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90067.cvc.smt2 (content) unsat unsat 0.056s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90066.cvc.smt2 (content) sat sat 0.048s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90065.cvc.smt2 (content) unsat unsat 0.057s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90064.cvc.smt2 (content) sat sat 0.067s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90063.cvc.smt2 (content) unsat unsat 0.100s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90062.cvc.smt2 (content) unsat unsat 0.079s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90061.cvc.smt2 (content) unsat unsat 0.064s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90060.cvc.smt2 (content) unsat unsat 0.065s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90059.cvc.smt2 (content) sat sat 0.046s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90058.cvc.smt2 (content) unsat unsat 0.044s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90057.cvc.smt2 (content) unsat unsat 0.048s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90056.cvc.smt2 (content) unsat unsat 0.076s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90055.cvc.smt2 (content) sat sat 0.038s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90054.cvc.smt2 (content) sat sat 0.039s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90053.cvc.smt2 (content) unsat unsat 0.050s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90052.cvc.smt2 (content) unsat unsat 0.111s