detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn144.smt2 (content) sat sat 0.470s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn144.smt2 (content) sat sat 0.057s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn143.smt2 (content) sat sat 0.535s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn143.smt2 (content) sat sat 0.055s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn142.smt2 (content) sat sat 0.416s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn142.smt2 (content) sat sat 0.121s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn141.smt2 (content) sat sat 0.424s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn141.smt2 (content) sat sat 0.055s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn140.smt2 (content) sat sat 0.346s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn140.smt2 (content) sat sat 0.065s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn139.smt2 (content) sat sat 0.418s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn139.smt2 (content) sat sat 0.059s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn138.smt2 (content) sat sat 0.467s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn138.smt2 (content) sat sat 0.109s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn137.smt2 (content) sat sat 0.308s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn137.smt2 (content) sat sat 0.048s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn136.smt2 (content) sat sat 0.633s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn136.smt2 (content) sat sat 0.063s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn135.smt2 (content) sat sat 0.212s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn135.smt2 (content) sat sat 0.061s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn134.smt2 (content) unsat unsat 6.2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn134.smt2 (content) unsat unsat 0.403s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn133.smt2 (content) unsat unsat 2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn133.smt2 (content) unsat unsat 0.413s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1327.smt2 (content) sat sat 0.145s