detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn919.smt2 (content) unsat unsat 1.1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn919.smt2 (content) unsat unsat 0.081s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn918.smt2 (content) sat sat 0.255s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn918.smt2 (content) sat sat 0.050s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn917.smt2 (content) sat sat 0.416s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn917.smt2 (content) sat sat 0.050s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn916.smt2 (content) sat sat 0.348s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn916.smt2 (content) sat sat 0.037s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn915.smt2 (content) sat sat 0.352s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn915.smt2 (content) sat sat 0.046s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn914.smt2 (content) sat sat 0.306s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn914.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn913.smt2 (content) unsat unsat 1.2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn913.smt2 (content) unsat unsat 0.118s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn912.smt2 (content) sat sat 0.446s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn912.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn911.smt2 (content) sat sat 0.957s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn911.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn910.smt2 (content) sat sat 0.405s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn910.smt2 (content) sat sat 0.062s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn909.smt2 (content) sat sat 0.225s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn909.smt2 (content) sat sat 0.089s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn908.smt2 (content) sat sat 0.215s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn908.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn907.smt2 (content) sat sat 0.243s