detailed results (3887 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl257.smt2 (content) unsat unknown 1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl256.smt2 (content) unsat unknown 3.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl255.smt2 (content) unsat unknown 3.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl254.smt2 (content) unsat unknown 2.5s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl253.smt2 (content) unsat unknown 3.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl252.smt2 (content) unsat unknown 4.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl251.smt2 (content) unsat unknown 0.932s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl250.smt2 (content) unsat unknown 1.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl249.smt2 (content) unsat unknown 2.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl248.smt2 (content) unsat unknown 6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl247.smt2 (content) unsat unknown 1.7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl246.smt2 (content) unsat unknown 1.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl245.smt2 (content) unsat unknown 2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl244.smt2 (content) unsat unknown 0.302s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl243.smt2 (content) unsat unknown 0.835s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl242.smt2 (content) unsat unknown 0.658s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl241.smt2 (content) unsat unknown 1.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl240.smt2 (content) unsat unknown 1.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl239.smt2 (content) unsat unknown 0.745s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl238.smt2 (content) unsat unknown 1.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl237.smt2 (content) unsat unknown 0.179s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl236.smt2 (content) unsat unknown 5.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl235.smt2 (content) unsat unknown 6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl234.smt2 (content) unsat unknown 3.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl233.smt2 (content) unsat unknown 5.2s