root
file
detailed [2700..2724]
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/qg5/gensys_brn982.smt2
(content)
sat
sat
0.228s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn981.smt2
(content)
sat
sat
0.323s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn980.smt2
(content)
sat
sat
0.321s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn979.smt2
(content)
sat
sat
0.270s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn978.smt2
(content)
sat
sat
0.121s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn977.smt2
(content)
sat
sat
0.176s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn976.smt2
(content)
sat
sat
0.340s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn975.smt2
(content)
sat
sat
0.157s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn974.smt2
(content)
unsat
unsat
1.8s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn973.smt2
(content)
unsat
unsat
7.4s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn972.smt2
(content)
sat
sat
0.392s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn971.smt2
(content)
sat
sat
0.515s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn970.smt2
(content)
sat
sat
0.366s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn969.smt2
(content)
unsat
unsat
6.4s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn968.smt2
(content)
sat
sat
0.207s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn967.smt2
(content)
sat
sat
0.213s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn966.smt2
(content)
sat
sat
0.108s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn965.smt2
(content)
sat
sat
0.392s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn964.smt2
(content)
sat
sat
0.305s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn963.smt2
(content)
sat
sat
0.136s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn962.smt2
(content)
unsat
unsat
6.3s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn961.smt2
(content)
unsat
unsat
2.2s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn960.smt2
(content)
sat
sat
0.438s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn959.smt2
(content)
unsat
unsat
3.6s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn958.smt2
(content)
sat
sat
0.583s