detailed results (3578 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80083.cvc.smt2 (content) sat sat 0.045s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80082.cvc.smt2 (content) sat sat 0.040s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80079.cvc.smt2 (content) sat sat 0.038s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80076.cvc.smt2 (content) sat sat 0.046s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80074.cvc.smt2 (content) sat sat 0.082s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80073.cvc.smt2 (content) sat sat 0.036s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80072.cvc.smt2 (content) sat sat 0.035s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80070.cvc.smt2 (content) sat sat 0.045s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80069.cvc.smt2 (content) sat sat 0.075s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80068.cvc.smt2 (content) sat sat 0.037s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80065.cvc.smt2 (content) sat sat 0.036s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80062.cvc.smt2 (content) sat sat 0.034s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80061.cvc.smt2 (content) sat sat 0.070s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80057.cvc.smt2 (content) sat sat 0.046s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80056.cvc.smt2 (content) sat sat 0.080s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80055.cvc.smt2 (content) sat sat 0.046s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80053.cvc.smt2 (content) sat sat 0.055s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80050.cvc.smt2 (content) sat sat 0.051s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80044.cvc.smt2 (content) sat sat 0.037s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80043.cvc.smt2 (content) sat sat 0.056s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80040.cvc.smt2 (content) sat sat 0.046s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80039.cvc.smt2 (content) sat sat 0.045s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80038.cvc.smt2 (content) sat sat 0.040s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80033.cvc.smt2 (content) sat sat 0.043s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80032.cvc.smt2 (content) sat sat 0.042s