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.865s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn169.smt2 (content) sat sat 0.068s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn168.smt2 (content) sat sat 0.315s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn168.smt2 (content) sat sat 0.122s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn167.smt2 (content) sat sat 0.245s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn167.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn166.smt2 (content) timeout unsat 11.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn166.smt2 (content) unsat unsat 0.599s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn165.smt2 (content) sat sat 0.340s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn165.smt2 (content) sat sat 0.068s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn164.smt2 (content) sat sat 0.585s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn164.smt2 (content) sat sat 0.073s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn163.smt2 (content) unsat unsat 1.7s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn163.smt2 (content) unsat unsat 0.873s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn162.smt2 (content) sat sat 2.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn162.smt2 (content) sat sat 0.076s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn161.smt2 (content) sat sat 0.158s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn161.smt2 (content) sat sat 0.054s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn160.smt2 (content) sat sat 0.231s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn160.smt2 (content) sat sat 0.086s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn159.smt2 (content) unknown unsat 12.1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn159.smt2 (content) unsat unsat 0.907s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_brn158.smt2 (content) sat sat 0.305s
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.197s