root
file
detailed [1225..1249]
prev
next
detailed results (4200 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
mc2
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410447/gensys_icl1275.smt2
(content)
unsat
unsat
3.8s
mc2
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410446/gensys_icl1274.smt2
(content)
unsat
unsat
1.9s
mc2
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410445/gensys_icl1273.smt2
(content)
unsat
unsat
2.2s
mc2
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410444/gensys_icl1272.smt2
(content)
unsat
unsat
1.4s
mc2
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410443/gensys_icl1271.smt2
(content)
unsat
unsat
1s
mc2
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410442/gensys_icl1270.smt2
(content)
unsat
unsat
1.8s
mc2
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410440/gensys_icl1269.smt2
(content)
unsat
unsat
1.5s
mc2
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410439/gensys_icl1268.smt2
(content)
unsat
unsat
1.8s
mc2
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410438/gensys_icl1267.smt2
(content)
unsat
unsat
0.936s
mc2
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410437/gensys_icl1266.smt2
(content)
unsat
unsat
5.3s
mc2
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410436/gensys_icl1265.smt2
(content)
unsat
unsat
1.5s
mc2
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410435/gensys_icl1264.smt2
(content)
unsat
unsat
1.4s
mc2
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410434/gensys_icl1263.smt2
(content)
unsat
unsat
4.8s
mc2
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410433/gensys_icl1262.smt2
(content)
unsat
unsat
0.246s
mc2
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410432/gensys_icl1261.smt2
(content)
unsat
unsat
0.946s
mc2
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410431/gensys_icl1260.smt2
(content)
unsat
unsat
5.4s
mc2
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410430/gensys_icl126.smt2
(content)
unsat
unsat
6s
mc2
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410429/gensys_icl1259.smt2
(content)
unsat
unsat
0.955s
mc2
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410428/gensys_icl1258.smt2
(content)
unsat
unsat
1.3s
mc2
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410427/gensys_icl1257.smt2
(content)
unsat
unsat
3.5s
mc2
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410425/gensys_icl1255.smt2
(content)
unsat
unsat
3s
mc2
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410422/gensys_icl1252.smt2
(content)
unsat
unsat
7s
mc2
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410420/gensys_icl1250.smt2
(content)
unsat
unsat
4.5s
mc2
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410418/gensys_icl1249.smt2
(content)
unsat
unsat
7s
mc2
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410417/gensys_icl1248.smt2
(content)
unsat
unsat
4.7s