detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn169.smt2 (content) sat sat 0.612s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn169.smt2 (content) sat sat 0.124s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn168.smt2 (content) sat sat 0.368s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn168.smt2 (content) sat sat 0.059s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn167.smt2 (content) sat sat 0.231s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn167.smt2 (content) sat sat 0.049s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn166.smt2 (content) unknown unsat 10.9s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn166.smt2 (content) unsat unsat 0.864s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn165.smt2 (content) sat sat 0.437s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn165.smt2 (content) sat sat 0.138s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn164.smt2 (content) sat sat 0.369s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn164.smt2 (content) sat sat 0.066s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn163.smt2 (content) unsat unsat 0.847s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn163.smt2 (content) unsat unsat 0.790s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn162.smt2 (content) sat sat 0.573s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn162.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn161.smt2 (content) sat sat 0.510s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn161.smt2 (content) sat sat 0.074s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn160.smt2 (content) sat sat 0.130s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn160.smt2 (content) sat sat 0.042s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn159.smt2 (content) unsat unsat 6s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn159.smt2 (content) unsat unsat 0.884s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn158.smt2 (content) sat sat 0.280s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn158.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn157.smt2 (content) sat sat 0.229s