detailed results (28749 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409968/gensys_brn923.smt2 (content) sat sat 0.104s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409968/gensys_brn923.smt2 (content) sat sat 0.050s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409967/gensys_brn922.smt2 (content) sat sat 0.156s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409967/gensys_brn922.smt2 (content) sat sat 0.098s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409967/gensys_brn922.smt2 (content) sat sat 0.034s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409966/gensys_brn921.smt2 (content) sat sat 0.286s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409966/gensys_brn921.smt2 (content) sat sat 0.177s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409966/gensys_brn921.smt2 (content) sat sat 0.063s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409965/gensys_brn920.smt2 (content) sat sat 0.353s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409965/gensys_brn920.smt2 (content) sat sat 0.148s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409965/gensys_brn920.smt2 (content) sat sat 0.037s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409964/gensys_brn919.smt2 (content) unsat unsat 2.3s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409964/gensys_brn919.smt2 (content) unsat unsat 0.691s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409964/gensys_brn919.smt2 (content) unsat unsat 0.067s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409963/gensys_brn918.smt2 (content) sat sat 0.337s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409963/gensys_brn918.smt2 (content) sat sat 0.157s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409963/gensys_brn918.smt2 (content) sat sat 0.033s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409962/gensys_brn917.smt2 (content) sat sat 0.213s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409962/gensys_brn917.smt2 (content) sat sat 0.543s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409962/gensys_brn917.smt2 (content) sat sat 0.054s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409961/gensys_brn916.smt2 (content) sat sat 0.605s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409961/gensys_brn916.smt2 (content) sat sat 0.185s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409961/gensys_brn916.smt2 (content) sat sat 0.049s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409960/gensys_brn915.smt2 (content) sat sat 0.344s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409960/gensys_brn915.smt2 (content) sat sat 0.113s