detailed results (20 total)

proverfileresexpectedtime
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80060.cvc.smt2(content)satunsat0.010s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l80056.cvc.smt2(content)satunsat0.012s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l60055.cvc.smt2(content)satunsat0.010s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v5/typed_v5l40023.cvc.smt2(content)satunsat0.010s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l90052.cvc.smt2(content)satunsat0.010s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l70038.cvc.smt2(content)satunsat0.016s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l60024.cvc.smt2(content)satunsat0.009s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v3/typed_v3l20047.cvc.smt2(content)satunsat0.010s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l40047.cvc.smt2(content)satunsat0.010s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l20063.cvc.smt2(content)satunsat0.009s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l20028.cvc.smt2(content)satunsat0.009s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v2/typed_v2l20025.cvc.smt2(content)satunsat0.009s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l80068.cvc.smt2(content)satunsat0.012s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v10/typed_v10l40007.cvc.smt2(content)satunsat0.009s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l30050.cvc.smt2(content)satunsat0.050s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/typed/v1/typed_v1l20088.cvc.smt2(content)satunsat0.012s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70095.cvc.smt2(content)unsatsat0.008s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l70057.cvc.smt2(content)satunsat0.009s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20077.cvc.smt2(content)unsatsat0.009s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20035.cvc.smt2(content)unsatsat0.010s