detailed results (28749 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410001/gensys_brn956.smt2 (content) unsat unsat 1.4s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410001/gensys_brn956.smt2 (content) unsat unsat 1.2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410001/gensys_brn956.smt2 (content) unsat unsat 0.199s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410000/gensys_brn955.smt2 (content) sat sat 0.235s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410000/gensys_brn955.smt2 (content) sat sat 0.217s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410000/gensys_brn955.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409999/gensys_brn954.smt2 (content) unsat unsat 8.8s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409999/gensys_brn954.smt2 (content) unsat unsat 4s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409999/gensys_brn954.smt2 (content) unsat unsat 0.469s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409998/gensys_brn953.smt2 (content) sat sat 0.260s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409998/gensys_brn953.smt2 (content) sat sat 0.322s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409998/gensys_brn953.smt2 (content) sat sat 0.034s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409997/gensys_brn952.smt2 (content) sat sat 0.233s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409997/gensys_brn952.smt2 (content) sat sat 0.123s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409997/gensys_brn952.smt2 (content) sat sat 0.031s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409996/gensys_brn951.smt2 (content) sat sat 0.387s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409996/gensys_brn951.smt2 (content) sat sat 0.290s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409996/gensys_brn951.smt2 (content) sat sat 0.036s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409995/gensys_brn950.smt2 (content) sat sat 0.407s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409995/gensys_brn950.smt2 (content) sat sat 0.416s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409995/gensys_brn950.smt2 (content) sat sat 0.048s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409994/gensys_brn949.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409994/gensys_brn949.smt2 (content) unsat unsat 6.8s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409994/gensys_brn949.smt2 (content) unsat unsat 0.444s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409993/gensys_brn948.smt2 (content) sat sat 0.573s