detailed results (8000 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l50076.cvc.smt2 (content) sat sat 0.064s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l50075.cvc.smt2 (content) sat sat 0.041s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l50074.cvc.smt2 (content) sat sat 0.080s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l50073.cvc.smt2 (content) sat sat 0.097s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l50072.cvc.smt2 (content) sat sat 0.063s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l50071.cvc.smt2 (content) sat sat 0.058s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l50070.cvc.smt2 (content) sat sat 0.076s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l50069.cvc.smt2 (content) sat sat 0.088s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l50068.cvc.smt2 (content) unsat unsat 0.093s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l50067.cvc.smt2 (content) sat sat 0.073s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l50066.cvc.smt2 (content) sat sat 0.066s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l50065.cvc.smt2 (content) unsat unsat 0.061s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l50064.cvc.smt2 (content) sat sat 0.069s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l50063.cvc.smt2 (content) sat sat 0.118s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l50062.cvc.smt2 (content) sat sat 0.133s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l50061.cvc.smt2 (content) sat sat 0.120s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l50060.cvc.smt2 (content) sat sat 0.105s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l50059.cvc.smt2 (content) sat sat 0.097s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l50058.cvc.smt2 (content) sat unknown 0.083s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l50057.cvc.smt2 (content) unsat unsat 0.037s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l50056.cvc.smt2 (content) unsat unsat 0.077s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l50055.cvc.smt2 (content) unsat unsat 0.083s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l50054.cvc.smt2 (content) unsat unsat 0.072s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l50053.cvc.smt2 (content) unsat unsat 0.103s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l50052.cvc.smt2 (content) unsat unsat 0.072s