detailed results (28749 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409843/gensys_brn798.smt2 (content) sat sat 0.124s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409843/gensys_brn798.smt2 (content) sat sat 0.035s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409842/gensys_brn797.smt2 (content) sat sat 0.288s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409842/gensys_brn797.smt2 (content) sat sat 0.207s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409842/gensys_brn797.smt2 (content) sat sat 0.039s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409841/gensys_brn796.smt2 (content) sat sat 1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409841/gensys_brn796.smt2 (content) sat sat 0.304s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409841/gensys_brn796.smt2 (content) sat sat 0.038s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409840/gensys_brn795.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409840/gensys_brn795.smt2 (content) unsat unsat 8.0s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409840/gensys_brn795.smt2 (content) unsat unsat 0.367s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409839/gensys_brn794.smt2 (content) unsat unsat 5.4s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409839/gensys_brn794.smt2 (content) unsat unsat 0.325s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409839/gensys_brn794.smt2 (content) unsat unsat 0.484s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409838/gensys_brn793.smt2 (content) sat sat 0.592s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409838/gensys_brn793.smt2 (content) sat sat 0.184s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409838/gensys_brn793.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409837/gensys_brn792.smt2 (content) sat sat 0.213s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409837/gensys_brn792.smt2 (content) sat sat 0.252s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409837/gensys_brn792.smt2 (content) sat sat 0.036s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409836/gensys_brn791.smt2 (content) sat sat 0.827s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409836/gensys_brn791.smt2 (content) sat sat 0.187s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409836/gensys_brn791.smt2 (content) sat sat 0.050s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409835/gensys_brn790.smt2 (content) sat sat 0.196s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409835/gensys_brn790.smt2 (content) sat sat 0.140s