detailed results (17584 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412360/iso_brn705.smt2 (content) sat sat 0.206s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412359/iso_brn704.smt2 (content) unsat unsat 0.146s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412358/iso_brn703.smt2 (content) unsat unsat 0.183s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412357/iso_brn702.smt2 (content) unsat unsat 0.098s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412356/iso_brn701.smt2 (content) unsat unsat 0.161s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412355/iso_brn700.smt2 (content) sat sat 0.213s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412354/iso_brn699.smt2 (content) sat sat 0.155s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412353/iso_brn698.smt2 (content) sat sat 0.170s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412352/iso_brn697.smt2 (content) sat sat 0.179s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412351/iso_brn696.smt2 (content) sat sat 0.297s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412350/iso_brn695.smt2 (content) unsat unsat 0.309s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412349/iso_brn694.smt2 (content) sat sat 0.098s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412348/iso_brn693.smt2 (content) sat sat 0.203s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412347/iso_brn692.smt2 (content) sat sat 0.240s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412346/iso_brn691.smt2 (content) unsat unsat 0.166s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412345/iso_brn690.smt2 (content) sat sat 0.212s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412344/iso_brn689.smt2 (content) unsat unsat 0.217s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412343/iso_brn688.smt2 (content) sat sat 0.196s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412342/iso_brn687.smt2 (content) unsat unsat 0.303s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412341/iso_brn686.smt2 (content) sat sat 0.196s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412340/iso_brn685.smt2 (content) sat sat 0.219s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412339/iso_brn684.smt2 (content) sat sat 0.154s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412338/iso_brn683.smt2 (content) unsat unsat 0.139s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412337/iso_brn682.smt2 (content) sat sat 0.096s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412336/iso_brn681.smt2 (content) sat sat 0.270s