detailed results (3554 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl016.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl015.smt2 (content) unsat unsat 0.078s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl014.smt2 (content) unsat unsat 0.376s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl013.smt2 (content) unsat unsat 0.470s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl012.smt2 (content) unsat unsat 0.464s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl011.smt2 (content) unsat unsat 0.658s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl010.smt2 (content) unsat unsat 0.558s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl009.smt2 (content) unsat unsat 0.597s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl008.smt2 (content) unsat unsat 0.119s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl007.smt2 (content) unsat unsat 0.179s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl006.smt2 (content) unsat unsat 0.177s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl005.smt2 (content) unsat unsat 0.103s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl004.smt2 (content) unsat unsat 0.114s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl003.smt2 (content) unsat unsat 0.094s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl002.smt2 (content) unsat unsat 0.056s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl001.smt2 (content) unsat unsat 0.073s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn098.smt2 (content) unsat unsat 1.2s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn096.smt2 (content) unsat unsat 1.2s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn090.smt2 (content) unsat unsat 0.468s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn079.smt2 (content) unsat unsat 0.162s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn078.smt2 (content) unsat unsat 0.582s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn077.smt2 (content) unsat unsat 0.750s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn075.smt2 (content) unsat unsat 0.216s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn074.smt2 (content) unsat unsat 0.330s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn068.smt2 (content) unsat unsat 0.429s