root
file
detailed [5825..5849]
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_icl214.smt2
(content)
unsat
unknown
0.088s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl213.smt2
(content)
unsat
unknown
0.050s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl212.smt2
(content)
unsat
unknown
0.023s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl211.smt2
(content)
unsat
unknown
0.029s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl210.smt2
(content)
unsat
unknown
0.051s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl209.smt2
(content)
unsat
unknown
0.035s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl208.smt2
(content)
unsat
unknown
0.039s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl207.smt2
(content)
unsat
unknown
0.075s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl206.smt2
(content)
unsat
unknown
0.027s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl205.smt2
(content)
unsat
unknown
0.023s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl204.smt2
(content)
unsat
unknown
0.058s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl203.smt2
(content)
unsat
unknown
0.039s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl202.smt2
(content)
unsat
unknown
0.113s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl201.smt2
(content)
unsat
unknown
0.092s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl200.smt2
(content)
unsat
unknown
0.048s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl199.smt2
(content)
unsat
unknown
0.109s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl198.smt2
(content)
unsat
unknown
0.206s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl197.smt2
(content)
unsat
unknown
0.047s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl196.smt2
(content)
unsat
unknown
0.084s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl195.smt2
(content)
unsat
unknown
0.031s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl194.smt2
(content)
unsat
unknown
0.094s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl193.smt2
(content)
unsat
unknown
0.053s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl192.smt2
(content)
unsat
unknown
0.040s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl191.smt2
(content)
unsat
unknown
0.141s
mc2
/home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl190.smt2
(content)
unsat
unknown
0.228s