detailed results (28749 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409693/gensys_brn648.smt2 (content) sat sat 0.120s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409693/gensys_brn648.smt2 (content) sat sat 0.034s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409692/gensys_brn647.smt2 (content) unsat unsat 1.6s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409692/gensys_brn647.smt2 (content) unsat unsat 0.353s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409692/gensys_brn647.smt2 (content) unsat unsat 0.241s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409691/gensys_brn646.smt2 (content) sat sat 2s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409691/gensys_brn646.smt2 (content) sat sat 0.349s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409691/gensys_brn646.smt2 (content) sat sat 0.059s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409690/gensys_brn645.smt2 (content) sat sat 1.8s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409690/gensys_brn645.smt2 (content) sat sat 0.631s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409690/gensys_brn645.smt2 (content) sat sat 0.046s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409689/gensys_brn644.smt2 (content) sat sat 0.488s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409689/gensys_brn644.smt2 (content) sat sat 0.392s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409689/gensys_brn644.smt2 (content) sat sat 0.060s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409688/gensys_brn643.smt2 (content) sat sat 0.637s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409688/gensys_brn643.smt2 (content) sat sat 0.147s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409688/gensys_brn643.smt2 (content) sat sat 0.049s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409687/gensys_brn642.smt2 (content) sat sat 0.625s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409687/gensys_brn642.smt2 (content) sat sat 0.369s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409687/gensys_brn642.smt2 (content) sat sat 0.046s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409686/gensys_brn641.smt2 (content) sat sat 0.475s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409686/gensys_brn641.smt2 (content) sat sat 0.215s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409686/gensys_brn641.smt2 (content) sat sat 0.063s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409685/gensys_brn640.smt2 (content) sat sat 0.329s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409685/gensys_brn640.smt2 (content) sat sat 0.336s