detailed results (1788 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411290/gensys_icl962.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411289/gensys_icl961.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411280/gensys_icl952.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411279/gensys_icl951.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411277/gensys_icl949.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411276/gensys_icl948.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411273/gensys_icl945.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411272/gensys_icl944.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411271/gensys_icl943.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411270/gensys_icl942.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411268/gensys_icl940.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411267/gensys_icl939.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411266/gensys_icl938.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411264/gensys_icl936.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411254/gensys_icl926.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411252/gensys_icl924.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411250/gensys_icl922.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411249/gensys_icl921.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411248/gensys_icl920.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411237/gensys_icl909.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411235/gensys_icl907.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411234/gensys_icl906.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411232/gensys_icl904.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411231/gensys_icl903.smt2 (content) timeout unsat 10s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411229/gensys_icl901.smt2 (content) timeout unsat 10s