root
file
detailed [5350..5374]
prev
next
detailed results (7457 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl023.smt2
(content)
unsat
unknown
0.056s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl022.smt2
(content)
unsat
unknown
0.046s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl021.smt2
(content)
unsat
unknown
0.062s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl020.smt2
(content)
unsat
unknown
0.046s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl019.smt2
(content)
unsat
unknown
0.081s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl018.smt2
(content)
unsat
unknown
0.029s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl017.smt2
(content)
unsat
unknown
0.059s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl016.smt2
(content)
unsat
unknown
0.081s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl015.smt2
(content)
unsat
unknown
0.019s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl014.smt2
(content)
unsat
unknown
0.180s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl013.smt2
(content)
unsat
unknown
0.036s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl012.smt2
(content)
unsat
unknown
0.029s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl011.smt2
(content)
unsat
unknown
0.039s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl010.smt2
(content)
unsat
unknown
0.028s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl009.smt2
(content)
unsat
unknown
0.042s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl008.smt2
(content)
unsat
unknown
0.038s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl007.smt2
(content)
unsat
unknown
0.022s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl006.smt2
(content)
unsat
unknown
0.013s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl005.smt2
(content)
unsat
unknown
0.013s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl004.smt2
(content)
unsat
unknown
0.017s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl003.smt2
(content)
unsat
unknown
0.011s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl002.smt2
(content)
unsat
unknown
0.014s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl001.smt2
(content)
unsat
unknown
0.014s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn999.smt2
(content)
unsat
unknown
0.175s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn998.smt2
(content)
sat
unknown
0.097s