detailed results (19166 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409635/gensys_brn590.smt2 (content) sat sat 0.114s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409634/gensys_brn589.smt2 (content) sat sat 0.237s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409634/gensys_brn589.smt2 (content) sat sat 0.070s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409633/gensys_brn588.smt2 (content) sat sat 0.250s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409633/gensys_brn588.smt2 (content) sat sat 0.063s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409632/gensys_brn587.smt2 (content) sat sat 0.138s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409632/gensys_brn587.smt2 (content) sat sat 0.039s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409631/gensys_brn586.smt2 (content) sat sat 0.221s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409631/gensys_brn586.smt2 (content) sat sat 0.038s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409630/gensys_brn585.smt2 (content) sat sat 0.317s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409630/gensys_brn585.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409629/gensys_brn584.smt2 (content) sat sat 0.143s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409629/gensys_brn584.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409628/gensys_brn583.smt2 (content) sat sat 0.088s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409628/gensys_brn583.smt2 (content) sat sat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409627/gensys_brn582.smt2 (content) sat sat 0.101s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409627/gensys_brn582.smt2 (content) sat sat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409626/gensys_brn581.smt2 (content) sat sat 0.084s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409626/gensys_brn581.smt2 (content) sat sat 0.025s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409625/gensys_brn580.smt2 (content) sat sat 0.075s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409625/gensys_brn580.smt2 (content) sat sat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409624/gensys_brn579.smt2 (content) sat sat 0.217s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409624/gensys_brn579.smt2 (content) sat sat 0.048s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409623/gensys_brn578.smt2 (content) sat sat 0.382s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409623/gensys_brn578.smt2 (content) sat sat 0.042s