detailed results (3887 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl012.smt2 (content) unsat unknown 0.135s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl011.smt2 (content) unsat unknown 0.203s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl010.smt2 (content) unsat unknown 0.164s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl009.smt2 (content) unsat unknown 0.249s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl008.smt2 (content) unsat unknown 0.075s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl007.smt2 (content) unsat unknown 0.063s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl006.smt2 (content) unsat unknown 0.122s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl005.smt2 (content) unsat unknown 0.060s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl004.smt2 (content) unsat unknown 0.094s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl003.smt2 (content) unsat unknown 0.065s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl002.smt2 (content) unsat unknown 0.068s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_icl001.smt2 (content) unsat unknown 0.123s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn098.smt2 (content) unsat unknown 0.657s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn096.smt2 (content) unsat unknown 0.152s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn090.smt2 (content) unsat unknown 0.212s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn079.smt2 (content) unsat unknown 0.252s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn078.smt2 (content) unsat unknown 0.803s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn077.smt2 (content) unsat unknown 0.427s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn075.smt2 (content) unsat unknown 0.455s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn074.smt2 (content) unsat unknown 0.507s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn068.smt2 (content) unsat unknown 0.132s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn067.smt2 (content) unsat unknown 0.291s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn066.smt2 (content) unsat unknown 0.441s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn062.smt2 (content) unsat unknown 0.243s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/loops6/iso_brn053.smt2 (content) unsat unknown 0.106s