root
file
detailed [1000..1024]
prev
next
detailed results (4670 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
mc2-nogc-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410064/gensys_icl020.smt2
(content)
unsat
unsat
2s
mc2-nogc-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410063/gensys_icl019.smt2
(content)
unsat
unsat
1.2s
mc2-nogc-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410062/gensys_icl018.smt2
(content)
unsat
unsat
0.665s
mc2-nogc-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410061/gensys_icl017.smt2
(content)
unsat
unsat
1.3s
mc2-nogc-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410060/gensys_icl016.smt2
(content)
unsat
unsat
1.4s
mc2-nogc-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410059/gensys_icl015.smt2
(content)
unsat
unsat
1.2s
mc2-nogc-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410058/gensys_icl014.smt2
(content)
unsat
unsat
2s
mc2-nogc-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410057/gensys_icl013.smt2
(content)
unsat
unsat
1.0s
mc2-nogc-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410056/gensys_icl012.smt2
(content)
unsat
unsat
1.5s
mc2-nogc-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410055/gensys_icl011.smt2
(content)
unsat
unsat
0.682s
mc2-nogc-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410054/gensys_icl010.smt2
(content)
unsat
unsat
0.643s
mc2-nogc-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410053/gensys_icl009.smt2
(content)
unsat
unsat
0.306s
mc2-nogc-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410052/gensys_icl008.smt2
(content)
unsat
unsat
1.4s
mc2-nogc-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410051/gensys_icl007.smt2
(content)
unsat
unsat
0.149s
mc2-nogc-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410050/gensys_icl006.smt2
(content)
unsat
unsat
0.268s
mc2-nogc-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410049/gensys_icl005.smt2
(content)
unsat
unsat
0.197s
mc2-nogc-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410048/gensys_icl004.smt2
(content)
unsat
unsat
0.114s
mc2-nogc-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410047/gensys_icl003.smt2
(content)
unsat
unsat
0.060s
mc2-nogc-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410046/gensys_icl002.smt2
(content)
unsat
unsat
0.068s
mc2-nogc-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410045/gensys_icl001.smt2
(content)
unsat
unsat
0.191s
mc2-nogc-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410043/gensys_brn998.smt2
(content)
unsat
unsat
16.3s
mc2-nogc-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410042/gensys_brn997.smt2
(content)
unsat
unsat
24.1s
mc2-nogc-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410019/gensys_brn974.smt2
(content)
unsat
unsat
1.7s
mc2-nogc-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410018/gensys_brn973.smt2
(content)
unsat
unsat
12s
mc2-nogc-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410014/gensys_brn969.smt2
(content)
unsat
unsat
15.7s