detailed results (652 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/dead_dnd_sk001.smt2 (content) unknown unsat 10.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl999.smt2 (content) unknown unsat 10.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl998.smt2 (content) unknown unsat 10.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl994.smt2 (content) unknown unsat 12.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl993.smt2 (content) unknown unsat 10.0s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl990.smt2 (content) unknown unsat 11.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl989.smt2 (content) unknown unsat 10.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl988.smt2 (content) unknown unsat 10.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl987.smt2 (content) unknown unsat 10.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl985.smt2 (content) unknown unsat 10.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl983.smt2 (content) unknown unsat 11s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl982.smt2 (content) unknown unsat 10.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl980.smt2 (content) unknown unsat 11.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl978.smt2 (content) unknown unsat 10.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl977.smt2 (content) unknown unsat 10.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl975.smt2 (content) unknown unsat 10.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl974.smt2 (content) unknown unsat 10.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl971.smt2 (content) unknown unsat 11.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl967.smt2 (content) unknown unsat 10.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl966.smt2 (content) unknown unsat 14.1s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl961.smt2 (content) unknown unsat 11s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl952.smt2 (content) unknown unsat 10.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl951.smt2 (content) unknown unsat 10.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl948.smt2 (content) unknown unsat 10.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl946.smt2 (content) unknown unsat 10.7s