detailed results (6650 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413434/iso_icl496.smt2 (content) unsat unsat 0.200s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413433/iso_icl495.smt2 (content) unsat unsat 0.149s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413432/iso_icl494.smt2 (content) unsat unsat 0.064s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413431/iso_icl493.smt2 (content) unsat unsat 0.082s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413430/iso_icl492.smt2 (content) unsat unsat 0.094s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413429/iso_icl491.smt2 (content) unsat unsat 0.141s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413428/iso_icl490.smt2 (content) unsat unsat 0.055s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413427/iso_icl489.smt2 (content) unsat unsat 0.100s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413426/iso_icl488.smt2 (content) unsat unsat 0.094s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413425/iso_icl487.smt2 (content) unsat unsat 0.076s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413424/iso_icl486.smt2 (content) unsat unsat 0.077s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413423/iso_icl485.smt2 (content) unsat unsat 0.085s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413422/iso_icl484.smt2 (content) unsat unsat 0.094s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413421/iso_icl483.smt2 (content) unsat unsat 0.062s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413420/iso_icl482.smt2 (content) unsat unsat 0.092s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413419/iso_icl481.smt2 (content) unsat unsat 0.156s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413418/iso_icl480.smt2 (content) unsat unsat 0.086s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413417/iso_icl479.smt2 (content) unsat unsat 0.071s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413416/iso_icl478.smt2 (content) unsat unsat 0.115s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413415/iso_icl477.smt2 (content) unsat unsat 0.121s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413414/iso_icl476.smt2 (content) unsat unsat 0.136s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413413/iso_icl475.smt2 (content) unsat unsat 0.127s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413412/iso_icl474.smt2 (content) unsat unsat 0.081s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413411/iso_icl473.smt2 (content) unsat unsat 0.077s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413410/iso_icl472.smt2 (content) unsat unsat 0.065s