detailed results (4422 total)

proverfileresexpectedtime
z3/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20089.cvc.smt2(content)unsatunsat0.047s
z3/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20083.cvc.smt2(content)unsatunsat0.047s
z3/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20082.cvc.smt2(content)unsatunsat0.049s
z3/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20078.cvc.smt2(content)unsatunsat0.050s
z3/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20076.cvc.smt2(content)unsatunsat0.041s
z3/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20072.cvc.smt2(content)unsatunsat0.047s
z3/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20071.cvc.smt2(content)unsatunsat0.038s
z3/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20067.cvc.smt2(content)unsatunsat0.049s
z3/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20066.cvc.smt2(content)unsatunsat0.046s
z3/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20057.cvc.smt2(content)unsatunsat0.068s
z3/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20055.cvc.smt2(content)unsatunsat0.045s
z3/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20051.cvc.smt2(content)unsatunsat0.048s
z3/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20050.cvc.smt2(content)unsatunsat0.059s
z3/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20047.cvc.smt2(content)unsatunsat0.060s
z3/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20043.cvc.smt2(content)unsatunsat0.068s
z3/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20042.cvc.smt2(content)unsatunsat0.048s
z3/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20041.cvc.smt2(content)unsatunsat0.074s
z3/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20030.cvc.smt2(content)unsatunsat0.072s
z3/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20025.cvc.smt2(content)unsatunsat0.065s
z3/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20021.cvc.smt2(content)unsatunsat0.059s
z3/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20020.cvc.smt2(content)unsatunsat0.059s
z3/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20018.cvc.smt2(content)unsatunsat0.063s
z3/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20016.cvc.smt2(content)unsatunsat0.051s
z3/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20013.cvc.smt2(content)unsatunsat0.049s
z3/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20007.cvc.smt2(content)unsatunsat0.037s