detailed results (97 total)

proverfileresexpectedtime
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l70073.cvc.smt2(content)satunsat0.010s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l30041.cvc.smt2(content)satunsat0.011s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l20052.cvc.smt2(content)satunsat0.011s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v5/v5l20010.cvc.smt2(content)satunsat0.012s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l90049.cvc.smt2(content)satunsat0.012s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l80053.cvc.smt2(content)satunsat0.014s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l80047.cvc.smt2(content)satunsat0.012s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l70071.cvc.smt2(content)satunsat0.011s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l70057.cvc.smt2(content)satunsat0.014s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60052.cvc.smt2(content)satunsat0.012s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l60038.cvc.smt2(content)satunsat0.013s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90066.cvc.smt2(content)satunsat0.013s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l90037.cvc.smt2(content)satunsat0.013s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l80018.cvc.smt2(content)satunsat0.013s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l70054.cvc.smt2(content)satunsat0.012s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v2/v2l40040.cvc.smt2(content)satunsat0.011s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l90028.cvc.smt2(content)satunsat0.011s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l80031.cvc.smt2(content)satunsat0.012s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70083.cvc.smt2(content)satunsat0.011s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70058.cvc.smt2(content)satunsat0.013s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l90081.cvc.smt2(content)satunsat0.013s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l80045.cvc.smt2(content)satunsat0.011s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70084.cvc.smt2(content)satunsat0.012s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70073.cvc.smt2(content)satunsat0.012s
sidekick-dev/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l70032.cvc.smt2(content)satunsat0.011s