detailed results (3578 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70059.cvc.smt2 (content) sat sat 0.052s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70049.cvc.smt2 (content) sat sat 0.063s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70040.cvc.smt2 (content) sat sat 0.074s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70032.cvc.smt2 (content) sat sat 0.050s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70029.cvc.smt2 (content) sat sat 0.055s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70024.cvc.smt2 (content) sat sat 0.073s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70019.cvc.smt2 (content) sat sat 0.066s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70017.cvc.smt2 (content) sat sat 0.052s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70013.cvc.smt2 (content) sat sat 0.055s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70011.cvc.smt2 (content) sat sat 0.067s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70009.cvc.smt2 (content) sat sat 0.053s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60100.cvc.smt2 (content) sat sat 0.048s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60099.cvc.smt2 (content) sat sat 0.065s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60098.cvc.smt2 (content) sat sat 0.089s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60096.cvc.smt2 (content) sat sat 0.063s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60089.cvc.smt2 (content) sat sat 0.057s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60086.cvc.smt2 (content) sat sat 0.052s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60081.cvc.smt2 (content) sat sat 0.067s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60073.cvc.smt2 (content) sat sat 0.073s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60068.cvc.smt2 (content) sat sat 0.059s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60061.cvc.smt2 (content) sat sat 0.057s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60058.cvc.smt2 (content) sat sat 0.079s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60057.cvc.smt2 (content) sat sat 0.052s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60053.cvc.smt2 (content) sat sat 0.082s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60039.cvc.smt2 (content) sat sat 0.059s