detailed results (7772 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl052.smt2 (content) unsat unknown 0.219s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl052.smt2 (content) unsat unknown 0.216s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl051.smt2 (content) unsat unknown 0.132s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl051.smt2 (content) unsat unknown 0.130s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl050.smt2 (content) unsat unknown 0.126s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl050.smt2 (content) unsat unknown 0.123s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl049.smt2 (content) unsat unknown 0.235s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl049.smt2 (content) unsat unknown 0.220s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl048.smt2 (content) unsat unknown 0.112s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl048.smt2 (content) unsat unknown 0.109s
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