detailed results (4253 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl014.smt2 (content) unsat unknown 0.025s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl013.smt2 (content) unsat unknown 0.028s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl012.smt2 (content) unsat unknown 0.017s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl011.smt2 (content) unsat unknown 0.025s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl010.smt2 (content) unsat unknown 0.017s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl009.smt2 (content) unsat unknown 0.027s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl008.smt2 (content) unsat unknown 0.015s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl007.smt2 (content) unsat unknown 0.014s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl006.smt2 (content) unsat unknown 0.015s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl005.smt2 (content) unsat unknown 0.014s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl004.smt2 (content) unsat unknown 0.022s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl003.smt2 (content) unsat unknown 0.019s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl002.smt2 (content) unsat unknown 0.018s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl001.smt2 (content) unsat unknown 0.017s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn098.smt2 (content) unsat unknown 0.020s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn096.smt2 (content) unsat unknown 0.023s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn090.smt2 (content) unsat unknown 0.018s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn079.smt2 (content) unsat unknown 0.018s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn078.smt2 (content) unsat unknown 0.029s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn077.smt2 (content) unsat unknown 0.029s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn075.smt2 (content) unsat unknown 0.028s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn074.smt2 (content) unsat unknown 0.028s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn068.smt2 (content) unsat unknown 0.017s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn067.smt2 (content) unsat unknown 0.020s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn066.smt2 (content) unsat unknown 0.038s