detailed results (8000 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l90076.cvc.smt2 (content) unsat unsat 0.108s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l90075.cvc.smt2 (content) unsat unsat 0.076s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l90074.cvc.smt2 (content) unsat unsat 0.091s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l90073.cvc.smt2 (content) unsat unsat 0.190s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l90072.cvc.smt2 (content) unsat unsat 0.073s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l90071.cvc.smt2 (content) unsat unsat 0.068s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l90070.cvc.smt2 (content) unsat unsat 0.095s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l90069.cvc.smt2 (content) sat sat 0.074s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l90068.cvc.smt2 (content) unsat unsat 0.075s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l90067.cvc.smt2 (content) unsat unsat 0.098s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l90066.cvc.smt2 (content) unsat unsat 0.191s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l90065.cvc.smt2 (content) unsat unsat 0.067s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l90064.cvc.smt2 (content) unsat unsat 0.092s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l90063.cvc.smt2 (content) unsat unsat 0.061s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l90062.cvc.smt2 (content) unsat unsat 0.073s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l90061.cvc.smt2 (content) unsat unsat 0.084s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l90060.cvc.smt2 (content) unsat unsat 0.064s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l90059.cvc.smt2 (content) unsat unsat 0.063s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l90058.cvc.smt2 (content) unsat unsat 0.078s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l90057.cvc.smt2 (content) unsat unsat 0.070s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l90056.cvc.smt2 (content) sat sat 0.052s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l90055.cvc.smt2 (content) unsat unsat 0.050s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l90054.cvc.smt2 (content) unsat unsat 0.074s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l90053.cvc.smt2 (content) unsat unsat 0.085s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l90052.cvc.smt2 (content) unsat unsat 0.093s