detailed results (4422 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l90083.cvc.smt2 (content) unsat unsat 0.071s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l90080.cvc.smt2 (content) unsat unsat 0.073s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l90079.cvc.smt2 (content) unsat unsat 0.057s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l90078.cvc.smt2 (content) unsat unsat 0.068s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l90077.cvc.smt2 (content) unsat unsat 0.060s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l90076.cvc.smt2 (content) unsat unsat 0.062s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l90074.cvc.smt2 (content) unsat unsat 0.058s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l90072.cvc.smt2 (content) unsat unsat 0.065s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l90069.cvc.smt2 (content) unsat unsat 0.105s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l90066.cvc.smt2 (content) unsat unsat 0.068s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l90063.cvc.smt2 (content) unsat unsat 0.047s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l90061.cvc.smt2 (content) unsat unsat 0.059s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l90060.cvc.smt2 (content) unsat unsat 0.043s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l90059.cvc.smt2 (content) unsat unsat 0.091s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l90057.cvc.smt2 (content) unsat unsat 0.060s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l90055.cvc.smt2 (content) unsat unsat 0.079s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l90054.cvc.smt2 (content) unsat unsat 0.145s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l90053.cvc.smt2 (content) unsat unsat 0.069s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l90052.cvc.smt2 (content) unsat unsat 0.069s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l90051.cvc.smt2 (content) unsat unsat 0.098s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l90050.cvc.smt2 (content) unsat unsat 0.063s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l90049.cvc.smt2 (content) unsat unsat 0.064s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l90048.cvc.smt2 (content) unsat unsat 0.061s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l90047.cvc.smt2 (content) unsat unsat 0.046s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l90046.cvc.smt2 (content) unsat unsat 0.081s