detailed results (3887 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl150.smt2 (content) unsat unknown 3.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl149.smt2 (content) unsat unknown 7.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl148.smt2 (content) unsat unknown 6.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl146.smt2 (content) unsat unknown 1.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl145.smt2 (content) unsat unknown 3.7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl144.smt2 (content) unsat unknown 0.759s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl143.smt2 (content) unsat unknown 9.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl142.smt2 (content) unsat unknown 0.769s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl141.smt2 (content) unsat unknown 1.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl140.smt2 (content) unsat unknown 4.7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl139.smt2 (content) unsat unknown 3.7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl138.smt2 (content) unsat unknown 7.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl137.smt2 (content) unsat unknown 4.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl135.smt2 (content) unsat unknown 2.7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl134.smt2 (content) unsat unknown 3.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl133.smt2 (content) unsat unknown 2.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl132.smt2 (content) unsat unknown 2.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl130.smt2 (content) unsat unknown 0.764s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl129.smt2 (content) unsat unknown 4.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1283.smt2 (content) unsat unknown 0.916s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1282.smt2 (content) unsat unknown 1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1281.smt2 (content) unsat unknown 0.545s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1280.smt2 (content) unsat unknown 0.296s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl128.smt2 (content) unsat unknown 8.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1279.smt2 (content) unsat unknown 3.0s