detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409160/gensys_brn1311.smt2 (content) sat sat 0.031s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409159/gensys_brn1310.smt2 (content) sat sat 0.082s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409159/gensys_brn1310.smt2 (content) sat sat 0.068s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409159/gensys_brn1310.smt2 (content) sat sat 0.031s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409158/gensys_brn131.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409158/gensys_brn131.smt2 (content) unsat unsat 9s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409158/gensys_brn131.smt2 (content) unsat unsat 0.890s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409157/gensys_brn1309.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409157/gensys_brn1309.smt2 (content) sat sat 0.052s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409157/gensys_brn1309.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409156/gensys_brn1308.smt2 (content) unsat unsat 4.5s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409156/gensys_brn1308.smt2 (content) unsat unsat 4.9s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409156/gensys_brn1308.smt2 (content) unsat unsat 0.108s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409155/gensys_brn1307.smt2 (content) sat sat 0.246s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409155/gensys_brn1307.smt2 (content) sat sat 0.263s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409155/gensys_brn1307.smt2 (content) sat sat 0.055s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409154/gensys_brn1306.smt2 (content) sat sat 0.134s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409154/gensys_brn1306.smt2 (content) sat sat 0.092s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409154/gensys_brn1306.smt2 (content) sat sat 0.038s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409153/gensys_brn1305.smt2 (content) sat sat 0.255s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409153/gensys_brn1305.smt2 (content) sat sat 0.145s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409153/gensys_brn1305.smt2 (content) sat sat 0.053s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409152/gensys_brn1304.smt2 (content) sat sat 0.396s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409152/gensys_brn1304.smt2 (content) sat sat 0.245s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409152/gensys_brn1304.smt2 (content) sat sat 0.046s