|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70014.cvc.smt2
(content)
|
sat
|
unknown
|
0.012s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70013.cvc.smt2
(content)
|
sat
|
unknown
|
0.012s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70011.cvc.smt2
(content)
|
sat
|
unknown
|
0.013s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70010.cvc.smt2
(content)
|
sat
|
unknown
|
0.021s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70009.cvc.smt2
(content)
|
sat
|
unknown
|
0.019s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70008.cvc.smt2
(content)
|
sat
|
unknown
|
0.047s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70005.cvc.smt2
(content)
|
sat
|
unknown
|
0.012s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70003.cvc.smt2
(content)
|
sat
|
unknown
|
0.013s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l70002.cvc.smt2
(content)
|
sat
|
unknown
|
0.012s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60100.cvc.smt2
(content)
|
sat
|
unknown
|
0.011s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60099.cvc.smt2
(content)
|
sat
|
unknown
|
0.014s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60098.cvc.smt2
(content)
|
sat
|
unknown
|
0.010s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60097.cvc.smt2
(content)
|
sat
|
unknown
|
0.011s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60096.cvc.smt2
(content)
|
sat
|
unknown
|
0.010s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60095.cvc.smt2
(content)
|
sat
|
unknown
|
0.009s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60093.cvc.smt2
(content)
|
sat
|
unknown
|
0.011s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60092.cvc.smt2
(content)
|
sat
|
unknown
|
0.008s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60090.cvc.smt2
(content)
|
sat
|
unknown
|
0.019s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60089.cvc.smt2
(content)
|
sat
|
unknown
|
0.011s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60088.cvc.smt2
(content)
|
sat
|
unknown
|
0.019s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60087.cvc.smt2
(content)
|
sat
|
unknown
|
0.010s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60086.cvc.smt2
(content)
|
sat
|
unknown
|
0.011s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60084.cvc.smt2
(content)
|
sat
|
unknown
|
0.009s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60083.cvc.smt2
(content)
|
sat
|
unknown
|
0.012s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v10/v10l60082.cvc.smt2
(content)
|
sat
|
unknown
|
0.009s
|