detailed results (3887 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl396.smt2 (content) unsat unknown 0.252s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl395.smt2 (content) unsat unknown 0.255s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl394.smt2 (content) unsat unknown 0.297s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl393.smt2 (content) unsat unknown 0.630s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl392.smt2 (content) unsat unknown 0.380s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl391.smt2 (content) unsat unknown 2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl390.smt2 (content) unsat unknown 0.685s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl389.smt2 (content) unsat unknown 7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl388.smt2 (content) unsat unknown 2.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl387.smt2 (content) unsat unknown 0.702s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl386.smt2 (content) unsat unknown 0.588s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl385.smt2 (content) unsat unknown 1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl384.smt2 (content) unsat unknown 20.0s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl383.smt2 (content) unsat unknown 0.887s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl382.smt2 (content) unsat unknown 0.827s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl381.smt2 (content) unsat unknown 1.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl380.smt2 (content) unsat unknown 1.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl379.smt2 (content) unsat unknown 2.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl378.smt2 (content) unsat unknown 0.350s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl377.smt2 (content) unsat unknown 1.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl376.smt2 (content) unsat unknown 2.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl375.smt2 (content) unsat unknown 4.0s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl373.smt2 (content) unsat unknown 5.7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl372.smt2 (content) unsat unknown 11.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl371.smt2 (content) unsat unknown 3.0s