root
file
detailed [250..274]
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_icl192.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl191.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl186.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl185.smt2
(content)
timeout
unknown
10.1s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl184.smt2
(content)
timeout
unknown
10.8s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl183.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl182.smt2
(content)
timeout
unknown
10.3s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl181.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl179.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl178.smt2
(content)
timeout
unknown
10.9s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl176.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl174.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl173.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl172.smt2
(content)
timeout
unknown
10.1s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl171.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl169.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl168.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl167.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl166.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl165.smt2
(content)
timeout
unknown
10.2s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl164.smt2
(content)
timeout
unknown
10.1s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl163.smt2
(content)
timeout
unknown
10.0s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl159.smt2
(content)
timeout
unknown
10.1s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl158.smt2
(content)
timeout
unknown
11.1s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl157.smt2
(content)
timeout
unknown
11.4s