root
file
detailed [650..674]
prev
next
detailed results (3632 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn200.smt2
(content)
unsat
unknown
5.9s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn180.smt2
(content)
unsat
unknown
9.5s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn166.smt2
(content)
unsat
unknown
8.9s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn159.smt2
(content)
unsat
unknown
7.3s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn134.smt2
(content)
unsat
unknown
9.5s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn133.smt2
(content)
unsat
unknown
4.3s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1326.smt2
(content)
unsat
unknown
1.4s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1321.smt2
(content)
unsat
unknown
22.1s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1319.smt2
(content)
unsat
unknown
1.1s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1315.smt2
(content)
unsat
unknown
0.934s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1308.smt2
(content)
unsat
unknown
3s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1287.smt2
(content)
unsat
unknown
1s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1280.smt2
(content)
unsat
unknown
2.3s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1271.smt2
(content)
unsat
unknown
3.2s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1264.smt2
(content)
unsat
unknown
1.6s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1263.smt2
(content)
unsat
unknown
9.8s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1262.smt2
(content)
unsat
unknown
4.7s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1260.smt2
(content)
unsat
unknown
6s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1254.smt2
(content)
unsat
unknown
3.4s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1240.smt2
(content)
unsat
unknown
0.335s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn124.smt2
(content)
unsat
unknown
3.8s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1238.smt2
(content)
unsat
unknown
2.4s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1233.smt2
(content)
unsat
unknown
3.5s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1231.smt2
(content)
unsat
unknown
6.5s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1230.smt2
(content)
unsat
unknown
15.8s