detailed results (545 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410911/gensys_icl583.smt2 (content) unknown unsat 30.4s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410906/gensys_icl578.smt2 (content) unknown unsat 30.7s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410905/gensys_icl577.smt2 (content) unknown unsat 30.5s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410901/gensys_icl573.smt2 (content) unknown unsat 30.2s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410898/gensys_icl570.smt2 (content) unknown unsat 30.2s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410886/gensys_icl558.smt2 (content) unknown unsat 30.3s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410875/gensys_icl547.smt2 (content) unknown unsat 30.3s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410837/gensys_icl509.smt2 (content) unknown unsat 30.5s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410496/gensys_icl168.smt2 (content) unknown unsat 30.3s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410485/gensys_icl157.smt2 (content) unknown unsat 30.9s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410480/gensys_icl152.smt2 (content) unknown unsat 30.7s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410179/gensys_icl1031.smt2 (content) unknown unsat 30.2s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410176/gensys_icl1029.smt2 (content) unknown unsat 30.3s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410148/gensys_icl1003.smt2 (content) unknown unsat 30.5s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410131/gensys_icl087.smt2 (content) unknown unsat 30s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409942/gensys_brn897.smt2 (content) unknown unsat 30s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409936/gensys_brn891.smt2 (content) unknown unsat 30.5s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409914/gensys_brn869.smt2 (content) unknown unsat 30.9s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409851/gensys_brn806.smt2 (content) unknown unsat 30s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408863/gensys_brn1041.smt2 (content) unknown unsat 30.5s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408684/dead_dnd033.smt2 (content) unknown unsat 30.6s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408682/dead_dnd031.smt2 (content) unknown unsat 30.6s
mc2-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408200/PEQ019_size7.smt2 (content) unknown unsat 30.8s
mc2-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408199/PEQ019_size6.smt2 (content) unknown unsat 30s
mc2-dev /home/simon/workspace/smtlib/QF_UF/PEQ/408196/PEQ018_size7.smt2 (content) unknown unsat 30s