detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1236.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1235.smt2 (content) sat sat 0.192s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1235.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1234.smt2 (content) sat sat 0.148s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1234.smt2 (content) sat sat 0.088s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1233.smt2 (content) unsat unsat 5.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1233.smt2 (content) unsat unsat 0.114s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1232.smt2 (content) sat sat 0.170s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1232.smt2 (content) sat sat 0.043s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1231.smt2 (content) unsat unsat 11.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1231.smt2 (content) unsat unsat 0.140s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1230.smt2 (content) unsat unsat 6.9s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1230.smt2 (content) unsat unsat 0.165s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn123.smt2 (content) unsat unsat 4.6s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn123.smt2 (content) unsat unsat 0.231s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1229.smt2 (content) sat sat 0.279s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1229.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1228.smt2 (content) sat sat 0.157s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1228.smt2 (content) sat sat 0.048s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1227.smt2 (content) sat sat 0.214s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1227.smt2 (content) sat sat 0.049s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1226.smt2 (content) unsat unsat 1.2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1226.smt2 (content) unsat unsat 0.045s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1225.smt2 (content) sat sat 0.173s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1225.smt2 (content) sat sat 0.044s