detailed results (19166 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409222/gensys_brn177.smt2 (content) sat sat 0.094s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409222/gensys_brn177.smt2 (content) sat sat 0.025s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409221/gensys_brn176.smt2 (content) sat sat 0.082s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409221/gensys_brn176.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409220/gensys_brn175.smt2 (content) sat sat 0.069s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409220/gensys_brn175.smt2 (content) sat sat 0.025s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409219/gensys_brn174.smt2 (content) sat sat 0.058s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409219/gensys_brn174.smt2 (content) sat sat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409218/gensys_brn173.smt2 (content) sat sat 0.062s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409218/gensys_brn173.smt2 (content) sat sat 0.025s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409217/gensys_brn172.smt2 (content) sat sat 0.153s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409217/gensys_brn172.smt2 (content) sat sat 0.145s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409216/gensys_brn171.smt2 (content) sat sat 1.2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409216/gensys_brn171.smt2 (content) sat sat 0.184s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409215/gensys_brn170.smt2 (content) sat sat 0.187s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409215/gensys_brn170.smt2 (content) sat sat 0.103s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409214/gensys_brn169.smt2 (content) sat sat 0.637s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409214/gensys_brn169.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409213/gensys_brn168.smt2 (content) sat sat 0.097s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409213/gensys_brn168.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409212/gensys_brn167.smt2 (content) sat sat 0.173s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409212/gensys_brn167.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409211/gensys_brn166.smt2 (content) unsat unsat 7.4s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409211/gensys_brn166.smt2 (content) unsat unsat 0.710s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409210/gensys_brn165.smt2 (content) sat sat 0.179s