detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn432.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn431.smt2 (content) sat sat 0.307s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn431.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn430.smt2 (content) sat sat 0.278s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn430.smt2 (content) sat sat 0.056s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn429.smt2 (content) sat sat 0.475s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn429.smt2 (content) sat sat 0.087s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn428.smt2 (content) unsat unsat 0.128s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn428.smt2 (content) unsat unsat 0.059s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn427.smt2 (content) unsat unsat 0.218s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn427.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn426.smt2 (content) sat sat 0.117s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn426.smt2 (content) sat sat 0.043s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn425.smt2 (content) unsat unsat 1.4s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn425.smt2 (content) unsat unsat 0.099s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn424.smt2 (content) sat sat 0.158s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn424.smt2 (content) sat sat 0.042s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn423.smt2 (content) sat sat 0.116s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn423.smt2 (content) sat sat 0.038s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn422.smt2 (content) sat sat 0.109s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn422.smt2 (content) sat sat 0.039s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn421.smt2 (content) unknown unsat 11s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn421.smt2 (content) unsat unsat 0.741s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn420.smt2 (content) unknown unsat 11.2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn420.smt2 (content) unsat unsat 0.774s