root
file
detailed [200..224]
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_icl1187.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1176.smt2
(content)
timeout
unknown
10.5s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl117.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1166.smt2
(content)
timeout
unknown
11.5s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl115.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl114.smt2
(content)
timeout
unknown
10.1s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl113.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl112.smt2
(content)
timeout
unknown
10.2s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl111.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl108.smt2
(content)
timeout
unknown
10.7s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1074.smt2
(content)
timeout
unknown
10.1s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1072.smt2
(content)
timeout
unknown
10.1s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl107.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1064.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1052.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1050.smt2
(content)
timeout
unknown
10.1s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl105.smt2
(content)
timeout
unknown
10.6s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1047.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1035.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1034.smt2
(content)
timeout
unknown
10.8s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1032.smt2
(content)
timeout
unknown
11.2s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1031.smt2
(content)
timeout
unknown
10.1s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl103.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1029.smt2
(content)
timeout
unknown
10s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1028.smt2
(content)
timeout
unknown
10s