detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn844.smt2 (content) sat sat 1.3s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn844.smt2 (content) sat sat 0.122s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn843.smt2 (content) sat sat 0.303s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn843.smt2 (content) sat sat 0.043s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn842.smt2 (content) sat sat 0.242s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn842.smt2 (content) sat sat 0.133s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn841.smt2 (content) sat sat 0.326s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn841.smt2 (content) sat sat 0.060s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn840.smt2 (content) sat sat 0.305s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn840.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn839.smt2 (content) sat sat 0.946s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn839.smt2 (content) sat sat 0.077s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn838.smt2 (content) timeout unsat 12.9s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn838.smt2 (content) unsat unsat 3s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn837.smt2 (content) sat sat 0.729s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn837.smt2 (content) sat sat 0.085s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn836.smt2 (content) unsat unsat 0.574s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn836.smt2 (content) unsat unsat 0.090s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn835.smt2 (content) sat sat 0.313s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn835.smt2 (content) sat sat 0.053s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn834.smt2 (content) unsat unsat 3.5s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn834.smt2 (content) unsat unsat 0.542s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn833.smt2 (content) sat sat 0.384s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn833.smt2 (content) sat sat 0.056s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn832.smt2 (content) sat sat 1.4s