detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409234/gensys_brn189.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409233/gensys_brn188.smt2 (content) sat sat 0.427s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409233/gensys_brn188.smt2 (content) sat sat 0.048s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409232/gensys_brn187.smt2 (content) sat sat 0.486s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409232/gensys_brn187.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409231/gensys_brn186.smt2 (content) sat sat 0.237s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409231/gensys_brn186.smt2 (content) sat sat 0.051s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409230/gensys_brn185.smt2 (content) sat sat 0.169s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409230/gensys_brn185.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409229/gensys_brn184.smt2 (content) sat sat 0.144s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409229/gensys_brn184.smt2 (content) sat sat 0.039s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409228/gensys_brn183.smt2 (content) sat sat 0.426s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409228/gensys_brn183.smt2 (content) sat sat 0.038s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409227/gensys_brn182.smt2 (content) sat sat 0.195s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409227/gensys_brn182.smt2 (content) sat sat 0.037s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409226/gensys_brn181.smt2 (content) sat sat 0.147s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409226/gensys_brn181.smt2 (content) sat sat 0.049s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409225/gensys_brn180.smt2 (content) unsat unsat 2.6s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409225/gensys_brn180.smt2 (content) unsat unsat 0.402s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409224/gensys_brn179.smt2 (content) sat sat 0.208s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409224/gensys_brn179.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409223/gensys_brn178.smt2 (content) sat sat 0.120s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409223/gensys_brn178.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409222/gensys_brn177.smt2 (content) sat sat 0.115s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409222/gensys_brn177.smt2 (content) sat sat 0.031s