detailed results (7772 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl019.smt2 (content) unsat unknown 0.855s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl018.smt2 (content) unsat unknown 0.297s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl018.smt2 (content) unsat unknown 0.301s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl017.smt2 (content) unsat unknown 1.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl017.smt2 (content) unsat unknown 1.2s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl016.smt2 (content) unsat unknown 1.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl016.smt2 (content) unsat unknown 1.5s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl015.smt2 (content) unsat unknown 0.519s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl015.smt2 (content) unsat unknown 0.515s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl014.smt2 (content) unsat unknown 0.860s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl014.smt2 (content) unsat unknown 0.849s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl013.smt2 (content) unsat unknown 1s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl013.smt2 (content) unsat unknown 1s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl012.smt2 (content) unsat unknown 0.618s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl012.smt2 (content) unsat unknown 0.636s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl011.smt2 (content) unsat unknown 0.307s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl011.smt2 (content) unsat unknown 0.305s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl010.smt2 (content) unsat unknown 0.333s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl010.smt2 (content) unsat unknown 0.335s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl009.smt2 (content) unsat unknown 0.245s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl009.smt2 (content) unsat unknown 0.243s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl008.smt2 (content) unsat unknown 0.641s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl008.smt2 (content) unsat unknown 0.634s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl007.smt2 (content) unsat unknown 0.125s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl007.smt2 (content) unsat unknown 0.121s