root
file
detailed [125..149]
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_brn819.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn806.smt2
(content)
timeout
unknown
16.7s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn805.smt2
(content)
timeout
unknown
10.2s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn795.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn755.smt2
(content)
timeout
unknown
10.2s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn732.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn723.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn696.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn638.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn634.smt2
(content)
timeout
unknown
11.3s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn624.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn622.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn591.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn565.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn557.smt2
(content)
timeout
unknown
10.5s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn436.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn435.smt2
(content)
timeout
unknown
14.8s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn421.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn420.smt2
(content)
timeout
unknown
10.1s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn412.smt2
(content)
timeout
unknown
11s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn376.smt2
(content)
timeout
unknown
11.2s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn350.smt2
(content)
timeout
unknown
10.7s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn348.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn342.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn339.smt2
(content)
timeout
unknown
10s