detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn744.smt2 (content) sat sat 0.204s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn744.smt2 (content) sat sat 0.050s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn743.smt2 (content) sat sat 0.803s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn743.smt2 (content) sat sat 0.049s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn742.smt2 (content) unsat unsat 2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn742.smt2 (content) unsat unsat 0.155s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn741.smt2 (content) sat sat 0.200s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn741.smt2 (content) sat sat 0.056s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn740.smt2 (content) sat sat 0.320s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn740.smt2 (content) sat sat 0.059s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn739.smt2 (content) sat sat 2.9s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn739.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn738.smt2 (content) unsat unsat 2.6s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn738.smt2 (content) unsat unsat 0.668s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn737.smt2 (content) unsat unsat 1.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn737.smt2 (content) unsat unsat 0.567s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn736.smt2 (content) sat sat 0.223s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn736.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn735.smt2 (content) sat sat 0.373s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn735.smt2 (content) sat sat 0.055s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn734.smt2 (content) sat sat 0.173s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn734.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn733.smt2 (content) sat sat 0.409s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn733.smt2 (content) sat sat 0.132s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn732.smt2 (content) timeout unsat 11.6s