detailed results (32 total)

proverfileresexpectedtime
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l80030.cvc.smt2(content)errorunsat0.015s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l50088.cvc.smt2(content)errorsat0.014s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l20092.cvc.smt2(content)errorunsat0.013s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l90012.cvc.smt2(content)errorsat0.012s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70078.cvc.smt2(content)errorunsat0.014s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70061.cvc.smt2(content)errorsat0.013s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l70005.cvc.smt2(content)errorunsat0.014s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l60073.cvc.smt2(content)errorsat0.014s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l90084.cvc.smt2(content)errorsat0.014s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l70023.cvc.smt2(content)errorsat0.013s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l80037.cvc.smt2(content)errorsat0.015s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l70100.cvc.smt2(content)errorunsat0.016s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l70073.cvc.smt2(content)errorunsat0.015s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l70007.cvc.smt2(content)errorsat0.015s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l60042.cvc.smt2(content)errorunsat0.014s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l50021.cvc.smt2(content)errorunsat0.011s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l40065.cvc.smt2(content)errorunsat0.015s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l40010.cvc.smt2(content)errorsat0.014s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l30055.cvc.smt2(content)errorsat0.032s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l30042.cvc.smt2(content)errorsat0.011s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l30012.cvc.smt2(content)errorsat0.013s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30011.cvc.smt2(content)errorsat0.010s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l90064.cvc.smt2(content)errorsat0.013s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l60084.cvc.smt2(content)errorsat0.013s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l40020.cvc.smt2(content)errorsat0.012s