root
file
detailed [150..174]
prev
next
detailed results (913 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_brn434.smt2
(content)
timeout
unsat
16.3s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn420.smt2
(content)
timeout
unsat
11.7s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn395.smt2
(content)
timeout
unsat
14.8s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn378.smt2
(content)
timeout
unsat
11.7s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn376.smt2
(content)
timeout
unsat
11.9s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn360.smt2
(content)
timeout
unsat
11.8s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn342.smt2
(content)
timeout
unsat
12.3s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn338.smt2
(content)
timeout
unsat
12s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn321.smt2
(content)
timeout
unsat
11.0s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn318.smt2
(content)
timeout
unsat
11.9s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn311.smt2
(content)
timeout
unsat
11.7s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn238.smt2
(content)
timeout
unsat
12.2s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn206.smt2
(content)
timeout
unsat
11.9s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn169.smt2
(content)
timeout
sat
11.8s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn166.smt2
(content)
timeout
unsat
12s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1319.smt2
(content)
timeout
unsat
11.0s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn131.smt2
(content)
timeout
unsat
11.7s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1308.smt2
(content)
timeout
unsat
11.8s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1301.smt2
(content)
timeout
unsat
11.8s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1287.smt2
(content)
timeout
unsat
12.8s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1280.smt2
(content)
timeout
unsat
11.0s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1271.smt2
(content)
timeout
unsat
11.9s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1264.smt2
(content)
timeout
unsat
11.6s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1263.smt2
(content)
timeout
unsat
11.9s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1260.smt2
(content)
timeout
unsat
11.9s