detailed results (3578 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30076.cvc.smt2 (content) sat sat 0.071s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30075.cvc.smt2 (content) sat sat 0.044s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30074.cvc.smt2 (content) sat sat 0.058s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30073.cvc.smt2 (content) sat sat 0.066s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30072.cvc.smt2 (content) sat sat 0.057s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30071.cvc.smt2 (content) sat sat 0.048s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30070.cvc.smt2 (content) sat sat 0.066s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30069.cvc.smt2 (content) sat sat 0.073s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30068.cvc.smt2 (content) sat sat 0.075s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30064.cvc.smt2 (content) sat sat 0.051s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30063.cvc.smt2 (content) sat sat 0.044s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30062.cvc.smt2 (content) sat sat 0.042s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30061.cvc.smt2 (content) sat sat 0.070s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30059.cvc.smt2 (content) sat sat 0.050s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30058.cvc.smt2 (content) sat sat 0.050s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30057.cvc.smt2 (content) sat sat 0.046s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30056.cvc.smt2 (content) sat sat 0.039s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30054.cvc.smt2 (content) sat sat 0.048s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30053.cvc.smt2 (content) sat sat 0.059s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30052.cvc.smt2 (content) sat sat 0.091s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30050.cvc.smt2 (content) sat sat 0.042s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30049.cvc.smt2 (content) sat sat 0.062s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30048.cvc.smt2 (content) sat sat 0.049s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30045.cvc.smt2 (content) sat sat 0.060s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30044.cvc.smt2 (content) sat sat 0.047s