detailed results (3578 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20021.cvc.smt2 (content) sat unknown 0.010s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20020.cvc.smt2 (content) sat unknown 0.016s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20019.cvc.smt2 (content) sat unknown 0.010s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20017.cvc.smt2 (content) sat unknown 0.012s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20016.cvc.smt2 (content) sat unknown 0.011s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20014.cvc.smt2 (content) sat unknown 0.010s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20013.cvc.smt2 (content) sat unknown 0.010s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20012.cvc.smt2 (content) sat unknown 0.010s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20011.cvc.smt2 (content) sat unknown 0.008s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20010.cvc.smt2 (content) sat unknown 0.009s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20009.cvc.smt2 (content) sat unknown 0.010s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20008.cvc.smt2 (content) sat unknown 0.009s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20006.cvc.smt2 (content) sat unknown 0.011s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20005.cvc.smt2 (content) sat unknown 0.009s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20004.cvc.smt2 (content) sat unknown 0.009s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20003.cvc.smt2 (content) sat unknown 0.009s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20002.cvc.smt2 (content) sat unknown 0.010s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20001.cvc.smt2 (content) sat unknown 0.008s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90099.cvc.smt2 (content) sat unknown 0.012s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90086.cvc.smt2 (content) sat unknown 0.012s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90079.cvc.smt2 (content) sat unknown 0.011s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90073.cvc.smt2 (content) sat unknown 0.032s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90070.cvc.smt2 (content) sat unknown 0.008s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90068.cvc.smt2 (content) sat unknown 0.020s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90065.cvc.smt2 (content) sat unknown 0.012s