detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1213.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1212.smt2 (content) sat sat 0.209s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1212.smt2 (content) sat sat 0.054s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1211.smt2 (content) sat sat 0.247s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1211.smt2 (content) sat sat 0.056s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1210.smt2 (content) sat sat 0.104s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1210.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn121.smt2 (content) sat sat 0.120s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn121.smt2 (content) sat sat 0.049s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1209.smt2 (content) sat sat 0.209s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1209.smt2 (content) sat sat 0.060s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1208.smt2 (content) sat sat 0.251s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1208.smt2 (content) sat sat 0.073s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1207.smt2 (content) sat sat 0.348s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1207.smt2 (content) sat sat 0.059s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1206.smt2 (content) sat sat 0.215s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1206.smt2 (content) sat sat 0.046s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1205.smt2 (content) sat sat 0.308s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1205.smt2 (content) sat sat 0.120s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1204.smt2 (content) sat sat 0.124s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1204.smt2 (content) sat sat 0.042s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1203.smt2 (content) sat sat 0.414s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1203.smt2 (content) sat sat 0.056s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1202.smt2 (content) sat sat 0.259s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1202.smt2 (content) sat sat 0.053s