detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409471/gensys_brn426.smt2 (content) sat sat 0.053s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409471/gensys_brn426.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409470/gensys_brn425.smt2 (content) unsat unsat 0.707s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409470/gensys_brn425.smt2 (content) unsat unsat 0.081s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409469/gensys_brn424.smt2 (content) sat sat 0.170s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409469/gensys_brn424.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409468/gensys_brn423.smt2 (content) sat sat 0.085s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409468/gensys_brn423.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409467/gensys_brn422.smt2 (content) sat sat 0.054s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409467/gensys_brn422.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409466/gensys_brn421.smt2 (content) unsat unsat 8.4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409466/gensys_brn421.smt2 (content) unsat unsat 0.879s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409465/gensys_brn420.smt2 (content) unsat unsat 8.6s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409465/gensys_brn420.smt2 (content) unsat unsat 0.616s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409464/gensys_brn419.smt2 (content) sat sat 0.147s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409464/gensys_brn419.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409463/gensys_brn418.smt2 (content) sat sat 0.254s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409463/gensys_brn418.smt2 (content) sat sat 0.070s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409462/gensys_brn417.smt2 (content) unsat unsat 0.464s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409462/gensys_brn417.smt2 (content) unsat unsat 0.082s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409461/gensys_brn416.smt2 (content) sat sat 0.091s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409461/gensys_brn416.smt2 (content) sat sat 0.039s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409460/gensys_brn415.smt2 (content) unsat unsat 3.4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409460/gensys_brn415.smt2 (content) unsat unsat 0.349s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409459/gensys_brn414.smt2 (content) sat sat 0.153s