|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20051.cvc.smt2
(content)
|
sat
|
sat
|
0.021s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20050.cvc.smt2
(content)
|
sat
|
sat
|
0.016s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20049.cvc.smt2
(content)
|
sat
|
sat
|
0.021s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20047.cvc.smt2
(content)
|
sat
|
sat
|
0.030s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20046.cvc.smt2
(content)
|
sat
|
sat
|
0.025s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20045.cvc.smt2
(content)
|
sat
|
sat
|
0.024s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20044.cvc.smt2
(content)
|
sat
|
sat
|
0.022s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20042.cvc.smt2
(content)
|
sat
|
sat
|
0.017s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20040.cvc.smt2
(content)
|
sat
|
sat
|
0.041s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20039.cvc.smt2
(content)
|
sat
|
sat
|
0.039s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20038.cvc.smt2
(content)
|
sat
|
sat
|
0.044s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20037.cvc.smt2
(content)
|
sat
|
sat
|
0.033s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20036.cvc.smt2
(content)
|
sat
|
sat
|
0.036s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20035.cvc.smt2
(content)
|
sat
|
sat
|
0.032s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20033.cvc.smt2
(content)
|
sat
|
sat
|
0.027s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20031.cvc.smt2
(content)
|
sat
|
sat
|
0.025s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20030.cvc.smt2
(content)
|
sat
|
sat
|
0.025s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20029.cvc.smt2
(content)
|
sat
|
sat
|
0.020s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20028.cvc.smt2
(content)
|
sat
|
sat
|
0.012s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20027.cvc.smt2
(content)
|
sat
|
sat
|
0.026s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20026.cvc.smt2
(content)
|
sat
|
sat
|
0.013s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20025.cvc.smt2
(content)
|
sat
|
sat
|
0.011s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20024.cvc.smt2
(content)
|
sat
|
sat
|
0.031s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20023.cvc.smt2
(content)
|
sat
|
sat
|
0.009s
|
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v3/v3l20022.cvc.smt2
(content)
|
sat
|
sat
|
0.018s
|