detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413434/iso_icl496.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413433/iso_icl495.smt2 (content) unsat unsat 0.149s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413433/iso_icl495.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413432/iso_icl494.smt2 (content) unsat unsat 0.064s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413432/iso_icl494.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413431/iso_icl493.smt2 (content) unsat unsat 0.082s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413431/iso_icl493.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413430/iso_icl492.smt2 (content) unsat unsat 0.094s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413430/iso_icl492.smt2 (content) unsat unsat 0.042s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413429/iso_icl491.smt2 (content) unsat unsat 0.141s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413429/iso_icl491.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413428/iso_icl490.smt2 (content) unsat unsat 0.055s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413428/iso_icl490.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413427/iso_icl489.smt2 (content) unsat unsat 0.100s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413427/iso_icl489.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413426/iso_icl488.smt2 (content) unsat unsat 0.094s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413426/iso_icl488.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413425/iso_icl487.smt2 (content) unsat unsat 0.076s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413425/iso_icl487.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413424/iso_icl486.smt2 (content) unsat unsat 0.077s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413424/iso_icl486.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413423/iso_icl485.smt2 (content) unsat unsat 0.085s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413423/iso_icl485.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413422/iso_icl484.smt2 (content) unsat unsat 0.094s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413422/iso_icl484.smt2 (content) unsat unsat 0.026s