detailed results (3578 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70072.cvc.smt2 (content) sat sat 0.076s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70070.cvc.smt2 (content) sat sat 0.093s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70066.cvc.smt2 (content) sat sat 0.070s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70063.cvc.smt2 (content) sat sat 0.124s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70058.cvc.smt2 (content) sat sat 0.072s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70056.cvc.smt2 (content) sat sat 0.081s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70055.cvc.smt2 (content) sat sat 0.095s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70047.cvc.smt2 (content) sat sat 0.045s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70046.cvc.smt2 (content) sat sat 0.086s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70039.cvc.smt2 (content) sat sat 0.157s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70038.cvc.smt2 (content) sat sat 0.077s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70031.cvc.smt2 (content) sat sat 0.063s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70030.cvc.smt2 (content) sat sat 0.123s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70025.cvc.smt2 (content) sat sat 0.089s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70023.cvc.smt2 (content) sat sat 0.084s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70020.cvc.smt2 (content) sat sat 0.084s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70019.cvc.smt2 (content) sat sat 0.072s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70014.cvc.smt2 (content) sat sat 0.136s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70010.cvc.smt2 (content) sat sat 0.070s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70009.cvc.smt2 (content) sat sat 0.088s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70006.cvc.smt2 (content) sat sat 0.069s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70005.cvc.smt2 (content) sat sat 0.061s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60098.cvc.smt2 (content) sat sat 0.066s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60097.cvc.smt2 (content) sat sat 0.060s
z3 /home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60096.cvc.smt2 (content) sat sat 0.052s