detailed results (14914 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl047.smt2 (content) unsat unknown 0.148s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl047.smt2 (content) unsat unknown 0.141s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl046.smt2 (content) unsat unknown 0.143s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl046.smt2 (content) unsat unknown 0.143s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl045.smt2 (content) unsat unknown 0.138s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl045.smt2 (content) unsat unknown 0.146s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl044.smt2 (content) unsat unknown 0.113s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl044.smt2 (content) unsat unknown 0.113s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl043.smt2 (content) unsat unknown 0.180s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl043.smt2 (content) unsat unknown 0.178s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl042.smt2 (content) unsat unknown 0.157s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl042.smt2 (content) unsat unknown 0.156s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl041.smt2 (content) unsat unknown 0.154s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl041.smt2 (content) unsat unknown 0.155s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl040.smt2 (content) unsat unknown 0.059s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl040.smt2 (content) unsat unknown 0.059s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl039.smt2 (content) unsat unknown 0.097s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl039.smt2 (content) unsat unknown 0.093s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl038.smt2 (content) unsat unknown 0.085s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl038.smt2 (content) unsat unknown 0.085s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl037.smt2 (content) unsat unknown 0.080s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl037.smt2 (content) unsat unknown 0.081s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl036.smt2 (content) unsat unknown 0.122s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl036.smt2 (content) unsat unknown 0.118s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl035.smt2 (content) unsat unknown 0.095s