detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409110/gensys_brn1266.smt2 (content) sat sat 0.045s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409109/gensys_brn1265.smt2 (content) sat sat 0.239s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409109/gensys_brn1265.smt2 (content) sat sat 0.145s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409109/gensys_brn1265.smt2 (content) sat sat 0.036s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409108/gensys_brn1264.smt2 (content) unsat unsat 1.2s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409108/gensys_brn1264.smt2 (content) unsat unsat 1.3s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409108/gensys_brn1264.smt2 (content) unsat unsat 0.055s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409107/gensys_brn1263.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409107/gensys_brn1263.smt2 (content) unsat unsat 6.7s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409107/gensys_brn1263.smt2 (content) unsat unsat 0.086s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409106/gensys_brn1262.smt2 (content) unsat unsat 6.4s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409106/gensys_brn1262.smt2 (content) unsat unsat 4.7s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409106/gensys_brn1262.smt2 (content) unsat unsat 0.069s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409105/gensys_brn1261.smt2 (content) sat sat 0.277s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409105/gensys_brn1261.smt2 (content) sat sat 0.239s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409105/gensys_brn1261.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409104/gensys_brn1260.smt2 (content) unsat unsat 5.6s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409104/gensys_brn1260.smt2 (content) unsat unsat 4.6s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409104/gensys_brn1260.smt2 (content) unsat unsat 0.069s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409103/gensys_brn126.smt2 (content) sat sat 0.674s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409103/gensys_brn126.smt2 (content) sat sat 0.320s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409103/gensys_brn126.smt2 (content) sat sat 0.037s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409102/gensys_brn1259.smt2 (content) sat sat 0.226s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409102/gensys_brn1259.smt2 (content) sat sat 0.250s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409102/gensys_brn1259.smt2 (content) sat sat 0.045s