detailed results (3887 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl349.smt2 (content) unsat unknown 0.099s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl348.smt2 (content) unsat unknown 0.092s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl347.smt2 (content) unsat unknown 0.123s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl346.smt2 (content) unsat unknown 0.120s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl345.smt2 (content) unsat unknown 0.134s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl344.smt2 (content) unsat unknown 0.196s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl343.smt2 (content) unsat unknown 0.243s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl342.smt2 (content) unsat unknown 0.095s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl341.smt2 (content) unsat unknown 0.184s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl340.smt2 (content) unsat unknown 0.114s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl339.smt2 (content) unsat unknown 0.098s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl338.smt2 (content) unsat unknown 0.083s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl337.smt2 (content) unsat unknown 0.109s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl336.smt2 (content) unsat unknown 0.064s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl335.smt2 (content) unsat unknown 0.392s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl334.smt2 (content) unsat unknown 0.064s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl333.smt2 (content) unsat unknown 0.069s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl332.smt2 (content) unsat unknown 0.114s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl331.smt2 (content) unsat unknown 0.044s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl330.smt2 (content) unsat unknown 0.200s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl329.smt2 (content) unsat unknown 0.095s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl328.smt2 (content) unsat unknown 0.092s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl327.smt2 (content) unsat unknown 0.099s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl326.smt2 (content) unsat unknown 0.205s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl325.smt2 (content) unsat unknown 0.083s