detailed results (3887 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1143.smt2 (content) unsat unknown 0.078s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1142.smt2 (content) unsat unknown 0.061s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1141.smt2 (content) unsat unknown 0.043s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1140.smt2 (content) unsat unknown 0.057s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl114.smt2 (content) unsat unknown 0.098s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1139.smt2 (content) unsat unknown 0.079s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1138.smt2 (content) unsat unknown 0.044s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1137.smt2 (content) unsat unknown 0.030s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1136.smt2 (content) unsat unknown 0.214s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1135.smt2 (content) unsat unknown 0.028s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1134.smt2 (content) unsat unknown 0.070s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1133.smt2 (content) unsat unknown 0.126s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1132.smt2 (content) unsat unknown 0.031s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1131.smt2 (content) unsat unknown 0.036s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1130.smt2 (content) unsat unknown 0.125s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl113.smt2 (content) unsat unknown 0.198s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1129.smt2 (content) unsat unknown 0.052s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1128.smt2 (content) unsat unknown 0.032s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1127.smt2 (content) unsat unknown 0.067s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1126.smt2 (content) unsat unknown 0.075s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1125.smt2 (content) unsat unknown 0.049s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1124.smt2 (content) unsat unknown 0.114s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1123.smt2 (content) unsat unknown 0.064s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1122.smt2 (content) unsat unknown 0.130s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1121.smt2 (content) unsat unknown 0.078s