detailed results (4422 total)

proverfileresexpectedtime
z3/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20089.cvc.smt2(content)unsatunsat0.055s
z3/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20083.cvc.smt2(content)unsatunsat0.077s
z3/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20082.cvc.smt2(content)unsatunsat0.038s
z3/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20078.cvc.smt2(content)unsatunsat0.058s
z3/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20076.cvc.smt2(content)unsatunsat0.074s
z3/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20072.cvc.smt2(content)unsatunsat0.096s
z3/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20071.cvc.smt2(content)unsatunsat0.102s
z3/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20067.cvc.smt2(content)unsatunsat0.075s
z3/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20066.cvc.smt2(content)unsatunsat0.038s
z3/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20057.cvc.smt2(content)unsatunsat0.081s
z3/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20055.cvc.smt2(content)unsatunsat0.053s
z3/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20051.cvc.smt2(content)unsatunsat0.074s
z3/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20050.cvc.smt2(content)unsatunsat0.081s
z3/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20047.cvc.smt2(content)unsatunsat0.061s
z3/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20043.cvc.smt2(content)unsatunsat0.058s
z3/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20042.cvc.smt2(content)unsatunsat0.065s
z3/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20041.cvc.smt2(content)unsatunsat0.074s
z3/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20030.cvc.smt2(content)unsatunsat0.041s
z3/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20025.cvc.smt2(content)unsatunsat0.083s
z3/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20021.cvc.smt2(content)unsatunsat0.063s
z3/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20020.cvc.smt2(content)unsatunsat0.095s
z3/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20018.cvc.smt2(content)unsatunsat0.037s
z3/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20016.cvc.smt2(content)unsatunsat0.051s
z3/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20013.cvc.smt2(content)unsatunsat0.038s
z3/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20007.cvc.smt2(content)unsatunsat0.079s