detailed results (3039 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl018.smt2 (content) unsat unsat 0.169s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl017.smt2 (content) unsat unsat 0.068s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl016.smt2 (content) unsat unsat 0.106s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl015.smt2 (content) unsat unsat 0.214s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl014.smt2 (content) unsat unsat 0.403s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl013.smt2 (content) unsat unsat 0.733s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl012.smt2 (content) unsat unsat 0.472s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl011.smt2 (content) unsat unsat 0.560s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl010.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl009.smt2 (content) unsat unsat 1.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl008.smt2 (content) unsat unsat 0.150s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl007.smt2 (content) unsat unsat 0.248s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl006.smt2 (content) unsat unsat 0.210s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl005.smt2 (content) unsat unsat 0.167s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl004.smt2 (content) unsat unsat 0.146s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl003.smt2 (content) unsat unsat 0.276s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl002.smt2 (content) unsat unsat 0.384s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl001.smt2 (content) unsat unsat 0.270s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn098.smt2 (content) unsat unsat 1.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn096.smt2 (content) unsat unsat 2.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn090.smt2 (content) unsat unsat 0.635s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn079.smt2 (content) unsat unsat 0.882s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn078.smt2 (content) unsat unsat 1.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn077.smt2 (content) unsat unsat 1.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn075.smt2 (content) unsat unsat 0.554s