detailed results (72 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_icl_repgen005.smt2 (content) unknown unknown 10.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen_sk044.smt2 (content) unknown unknown 10.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen045.smt2 (content) unknown unknown 10.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_icl_repgen013.smt2 (content) unknown unknown 10.5s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_icl_repgen008.smt2 (content) unknown unknown 10.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/dead_dnd001.smt2 (content) unknown unknown 10.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl969.smt2 (content) unknown unknown 10.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl851.smt2 (content) unknown unknown 10.7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl849.smt2 (content) unknown unknown 11.7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl843.smt2 (content) unknown unknown 10.0s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl834.smt2 (content) unknown unknown 10.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl821.smt2 (content) unknown unknown 22.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl816.smt2 (content) unknown unknown 16.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl805.smt2 (content) unknown unknown 11.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl794.smt2 (content) unknown unknown 10.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl783.smt2 (content) unknown unknown 11s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl776.smt2 (content) unknown unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl753.smt2 (content) unknown unknown 10.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl690.smt2 (content) unknown unknown 10.5s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl674.smt2 (content) unknown unknown 10.7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl577.smt2 (content) unknown unknown 10.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl571.smt2 (content) unknown unknown 11.5s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl558.smt2 (content) unknown unknown 10.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl554.smt2 (content) unknown unknown 10.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl533.smt2 (content) unknown unknown 10.4s