detailed results (3578 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30056.cvc.smt2 (content) sat sat 0.063s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30055.cvc.smt2 (content) sat sat 0.067s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30054.cvc.smt2 (content) sat sat 0.052s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30052.cvc.smt2 (content) sat sat 0.050s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30050.cvc.smt2 (content) sat sat 0.065s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30049.cvc.smt2 (content) sat sat 0.058s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30048.cvc.smt2 (content) sat sat 0.047s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30047.cvc.smt2 (content) sat sat 0.064s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30046.cvc.smt2 (content) sat sat 0.046s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30045.cvc.smt2 (content) sat sat 0.051s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30043.cvc.smt2 (content) sat sat 0.047s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30041.cvc.smt2 (content) sat sat 0.079s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30037.cvc.smt2 (content) sat sat 0.043s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30033.cvc.smt2 (content) sat sat 0.062s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30032.cvc.smt2 (content) sat sat 0.060s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30031.cvc.smt2 (content) sat sat 0.060s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30030.cvc.smt2 (content) sat sat 0.077s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30028.cvc.smt2 (content) sat sat 0.057s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30027.cvc.smt2 (content) sat sat 0.067s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30024.cvc.smt2 (content) sat sat 0.069s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30022.cvc.smt2 (content) sat sat 0.048s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30021.cvc.smt2 (content) sat sat 0.085s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30020.cvc.smt2 (content) sat sat 0.041s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30019.cvc.smt2 (content) sat sat 0.048s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l30017.cvc.smt2 (content) sat sat 0.075s