detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn769.smt2 (content) timeout unsat 12.8s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn769.smt2 (content) unsat unsat 0.730s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn768.smt2 (content) sat sat 1.6s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn768.smt2 (content) sat sat 0.038s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn767.smt2 (content) sat sat 0.352s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn767.smt2 (content) sat sat 0.058s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn766.smt2 (content) unsat unsat 7.2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn766.smt2 (content) unsat unsat 0.629s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn765.smt2 (content) sat sat 0.293s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn765.smt2 (content) sat sat 0.075s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn764.smt2 (content) sat sat 1.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn764.smt2 (content) sat sat 0.062s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn763.smt2 (content) sat sat 0.699s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn763.smt2 (content) sat sat 0.050s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn762.smt2 (content) sat sat 0.181s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn762.smt2 (content) sat sat 0.051s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn761.smt2 (content) unsat unsat 8.4s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn761.smt2 (content) unsat unsat 1.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn760.smt2 (content) sat sat 0.334s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn760.smt2 (content) sat sat 0.119s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn759.smt2 (content) sat sat 0.445s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn759.smt2 (content) sat sat 0.068s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn758.smt2 (content) sat sat 0.247s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn758.smt2 (content) sat sat 0.056s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn757.smt2 (content) sat sat 0.223s