root
file
detailed [5050..5074]
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_brn722.smt2
(content)
sat
unknown
0.138s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn721.smt2
(content)
sat
unknown
0.138s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn720.smt2
(content)
sat
unknown
0.193s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn719.smt2
(content)
sat
unknown
0.102s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn718.smt2
(content)
sat
unknown
0.063s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn717.smt2
(content)
unsat
unknown
0.212s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn716.smt2
(content)
sat
unknown
0.083s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn715.smt2
(content)
sat
unknown
0.075s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn714.smt2
(content)
sat
unknown
0.033s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn713.smt2
(content)
sat
unknown
0.033s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn712.smt2
(content)
sat
unknown
0.208s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn711.smt2
(content)
unsat
unknown
0.211s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn710.smt2
(content)
sat
unknown
0.052s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn709.smt2
(content)
sat
unknown
0.206s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn708.smt2
(content)
sat
unknown
0.109s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn707.smt2
(content)
sat
unknown
0.143s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn706.smt2
(content)
sat
unknown
1.2s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn705.smt2
(content)
sat
unknown
0.216s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn704.smt2
(content)
unsat
unknown
0.071s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn703.smt2
(content)
unsat
unknown
0.094s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn702.smt2
(content)
unsat
unknown
0.066s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn701.smt2
(content)
unsat
unknown
0.100s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn700.smt2
(content)
sat
unknown
0.136s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn699.smt2
(content)
sat
unknown
0.342s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn698.smt2
(content)
sat
unknown
0.094s