detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn110.smt2 (content) sat sat 0.108s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1099.smt2 (content) sat sat 0.228s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1099.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1098.smt2 (content) unknown unsat 10s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1098.smt2 (content) unsat unsat 0.918s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1097.smt2 (content) sat sat 0.618s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1097.smt2 (content) sat sat 0.065s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1096.smt2 (content) sat sat 0.101s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1096.smt2 (content) sat sat 0.054s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1095.smt2 (content) sat sat 0.068s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1095.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1094.smt2 (content) sat sat 0.867s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1094.smt2 (content) sat sat 0.059s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1093.smt2 (content) sat sat 0.897s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1093.smt2 (content) sat sat 0.064s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1092.smt2 (content) sat sat 0.218s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1092.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1091.smt2 (content) sat sat 0.178s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1091.smt2 (content) sat sat 0.043s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1090.smt2 (content) sat sat 0.069s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1090.smt2 (content) sat sat 0.059s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn109.smt2 (content) sat sat 1.1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn109.smt2 (content) sat sat 0.071s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1089.smt2 (content) sat sat 0.049s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1089.smt2 (content) sat sat 0.033s