detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408571/iso_icl029.smt2 (content) unsat unsat 0.183s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408571/iso_icl029.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408570/iso_icl028.smt2 (content) unsat unsat 0.391s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408570/iso_icl028.smt2 (content) unsat unsat 0.064s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408569/iso_icl027.smt2 (content) unsat unsat 0.336s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408569/iso_icl027.smt2 (content) unsat unsat 0.056s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408568/iso_icl026.smt2 (content) unsat unsat 0.601s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408568/iso_icl026.smt2 (content) unsat unsat 0.057s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408567/iso_icl025.smt2 (content) unsat unsat 0.666s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408567/iso_icl025.smt2 (content) unsat unsat 0.055s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408566/iso_icl024.smt2 (content) unsat unsat 0.783s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408566/iso_icl024.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408565/iso_icl023.smt2 (content) unsat unsat 0.529s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408565/iso_icl023.smt2 (content) unsat unsat 0.047s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408564/iso_icl022.smt2 (content) unsat unsat 0.564s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408564/iso_icl022.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408563/iso_icl021.smt2 (content) unsat unsat 0.332s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408563/iso_icl021.smt2 (content) unsat unsat 0.131s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408562/iso_icl020.smt2 (content) unsat unsat 0.467s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408562/iso_icl020.smt2 (content) unsat unsat 0.082s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408561/iso_icl019.smt2 (content) unsat unsat 0.120s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408561/iso_icl019.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408560/iso_icl018.smt2 (content) unsat unsat 0.122s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408560/iso_icl018.smt2 (content) unsat unsat 0.060s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408559/iso_icl017.smt2 (content) unsat unsat 0.085s