detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409784/gensys_brn739.smt2 (content) sat sat 0.055s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409783/gensys_brn738.smt2 (content) unsat unsat 1.5s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409783/gensys_brn738.smt2 (content) unsat unsat 0.693s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409782/gensys_brn737.smt2 (content) unsat unsat 0.887s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409782/gensys_brn737.smt2 (content) unsat unsat 0.613s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409781/gensys_brn736.smt2 (content) sat sat 0.211s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409781/gensys_brn736.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409780/gensys_brn735.smt2 (content) sat sat 0.116s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409780/gensys_brn735.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409779/gensys_brn734.smt2 (content) sat sat 0.134s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409779/gensys_brn734.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409778/gensys_brn733.smt2 (content) sat sat 0.458s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409778/gensys_brn733.smt2 (content) sat sat 0.047s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409777/gensys_brn732.smt2 (content) unsat unsat 9.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409777/gensys_brn732.smt2 (content) unsat unsat 0.775s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409776/gensys_brn731.smt2 (content) sat sat 0.241s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409776/gensys_brn731.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409775/gensys_brn730.smt2 (content) sat sat 0.210s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409775/gensys_brn730.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409774/gensys_brn729.smt2 (content) sat sat 0.200s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409774/gensys_brn729.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409773/gensys_brn728.smt2 (content) sat sat 0.111s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409773/gensys_brn728.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409772/gensys_brn727.smt2 (content) unsat unsat 1.0s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409772/gensys_brn727.smt2 (content) unsat unsat 0.146s