detailed results (4422 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80030.cvc.smt2 (content) unsat unsat 0.042s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80029.cvc.smt2 (content) unsat unsat 0.058s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80027.cvc.smt2 (content) unsat unsat 0.070s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80026.cvc.smt2 (content) unsat unsat 0.048s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80024.cvc.smt2 (content) unsat unsat 0.067s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80023.cvc.smt2 (content) unsat unsat 0.046s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80022.cvc.smt2 (content) unsat unsat 0.057s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80020.cvc.smt2 (content) unsat unsat 0.054s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80019.cvc.smt2 (content) unsat unsat 0.044s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80018.cvc.smt2 (content) unsat unsat 0.040s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80017.cvc.smt2 (content) unsat unsat 0.049s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80016.cvc.smt2 (content) unsat unsat 0.051s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80015.cvc.smt2 (content) unsat unsat 0.053s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80014.cvc.smt2 (content) unsat unsat 0.062s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80013.cvc.smt2 (content) unsat unsat 0.039s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80012.cvc.smt2 (content) unsat unsat 0.046s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80011.cvc.smt2 (content) unsat unsat 0.058s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80010.cvc.smt2 (content) unsat unsat 0.060s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80009.cvc.smt2 (content) unsat unsat 0.070s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80008.cvc.smt2 (content) unsat unsat 0.053s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80007.cvc.smt2 (content) unsat unsat 0.049s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80006.cvc.smt2 (content) unsat unsat 0.060s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80005.cvc.smt2 (content) unsat unsat 0.039s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80003.cvc.smt2 (content) unsat unsat 0.053s
z3 /home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80002.cvc.smt2 (content) unsat unsat 0.073s