detailed results (4422 total)

proverfileresexpectedtime
sidekick-dev/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20089.cvc.smt2(content)unsatunsat0.033s
sidekick-dev/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20083.cvc.smt2(content)unsatunsat0.034s
sidekick-dev/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20082.cvc.smt2(content)unsatunsat0.014s
sidekick-dev/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20078.cvc.smt2(content)unsatunsat0.028s
sidekick-dev/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20076.cvc.smt2(content)unsatunsat0.067s
sidekick-dev/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20072.cvc.smt2(content)unsatunsat0.035s
sidekick-dev/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20071.cvc.smt2(content)unsatunsat0.043s
sidekick-dev/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20067.cvc.smt2(content)unsatunsat0.045s
sidekick-dev/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20066.cvc.smt2(content)unsatunsat0.032s
sidekick-dev/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20057.cvc.smt2(content)unsatunsat0.060s
sidekick-dev/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20055.cvc.smt2(content)unsatunsat0.035s
sidekick-dev/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20051.cvc.smt2(content)unsatunsat0.034s
sidekick-dev/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20050.cvc.smt2(content)unsatunsat0.033s
sidekick-dev/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20047.cvc.smt2(content)unsatunsat0.020s
sidekick-dev/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20043.cvc.smt2(content)unsatunsat0.046s
sidekick-dev/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20042.cvc.smt2(content)unsatunsat0.035s
sidekick-dev/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20041.cvc.smt2(content)unsatunsat0.015s
sidekick-dev/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20030.cvc.smt2(content)unsatunsat0.024s
sidekick-dev/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20025.cvc.smt2(content)unsatunsat0.039s
sidekick-dev/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20021.cvc.smt2(content)unsatunsat0.029s
sidekick-dev/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20020.cvc.smt2(content)unsatunsat0.053s
sidekick-dev/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20018.cvc.smt2(content)unsatunsat0.018s
sidekick-dev/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20016.cvc.smt2(content)unsatunsat0.046s
sidekick-dev/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20013.cvc.smt2(content)unsatunsat0.048s
sidekick-dev/home/simon/w/sidekick2/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20007.cvc.smt2(content)unsatunsat0.035s