sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/sin/problem/7/weak2/sin-problem-7-weak2-chunk-0041.smt2
(content)
|
sat
|
sat
|
0.013s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/sin/problem/7/weak2/sin-problem-7-weak2-chunk-0040.smt2
(content)
|
unsat
|
unsat
|
0.008s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/sin/problem/7/weak2/sin-problem-7-weak2-chunk-0039.smt2
(content)
|
sat
|
sat
|
0.013s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/sin/problem/7/weak2/sin-problem-7-weak2-chunk-0038.smt2
(content)
|
sat
|
sat
|
0.009s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/sin/problem/7/weak2/sin-problem-7-weak2-chunk-0037.smt2
(content)
|
sat
|
sat
|
0.009s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/sin/problem/7/weak2/sin-problem-7-weak2-chunk-0036.smt2
(content)
|
sat
|
sat
|
0.010s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/sin/problem/7/weak2/sin-problem-7-weak2-chunk-0035.smt2
(content)
|
sat
|
sat
|
0.010s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/sin/problem/7/weak2/sin-problem-7-weak2-chunk-0034.smt2
(content)
|
sat
|
sat
|
0.010s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/sin/problem/7/weak2/sin-problem-7-weak2-chunk-0033.smt2
(content)
|
sat
|
sat
|
0.014s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/sin/problem/7/weak2/sin-problem-7-weak2-chunk-0032.smt2
(content)
|
sat
|
sat
|
0.009s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/sin/problem/7/weak2/sin-problem-7-weak2-chunk-0031.smt2
(content)
|
sat
|
sat
|
0.011s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/sin/problem/7/weak2/sin-problem-7-weak2-chunk-0030.smt2
(content)
|
sat
|
sat
|
0.012s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/sin/problem/7/weak2/sin-problem-7-weak2-chunk-0028.smt2
(content)
|
sat
|
sat
|
0.010s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/sin/problem/7/weak2/sin-problem-7-weak2-chunk-0027.smt2
(content)
|
sat
|
sat
|
0.011s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/sin/problem/7/weak2/sin-problem-7-weak2-chunk-0026.smt2
(content)
|
unsat
|
unsat
|
0.008s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/sin/problem/7/weak2/sin-problem-7-weak2-chunk-0022.smt2
(content)
|
sat
|
sat
|
0.009s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/sin/problem/7/weak2/sin-problem-7-weak2-chunk-0021.smt2
(content)
|
sat
|
sat
|
0.010s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/sin/problem/7/weak2/sin-problem-7-weak2-chunk-0020.smt2
(content)
|
sat
|
sat
|
0.010s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/sin/problem/7/weak2/sin-problem-7-weak2-chunk-0018.smt2
(content)
|
unsat
|
unsat
|
0.009s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/sin/problem/7/weak2/sin-problem-7-weak2-chunk-0016.smt2
(content)
|
sat
|
sat
|
0.009s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/sin/problem/7/weak2/sin-problem-7-weak2-chunk-0014.smt2
(content)
|
unsat
|
unsat
|
0.010s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/sin/problem/7/weak2/sin-problem-7-weak2-chunk-0013.smt2
(content)
|
sat
|
sat
|
0.008s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/sin/problem/7/weak2/sin-problem-7-weak2-chunk-0012.smt2
(content)
|
unsat
|
unsat
|
0.008s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/sin/problem/7/weak2/sin-problem-7-weak2-chunk-0011.smt2
(content)
|
unsat
|
unsat
|
0.010s
|
sidekick-dev
|
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/sin/problem/7/weak2/sin-problem-7-weak2-chunk-0010.smt2
(content)
|
sat
|
sat
|
0.011s
|