detailed results (6650 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408584/iso_icl042.smt2 (content) unsat unsat 0.267s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408583/iso_icl041.smt2 (content) unsat unsat 0.259s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408582/iso_icl040.smt2 (content) unsat unsat 0.128s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408581/iso_icl039.smt2 (content) unsat unsat 0.154s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408580/iso_icl038.smt2 (content) unsat unsat 0.135s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408579/iso_icl037.smt2 (content) unsat unsat 0.130s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408578/iso_icl036.smt2 (content) unsat unsat 0.283s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408577/iso_icl035.smt2 (content) unsat unsat 0.143s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408576/iso_icl034.smt2 (content) unsat unsat 0.674s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408575/iso_icl033.smt2 (content) unsat unsat 0.579s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408574/iso_icl032.smt2 (content) unsat unsat 0.377s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408573/iso_icl031.smt2 (content) unsat unsat 0.228s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408572/iso_icl030.smt2 (content) unsat unsat 0.343s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408571/iso_icl029.smt2 (content) unsat unsat 0.183s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408570/iso_icl028.smt2 (content) unsat unsat 0.391s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408569/iso_icl027.smt2 (content) unsat unsat 0.336s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408568/iso_icl026.smt2 (content) unsat unsat 0.601s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408567/iso_icl025.smt2 (content) unsat unsat 0.666s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408566/iso_icl024.smt2 (content) unsat unsat 0.783s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408565/iso_icl023.smt2 (content) unsat unsat 0.529s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408564/iso_icl022.smt2 (content) unsat unsat 0.564s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408563/iso_icl021.smt2 (content) unsat unsat 0.332s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408562/iso_icl020.smt2 (content) unsat unsat 0.467s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408561/iso_icl019.smt2 (content) unsat unsat 0.120s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/loops6/408560/iso_icl018.smt2 (content) unsat unsat 0.122s