detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn594.smt2 (content) sat sat 0.663s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn594.smt2 (content) sat sat 0.055s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn593.smt2 (content) unsat unsat 3.6s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn593.smt2 (content) unsat unsat 0.827s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn592.smt2 (content) sat sat 1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn592.smt2 (content) sat sat 0.149s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn591.smt2 (content) unknown unsat 12.6s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn591.smt2 (content) unsat unsat 1.1s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn590.smt2 (content) sat sat 1.2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn590.smt2 (content) sat sat 0.074s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn589.smt2 (content) sat sat 0.801s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn589.smt2 (content) sat sat 0.121s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn588.smt2 (content) sat sat 0.284s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn588.smt2 (content) sat sat 0.078s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn587.smt2 (content) sat sat 0.241s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn587.smt2 (content) sat sat 0.077s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn586.smt2 (content) sat sat 0.571s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn586.smt2 (content) sat sat 0.101s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn585.smt2 (content) sat sat 0.133s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn585.smt2 (content) sat sat 0.043s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn584.smt2 (content) sat sat 0.260s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn584.smt2 (content) sat sat 0.055s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn583.smt2 (content) sat sat 0.180s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn583.smt2 (content) sat sat 0.038s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn582.smt2 (content) sat sat 0.115s