detailed results (28749 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409118/gensys_brn1273.smt2 (content) sat sat 0.302s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409118/gensys_brn1273.smt2 (content) sat sat 0.035s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409117/gensys_brn1272.smt2 (content) sat sat 0.223s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409117/gensys_brn1272.smt2 (content) sat sat 0.166s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409117/gensys_brn1272.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409116/gensys_brn1271.smt2 (content) unsat unsat 4.7s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409116/gensys_brn1271.smt2 (content) unsat unsat 3.9s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409116/gensys_brn1271.smt2 (content) unsat unsat 0.370s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409115/gensys_brn1270.smt2 (content) sat sat 0.183s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409115/gensys_brn1270.smt2 (content) sat sat 0.086s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409115/gensys_brn1270.smt2 (content) sat sat 0.042s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409114/gensys_brn127.smt2 (content) sat sat 0.617s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409114/gensys_brn127.smt2 (content) sat sat 0.498s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409114/gensys_brn127.smt2 (content) sat sat 0.048s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409113/gensys_brn1269.smt2 (content) sat sat 0.166s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409113/gensys_brn1269.smt2 (content) sat sat 0.107s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409113/gensys_brn1269.smt2 (content) sat sat 0.049s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409112/gensys_brn1268.smt2 (content) sat sat 0.148s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409112/gensys_brn1268.smt2 (content) sat sat 0.130s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409112/gensys_brn1268.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409111/gensys_brn1267.smt2 (content) sat sat 0.186s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409111/gensys_brn1267.smt2 (content) sat sat 0.290s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409111/gensys_brn1267.smt2 (content) sat sat 0.034s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409110/gensys_brn1266.smt2 (content) sat sat 0.389s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409110/gensys_brn1266.smt2 (content) sat sat 0.425s