detailed results (28749 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409993/gensys_brn948.smt2 (content) sat sat 0.789s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409993/gensys_brn948.smt2 (content) sat sat 0.053s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409992/gensys_brn947.smt2 (content) sat sat 0.277s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409992/gensys_brn947.smt2 (content) sat sat 0.379s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409992/gensys_brn947.smt2 (content) sat sat 0.063s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409991/gensys_brn946.smt2 (content) sat sat 0.293s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409991/gensys_brn946.smt2 (content) sat sat 0.214s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409991/gensys_brn946.smt2 (content) sat sat 0.034s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409990/gensys_brn945.smt2 (content) unsat unsat 3s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409990/gensys_brn945.smt2 (content) unsat unsat 1.5s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409990/gensys_brn945.smt2 (content) unsat unsat 0.224s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409989/gensys_brn944.smt2 (content) sat sat 0.436s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409989/gensys_brn944.smt2 (content) sat sat 0.181s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409989/gensys_brn944.smt2 (content) sat sat 0.047s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409988/gensys_brn943.smt2 (content) sat sat 0.408s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409988/gensys_brn943.smt2 (content) sat sat 0.102s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409988/gensys_brn943.smt2 (content) sat sat 0.035s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409987/gensys_brn942.smt2 (content) sat sat 0.255s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409987/gensys_brn942.smt2 (content) sat sat 0.235s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409987/gensys_brn942.smt2 (content) sat sat 0.034s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409986/gensys_brn941.smt2 (content) sat sat 0.743s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409986/gensys_brn941.smt2 (content) sat sat 0.292s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409986/gensys_brn941.smt2 (content) sat sat 0.072s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409985/gensys_brn940.smt2 (content) sat sat 0.415s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409985/gensys_brn940.smt2 (content) sat sat 0.177s