root
file
detailed [50..74]
prev
next
detailed results (652 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn320.smt2
(content)
unknown
sat
14.5s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn291.smt2
(content)
unknown
unsat
10.3s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn279.smt2
(content)
unknown
unsat
11s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn272.smt2
(content)
unknown
unsat
10.7s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn248.smt2
(content)
unknown
unsat
11.0s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn243.smt2
(content)
unknown
unsat
10.5s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn220.smt2
(content)
unknown
unsat
11.2s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn209.smt2
(content)
unknown
unsat
12.5s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn200.smt2
(content)
unknown
unsat
13.9s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn172.smt2
(content)
unknown
sat
10.1s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn159.smt2
(content)
unknown
unsat
11.6s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1321.smt2
(content)
unknown
unsat
10.2s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn132.smt2
(content)
unknown
unsat
10.5s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1262.smt2
(content)
unknown
unsat
10.3s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1238.smt2
(content)
unknown
unsat
10.9s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1230.smt2
(content)
unknown
unsat
10.6s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1226.smt2
(content)
unknown
unsat
10.1s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1158.smt2
(content)
unknown
unsat
10.8s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1148.smt2
(content)
unknown
unsat
11.3s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1098.smt2
(content)
unknown
unsat
10s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1079.smt2
(content)
unknown
sat
10.3s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1071.smt2
(content)
unknown
unsat
10.9s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1057.smt2
(content)
unknown
unsat
11.2s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1050.smt2
(content)
unknown
unsat
10.1s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1038.smt2
(content)
unknown
unsat
10.8s