detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn169.smt2 (content) sat sat 0.917s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn169.smt2 (content) sat sat 0.114s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn168.smt2 (content) sat sat 0.327s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn168.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn167.smt2 (content) sat sat 0.432s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn167.smt2 (content) sat sat 0.051s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn166.smt2 (content) unsat unsat 11.3s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn166.smt2 (content) unsat unsat 0.853s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn165.smt2 (content) sat sat 0.196s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn165.smt2 (content) sat sat 0.072s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn164.smt2 (content) sat sat 0.265s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn164.smt2 (content) sat sat 0.043s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn163.smt2 (content) unsat unsat 0.807s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn163.smt2 (content) unsat unsat 0.908s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn162.smt2 (content) sat sat 0.463s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn162.smt2 (content) sat sat 0.075s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn161.smt2 (content) sat sat 0.788s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn161.smt2 (content) sat sat 0.056s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn160.smt2 (content) sat sat 0.071s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn160.smt2 (content) sat sat 0.037s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn159.smt2 (content) unsat unsat 4.5s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn159.smt2 (content) unsat unsat 0.779s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn158.smt2 (content) sat sat 0.330s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn158.smt2 (content) sat sat 0.053s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn157.smt2 (content) sat sat 0.326s