sidekick-dev
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l40063.cvc.smt2
(content)
|
sat
|
sat
|
0.016s
|
z3
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l40063.cvc.smt2
(content)
|
sat
|
sat
|
0.030s
|
sidekick-dev
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l40062.cvc.smt2
(content)
|
sat
|
sat
|
0.011s
|
z3
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l40062.cvc.smt2
(content)
|
sat
|
sat
|
0.027s
|
sidekick-dev
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l40061.cvc.smt2
(content)
|
unsat
|
unsat
|
0.015s
|
z3
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l40061.cvc.smt2
(content)
|
unsat
|
unsat
|
0.027s
|
sidekick-dev
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l40060.cvc.smt2
(content)
|
unsat
|
unsat
|
0.013s
|
z3
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l40060.cvc.smt2
(content)
|
unsat
|
unsat
|
0.026s
|
sidekick-dev
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l40059.cvc.smt2
(content)
|
unsat
|
unsat
|
0.013s
|
z3
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l40059.cvc.smt2
(content)
|
unsat
|
unsat
|
0.028s
|
sidekick-dev
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l40058.cvc.smt2
(content)
|
sat
|
sat
|
0.015s
|
z3
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l40058.cvc.smt2
(content)
|
sat
|
sat
|
0.029s
|
sidekick-dev
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l40057.cvc.smt2
(content)
|
unsat
|
unsat
|
0.014s
|
z3
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l40057.cvc.smt2
(content)
|
unsat
|
unsat
|
0.024s
|
sidekick-dev
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l40056.cvc.smt2
(content)
|
sat
|
sat
|
0.012s
|
z3
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l40056.cvc.smt2
(content)
|
sat
|
sat
|
0.028s
|
sidekick-dev
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l40055.cvc.smt2
(content)
|
sat
|
sat
|
0.015s
|
z3
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l40055.cvc.smt2
(content)
|
sat
|
sat
|
0.026s
|
sidekick-dev
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l40054.cvc.smt2
(content)
|
unsat
|
unsat
|
0.013s
|
z3
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l40054.cvc.smt2
(content)
|
unsat
|
unsat
|
0.028s
|
sidekick-dev
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l40053.cvc.smt2
(content)
|
unsat
|
unsat
|
0.018s
|
z3
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l40053.cvc.smt2
(content)
|
unsat
|
unsat
|
0.031s
|
sidekick-dev
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l40052.cvc.smt2
(content)
|
unsat
|
unsat
|
0.015s
|
z3
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l40052.cvc.smt2
(content)
|
unsat
|
unsat
|
0.028s
|
sidekick-dev
|
/home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l40051.cvc.smt2
(content)
|
unsat
|
unsat
|
0.015s
|