detailed results (7772 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn034.smt2 (content) unsat unknown 0.363s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn034.smt2 (content) unsat unknown 0.369s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn033.smt2 (content) unsat unknown 0.188s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn033.smt2 (content) unsat unknown 0.187s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn024.smt2 (content) unsat unknown 0.278s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn024.smt2 (content) unsat unknown 0.267s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn023.smt2 (content) unsat unknown 1.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn023.smt2 (content) unsat unknown 1.3s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn020.smt2 (content) unsat unknown 0.534s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn020.smt2 (content) unsat unknown 0.534s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn009.smt2 (content) unsat unknown 0.202s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn009.smt2 (content) unsat unknown 0.197s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn007.smt2 (content) unsat unknown 0.063s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn007.smt2 (content) unsat unknown 0.063s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd066.smt2 (content) unsat unknown 1.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd066.smt2 (content) unsat unknown 1.6s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd065.smt2 (content) unsat unknown 1.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd065.smt2 (content) unsat unknown 1.3s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd064.smt2 (content) unsat unknown 2.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd064.smt2 (content) unsat unknown 2.6s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd063.smt2 (content) unsat unknown 0.641s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd063.smt2 (content) unsat unknown 0.647s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd062.smt2 (content) unsat unknown 0.439s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd062.smt2 (content) unsat unknown 0.437s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd061.smt2 (content) unsat unknown 0.924s