root
file
detailed [975..999]
prev
next
detailed results (7457 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_brn081.smt2
(content)
unsat
unsat
1.3s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_brn080.smt2
(content)
sat
sat
0.365s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_brn079.smt2
(content)
sat
sat
0.457s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_brn078.smt2
(content)
sat
sat
2.2s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_brn077.smt2
(content)
sat
sat
2.1s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_brn076.smt2
(content)
unsat
unsat
4.4s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_brn075.smt2
(content)
sat
sat
0.773s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_brn074.smt2
(content)
sat
sat
1s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_brn073.smt2
(content)
unsat
unsat
2s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_brn072.smt2
(content)
sat
sat
0.403s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_brn071.smt2
(content)
sat
sat
0.373s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_brn070.smt2
(content)
sat
sat
0.493s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_brn069.smt2
(content)
sat
sat
0.401s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_brn068.smt2
(content)
sat
sat
0.780s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_brn067.smt2
(content)
sat
sat
0.496s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_brn066.smt2
(content)
sat
sat
0.663s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_brn065.smt2
(content)
unsat
unsat
0.765s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_brn064.smt2
(content)
unsat
unsat
1.7s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_brn063.smt2
(content)
sat
sat
0.641s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_brn062.smt2
(content)
sat
sat
0.469s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_brn061.smt2
(content)
sat
sat
0.281s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_brn060.smt2
(content)
sat
sat
0.627s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_brn059.smt2
(content)
sat
sat
0.469s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_brn058.smt2
(content)
sat
sat
0.400s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_brn057.smt2
(content)
sat
sat
0.403s