root
file
detailed [1225..1249]
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/loops6/iso_icl010.smt2
(content)
unsat
unknown
0.176s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl009.smt2
(content)
unsat
unknown
0.146s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl008.smt2
(content)
unsat
unknown
0.054s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl007.smt2
(content)
unsat
unknown
0.046s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl006.smt2
(content)
unsat
unknown
0.053s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl005.smt2
(content)
unsat
unknown
0.032s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl004.smt2
(content)
unsat
unknown
0.083s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl003.smt2
(content)
unsat
unknown
0.065s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl002.smt2
(content)
unsat
unknown
0.057s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl001.smt2
(content)
unsat
unknown
0.056s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn106.smt2
(content)
sat
unknown
0.201s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn105.smt2
(content)
sat
unknown
0.264s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn104.smt2
(content)
sat
unknown
0.214s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn103.smt2
(content)
sat
unknown
0.151s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn102.smt2
(content)
sat
unknown
0.143s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn101.smt2
(content)
sat
unknown
0.156s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn100.smt2
(content)
sat
unknown
0.124s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn099.smt2
(content)
sat
unknown
0.084s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn098.smt2
(content)
unsat
unknown
0.140s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn097.smt2
(content)
sat
unknown
0.236s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn096.smt2
(content)
unsat
unknown
0.090s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn095.smt2
(content)
sat
unknown
0.171s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn094.smt2
(content)
sat
unknown
0.220s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn093.smt2
(content)
sat
unknown
0.211s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn092.smt2
(content)
sat
unknown
0.250s