root
file
detailed [2925..2949]
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_icl548.smt2
(content)
unsat
unknown
0.200s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl547.smt2
(content)
unsat
unknown
0.825s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl546.smt2
(content)
unsat
unknown
0.072s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl545.smt2
(content)
unsat
unknown
0.252s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl544.smt2
(content)
unsat
unknown
0.166s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl543.smt2
(content)
unsat
unknown
0.124s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl542.smt2
(content)
unsat
unknown
0.188s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl541.smt2
(content)
unsat
unknown
0.242s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl540.smt2
(content)
unsat
unknown
0.195s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl539.smt2
(content)
unsat
unknown
0.237s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl538.smt2
(content)
unsat
unknown
0.222s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl537.smt2
(content)
unsat
unknown
0.234s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl536.smt2
(content)
unsat
unknown
0.177s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl535.smt2
(content)
unsat
unknown
0.173s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl534.smt2
(content)
unsat
unknown
0.269s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl533.smt2
(content)
unsat
unknown
0.203s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl532.smt2
(content)
unsat
unknown
0.074s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl531.smt2
(content)
unsat
unknown
0.106s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl530.smt2
(content)
unsat
unknown
0.101s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl529.smt2
(content)
unsat
unknown
0.137s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl528.smt2
(content)
unsat
unknown
0.159s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl527.smt2
(content)
unsat
unknown
0.123s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl526.smt2
(content)
unsat
unknown
0.137s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl525.smt2
(content)
unsat
unknown
0.098s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl524.smt2
(content)
unsat
unknown
0.047s