detailed results (3706 total)

proverfileresexpectedtime
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l30073.cvc.smt2(content)errorsat0.016s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l30068.cvc.smt2(content)errorsat0.019s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l30061.cvc.smt2(content)errorsat0.016s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l30052.cvc.smt2(content)errorsat0.020s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l30051.cvc.smt2(content)errorunsat0.013s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l30047.cvc.smt2(content)errorsat0.015s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l30034.cvc.smt2(content)errorunsat0.017s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l30030.cvc.smt2(content)errorunsat0.017s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l30028.cvc.smt2(content)errorunsat0.016s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l30023.cvc.smt2(content)errorunsat0.012s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l30021.cvc.smt2(content)errorunsat0.015s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l30015.cvc.smt2(content)errorsat0.018s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l30013.cvc.smt2(content)errorsat0.020s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l30009.cvc.smt2(content)errorunsat0.013s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l30007.cvc.smt2(content)errorsat0.031s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l30002.cvc.smt2(content)errorunsat0.012s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l30001.cvc.smt2(content)errorunsat0.017s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20087.cvc.smt2(content)errorsat0.015s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20073.cvc.smt2(content)errorsat0.017s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20028.cvc.smt2(content)errorsat0.025s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20025.cvc.smt2(content)errorunsat0.018s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20024.cvc.smt2(content)errorsat0.013s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20018.cvc.smt2(content)errorunsat0.014s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20014.cvc.smt2(content)errorsat0.021s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20009.cvc.smt2(content)errorsat0.017s