detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409634/gensys_brn589.smt2 (content) sat sat 0.057s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409633/gensys_brn588.smt2 (content) sat sat 0.369s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409633/gensys_brn588.smt2 (content) sat sat 0.057s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409632/gensys_brn587.smt2 (content) sat sat 0.159s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409632/gensys_brn587.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409631/gensys_brn586.smt2 (content) sat sat 0.261s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409631/gensys_brn586.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409630/gensys_brn585.smt2 (content) sat sat 0.388s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409630/gensys_brn585.smt2 (content) sat sat 0.049s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409629/gensys_brn584.smt2 (content) sat sat 0.181s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409629/gensys_brn584.smt2 (content) sat sat 0.037s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409628/gensys_brn583.smt2 (content) sat sat 0.175s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409628/gensys_brn583.smt2 (content) sat sat 0.046s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409627/gensys_brn582.smt2 (content) sat sat 0.119s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409627/gensys_brn582.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409626/gensys_brn581.smt2 (content) sat sat 0.119s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409626/gensys_brn581.smt2 (content) sat sat 0.043s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409625/gensys_brn580.smt2 (content) sat sat 0.089s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409625/gensys_brn580.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409624/gensys_brn579.smt2 (content) sat sat 0.267s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409624/gensys_brn579.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409623/gensys_brn578.smt2 (content) sat sat 0.475s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409623/gensys_brn578.smt2 (content) sat sat 0.057s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409622/gensys_brn577.smt2 (content) sat sat 0.289s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409622/gensys_brn577.smt2 (content) sat sat 0.050s