detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409421/gensys_brn376.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409421/gensys_brn376.smt2 (content) unsat unsat 0.711s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409420/gensys_brn375.smt2 (content) sat sat 0.263s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409420/gensys_brn375.smt2 (content) sat sat 0.037s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409419/gensys_brn374.smt2 (content) sat sat 0.213s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409419/gensys_brn374.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409418/gensys_brn373.smt2 (content) unsat unsat 3.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409418/gensys_brn373.smt2 (content) unsat unsat 0.371s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409417/gensys_brn372.smt2 (content) sat sat 0.464s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409417/gensys_brn372.smt2 (content) sat sat 0.037s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409416/gensys_brn371.smt2 (content) sat sat 0.132s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409416/gensys_brn371.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409415/gensys_brn370.smt2 (content) sat sat 0.238s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409415/gensys_brn370.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409414/gensys_brn369.smt2 (content) sat sat 0.118s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409414/gensys_brn369.smt2 (content) sat sat 0.059s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409413/gensys_brn368.smt2 (content) unsat unsat 1.0s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409413/gensys_brn368.smt2 (content) unsat unsat 0.081s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409412/gensys_brn367.smt2 (content) unsat unsat 1.0s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409412/gensys_brn367.smt2 (content) unsat unsat 0.096s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409411/gensys_brn366.smt2 (content) sat sat 0.171s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409411/gensys_brn366.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409410/gensys_brn365.smt2 (content) unsat unsat 3.5s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409410/gensys_brn365.smt2 (content) unsat unsat 0.158s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409409/gensys_brn364.smt2 (content) sat sat 0.176s