root
file
detailed [300..324]
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/loops6/gensys_icl008.smt2
(content)
unsat
unknown
0.123s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl007.smt2
(content)
unsat
unknown
0.157s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl006.smt2
(content)
unsat
unknown
0.106s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl005.smt2
(content)
unsat
unknown
0.074s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl004.smt2
(content)
unsat
unknown
0.149s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl003.smt2
(content)
unsat
unknown
0.126s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl002.smt2
(content)
unsat
unknown
0.091s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_icl001.smt2
(content)
unsat
unknown
0.214s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn106.smt2
(content)
unsat
unknown
1.4s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn105.smt2
(content)
unsat
unknown
1.4s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn097.smt2
(content)
unsat
unknown
1.2s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn095.smt2
(content)
unsat
unknown
3.6s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn092.smt2
(content)
unsat
unknown
1s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn089.smt2
(content)
unsat
unknown
0.817s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn087.smt2
(content)
unsat
unknown
1.8s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn085.smt2
(content)
unsat
unknown
2.6s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn084.smt2
(content)
unsat
unknown
1.5s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn081.smt2
(content)
unsat
unknown
0.786s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn076.smt2
(content)
unsat
unknown
2s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn073.smt2
(content)
unsat
unknown
2.6s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn065.smt2
(content)
unsat
unknown
0.370s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn064.smt2
(content)
unsat
unknown
1.2s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn052.smt2
(content)
unsat
unknown
0.747s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn051.smt2
(content)
unsat
unknown
1.9s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/gensys_brn040.smt2
(content)
unsat
unknown
0.343s