root
file
detailed [2150..2174]
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_icl057.smt2
(content)
unsat
unknown
0.060s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl056.smt2
(content)
unsat
unknown
0.013s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl055.smt2
(content)
unsat
unknown
0.019s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl054.smt2
(content)
unsat
unknown
0.044s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl053.smt2
(content)
unsat
unknown
0.037s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl052.smt2
(content)
unsat
unknown
0.036s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl051.smt2
(content)
unsat
unknown
0.024s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl050.smt2
(content)
unsat
unknown
0.113s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl049.smt2
(content)
unsat
unknown
0.035s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl048.smt2
(content)
unsat
unknown
0.023s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl047.smt2
(content)
unsat
unknown
0.042s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl046.smt2
(content)
unsat
unknown
0.059s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl045.smt2
(content)
unsat
unknown
0.047s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl044.smt2
(content)
unsat
unknown
0.100s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl043.smt2
(content)
unsat
unknown
0.031s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl042.smt2
(content)
unsat
unknown
0.015s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl041.smt2
(content)
unsat
unknown
0.055s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl040.smt2
(content)
unsat
unknown
0.119s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl039.smt2
(content)
unsat
unknown
0.025s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl038.smt2
(content)
unsat
unknown
0.067s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl037.smt2
(content)
unsat
unknown
0.018s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl036.smt2
(content)
unsat
unknown
0.019s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl035.smt2
(content)
unsat
unknown
0.026s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl034.smt2
(content)
unsat
unknown
0.017s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl033.smt2
(content)
unsat
unknown
0.063s