detailed results (28749 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408818/gensys_brn1000.smt2 (content) unsat unsat 1.2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408818/gensys_brn1000.smt2 (content) unsat unsat 0.132s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408817/gensys_brn100.smt2 (content) sat sat 0.341s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408817/gensys_brn100.smt2 (content) sat sat 0.135s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408817/gensys_brn100.smt2 (content) sat sat 0.034s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408816/gensys_brn099.smt2 (content) sat sat 0.202s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408816/gensys_brn099.smt2 (content) sat sat 0.130s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408816/gensys_brn099.smt2 (content) sat sat 0.039s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408815/gensys_brn098.smt2 (content) sat sat 0.368s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408815/gensys_brn098.smt2 (content) sat sat 0.101s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408815/gensys_brn098.smt2 (content) sat sat 0.046s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408814/gensys_brn097.smt2 (content) sat sat 0.216s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408814/gensys_brn097.smt2 (content) sat sat 0.092s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408814/gensys_brn097.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408813/gensys_brn096.smt2 (content) sat sat 0.089s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408813/gensys_brn096.smt2 (content) sat sat 0.106s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408813/gensys_brn096.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408812/gensys_brn095.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408812/gensys_brn095.smt2 (content) unsat unsat 4.9s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408812/gensys_brn095.smt2 (content) unsat unsat 0.762s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408811/gensys_brn094.smt2 (content) sat sat 0.676s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408811/gensys_brn094.smt2 (content) sat sat 0.134s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408811/gensys_brn094.smt2 (content) sat sat 0.038s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408810/gensys_brn093.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408810/gensys_brn093.smt2 (content) timeout unsat 11s