detailed results (4422 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70035.cvc.smt2 (content) unsat unsat 0.058s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70033.cvc.smt2 (content) unsat unsat 0.044s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70031.cvc.smt2 (content) unsat unsat 0.053s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70030.cvc.smt2 (content) unsat unsat 0.047s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70025.cvc.smt2 (content) unsat unsat 0.068s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70023.cvc.smt2 (content) unsat unsat 0.044s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70022.cvc.smt2 (content) unsat unsat 0.044s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70020.cvc.smt2 (content) unsat unsat 0.075s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70018.cvc.smt2 (content) unsat unsat 0.061s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70017.cvc.smt2 (content) unsat unsat 0.049s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70016.cvc.smt2 (content) unsat unsat 0.064s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70014.cvc.smt2 (content) unsat unsat 0.057s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70012.cvc.smt2 (content) unsat unsat 0.072s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70011.cvc.smt2 (content) unsat unsat 0.053s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70010.cvc.smt2 (content) unsat unsat 0.050s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70009.cvc.smt2 (content) unsat unsat 0.050s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70008.cvc.smt2 (content) unsat unsat 0.047s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70007.cvc.smt2 (content) unsat unsat 0.077s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70005.cvc.smt2 (content) unsat unsat 0.043s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60099.cvc.smt2 (content) unsat unsat 0.054s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60097.cvc.smt2 (content) unsat unsat 0.041s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60096.cvc.smt2 (content) unsat unsat 0.048s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60093.cvc.smt2 (content) unsat unsat 0.051s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60092.cvc.smt2 (content) unsat unsat 0.044s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l60091.cvc.smt2 (content) unsat unsat 0.073s