sidekick-dev
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20063.cvc.smt2
(content)
|
sat
|
sat
|
0.012s
|
z3
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20063.cvc.smt2
(content)
|
sat
|
sat
|
0.027s
|
sidekick-dev
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20062.cvc.smt2
(content)
|
sat
|
sat
|
0.013s
|
z3
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20062.cvc.smt2
(content)
|
sat
|
sat
|
0.027s
|
sidekick-dev
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20061.cvc.smt2
(content)
|
sat
|
sat
|
0.013s
|
z3
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20061.cvc.smt2
(content)
|
sat
|
sat
|
0.027s
|
sidekick-dev
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20060.cvc.smt2
(content)
|
sat
|
sat
|
0.019s
|
z3
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20060.cvc.smt2
(content)
|
sat
|
sat
|
0.028s
|
sidekick-dev
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20059.cvc.smt2
(content)
|
sat
|
sat
|
0.012s
|
z3
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20059.cvc.smt2
(content)
|
sat
|
sat
|
0.026s
|
sidekick-dev
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20058.cvc.smt2
(content)
|
sat
|
sat
|
0.014s
|
z3
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20058.cvc.smt2
(content)
|
sat
|
sat
|
0.028s
|
sidekick-dev
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20057.cvc.smt2
(content)
|
unsat
|
unsat
|
0.013s
|
z3
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20057.cvc.smt2
(content)
|
unsat
|
unsat
|
0.029s
|
sidekick-dev
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20056.cvc.smt2
(content)
|
sat
|
sat
|
0.012s
|
z3
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20056.cvc.smt2
(content)
|
sat
|
sat
|
0.025s
|
sidekick-dev
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20055.cvc.smt2
(content)
|
unsat
|
unsat
|
0.016s
|
z3
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20055.cvc.smt2
(content)
|
unsat
|
unsat
|
0.029s
|
sidekick-dev
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20054.cvc.smt2
(content)
|
sat
|
sat
|
0.013s
|
z3
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20054.cvc.smt2
(content)
|
sat
|
sat
|
0.030s
|
sidekick-dev
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20053.cvc.smt2
(content)
|
sat
|
sat
|
0.014s
|
z3
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20053.cvc.smt2
(content)
|
sat
|
sat
|
0.028s
|
sidekick-dev
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20052.cvc.smt2
(content)
|
sat
|
sat
|
0.013s
|
z3
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20052.cvc.smt2
(content)
|
sat
|
sat
|
0.026s
|
sidekick-dev
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20051.cvc.smt2
(content)
|
unsat
|
unsat
|
0.013s
|