detailed results (3887 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1098.smt2 (content) unsat unknown 0.053s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1097.smt2 (content) unsat unknown 0.091s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1096.smt2 (content) unsat unknown 0.074s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1095.smt2 (content) unsat unknown 0.053s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1094.smt2 (content) unsat unknown 0.031s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1093.smt2 (content) unsat unknown 0.050s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1092.smt2 (content) unsat unknown 0.068s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1091.smt2 (content) unsat unknown 0.052s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1090.smt2 (content) unsat unknown 0.038s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl109.smt2 (content) unsat unknown 0.193s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1089.smt2 (content) unsat unknown 0.043s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1088.smt2 (content) unsat unknown 0.064s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1087.smt2 (content) unsat unknown 0.069s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1086.smt2 (content) unsat unknown 0.037s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1085.smt2 (content) unsat unknown 0.075s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1084.smt2 (content) unsat unknown 0.095s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1083.smt2 (content) unsat unknown 0.111s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1082.smt2 (content) unsat unknown 0.051s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1081.smt2 (content) unsat unknown 0.089s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1080.smt2 (content) unsat unknown 0.096s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl108.smt2 (content) unsat unknown 0.229s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1079.smt2 (content) unsat unknown 0.117s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1078.smt2 (content) unsat unknown 0.063s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1077.smt2 (content) unsat unknown 0.064s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1076.smt2 (content) unsat unknown 0.060s