root
file
detailed [300..324]
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_icl375.smt2
(content)
timeout
unknown
10.3s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl374.smt2
(content)
timeout
unknown
19s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl372.smt2
(content)
timeout
unknown
10.6s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl368.smt2
(content)
timeout
unknown
21.6s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl366.smt2
(content)
timeout
unknown
15.8s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl365.smt2
(content)
timeout
unknown
10.1s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl362.smt2
(content)
timeout
unknown
11.0s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl352.smt2
(content)
timeout
unknown
11.4s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl349.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl348.smt2
(content)
timeout
unknown
11s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl347.smt2
(content)
timeout
unknown
11.2s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl343.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl342.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl340.smt2
(content)
timeout
unknown
11.1s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl332.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl329.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl328.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl327.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl326.smt2
(content)
timeout
unknown
11.6s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl325.smt2
(content)
timeout
unknown
11s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl324.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl323.smt2
(content)
timeout
unknown
10.0s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl322.smt2
(content)
timeout
unknown
12.2s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl320.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl317.smt2
(content)
timeout
unknown
11.9s