root
file
detailed [150..174]
prev
next
detailed results (975 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl082.smt2
(content)
timeout
unknown
10.2s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl081.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl079.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl077.smt2
(content)
timeout
unknown
23.4s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl076.smt2
(content)
timeout
unknown
10.7s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl074.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl071.smt2
(content)
timeout
unknown
10.3s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl070.smt2
(content)
timeout
unknown
10.2s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn998.smt2
(content)
timeout
unknown
10.1s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn997.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn973.smt2
(content)
timeout
unknown
10.1s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn969.smt2
(content)
timeout
unknown
10.2s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn949.smt2
(content)
timeout
unknown
10.1s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn933.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn932.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn905.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn903.smt2
(content)
timeout
unknown
10.1s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn897.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn895.smt2
(content)
timeout
unknown
11.8s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn891.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn880.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn869.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn863.smt2
(content)
timeout
unknown
10.0s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn851.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn838.smt2
(content)
timeout
unknown
11.4s