root
file
detailed [3375..3399]
prev
next
detailed results (3632 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl998.smt2
(content)
unsat
unknown
0.104s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl997.smt2
(content)
unsat
unknown
0.115s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl996.smt2
(content)
unsat
unknown
0.094s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl995.smt2
(content)
unsat
unknown
0.134s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl994.smt2
(content)
unsat
unknown
0.060s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl993.smt2
(content)
unsat
unknown
0.024s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl992.smt2
(content)
unsat
unknown
0.038s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl991.smt2
(content)
unsat
unknown
0.397s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl990.smt2
(content)
unsat
unknown
0.119s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl989.smt2
(content)
unsat
unknown
0.313s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl988.smt2
(content)
unsat
unknown
0.164s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl987.smt2
(content)
unsat
unknown
0.102s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl986.smt2
(content)
unsat
unknown
0.124s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl985.smt2
(content)
unsat
unknown
0.168s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl984.smt2
(content)
unsat
unknown
0.118s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl983.smt2
(content)
unsat
unknown
0.118s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl982.smt2
(content)
unsat
unknown
0.053s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl981.smt2
(content)
unsat
unknown
0.111s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl980.smt2
(content)
unsat
unknown
0.154s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl979.smt2
(content)
unsat
unknown
0.081s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl978.smt2
(content)
unsat
unknown
0.093s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl977.smt2
(content)
unsat
unknown
0.064s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl976.smt2
(content)
unsat
unknown
0.048s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl975.smt2
(content)
unsat
unknown
0.115s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl974.smt2
(content)
unsat
unknown
0.174s