detailed results (4422 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l70038.cvc.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l70037.cvc.smt2 (content) unsat unsat 0.012s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l70036.cvc.smt2 (content) unsat unsat 0.012s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l70033.cvc.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l70032.cvc.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l70031.cvc.smt2 (content) unsat unsat 0.013s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l70028.cvc.smt2 (content) unsat unsat 0.036s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l70027.cvc.smt2 (content) unsat unsat 0.008s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l70026.cvc.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l70024.cvc.smt2 (content) unsat unsat 0.016s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l70021.cvc.smt2 (content) unsat unsat 0.017s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l70020.cvc.smt2 (content) unsat unsat 0.017s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l70018.cvc.smt2 (content) unsat unsat 0.015s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l70017.cvc.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l70014.cvc.smt2 (content) unsat unsat 0.013s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l70009.cvc.smt2 (content) unsat unsat 0.013s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l70008.cvc.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l70005.cvc.smt2 (content) unsat unsat 0.009s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l70003.cvc.smt2 (content) unsat unsat 0.014s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l70001.cvc.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60100.cvc.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60098.cvc.smt2 (content) unsat unsat 0.017s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60097.cvc.smt2 (content) unsat unsat 0.062s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60092.cvc.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60091.cvc.smt2 (content) unsat unsat 0.021s