detailed results (4422 total)

proverfileresexpectedtime
sidekick-dev/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20089.cvc.smt2(content)unsatunsat0.018s
sidekick-dev/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20083.cvc.smt2(content)unsatunsat0.020s
sidekick-dev/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20082.cvc.smt2(content)unsatunsat0.019s
sidekick-dev/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20078.cvc.smt2(content)unsatunsat0.011s
sidekick-dev/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20076.cvc.smt2(content)unsatunsat0.023s
sidekick-dev/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20072.cvc.smt2(content)unsatunsat0.050s
sidekick-dev/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20071.cvc.smt2(content)unsatunsat0.011s
sidekick-dev/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20067.cvc.smt2(content)unsatunsat0.012s
sidekick-dev/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20066.cvc.smt2(content)unsatunsat0.016s
sidekick-dev/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20057.cvc.smt2(content)unsatunsat0.013s
sidekick-dev/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20055.cvc.smt2(content)unsatunsat0.017s
sidekick-dev/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20051.cvc.smt2(content)unsatunsat0.017s
sidekick-dev/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20050.cvc.smt2(content)unsatunsat0.023s
sidekick-dev/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20047.cvc.smt2(content)unsatunsat0.013s
sidekick-dev/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20043.cvc.smt2(content)unsatunsat0.010s
sidekick-dev/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20042.cvc.smt2(content)unsatunsat0.020s
sidekick-dev/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20041.cvc.smt2(content)unsatunsat0.031s
sidekick-dev/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20030.cvc.smt2(content)unsatunsat0.028s
sidekick-dev/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20025.cvc.smt2(content)unsatunsat0.029s
sidekick-dev/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20021.cvc.smt2(content)unsatunsat0.011s
sidekick-dev/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20020.cvc.smt2(content)unsatunsat0.019s
sidekick-dev/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20018.cvc.smt2(content)unsatunsat0.028s
sidekick-dev/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20016.cvc.smt2(content)unsatunsat0.033s
sidekick-dev/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20013.cvc.smt2(content)unsatunsat0.014s
sidekick-dev/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20007.cvc.smt2(content)unsatunsat0.022s