detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413409/iso_icl471.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413408/iso_icl470.smt2 (content) unsat unsat 0.060s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413408/iso_icl470.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413407/iso_icl469.smt2 (content) unsat unsat 0.109s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413407/iso_icl469.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413406/iso_icl468.smt2 (content) unsat unsat 0.090s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413406/iso_icl468.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413405/iso_icl467.smt2 (content) unsat unsat 0.090s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413405/iso_icl467.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413404/iso_icl466.smt2 (content) unsat unsat 0.087s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413404/iso_icl466.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413403/iso_icl465.smt2 (content) unsat unsat 0.056s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413403/iso_icl465.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413402/iso_icl464.smt2 (content) unsat unsat 0.093s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413402/iso_icl464.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413401/iso_icl463.smt2 (content) unsat unsat 0.073s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413401/iso_icl463.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413400/iso_icl462.smt2 (content) unsat unsat 0.074s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413400/iso_icl462.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413399/iso_icl461.smt2 (content) unsat unsat 0.056s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413399/iso_icl461.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413398/iso_icl460.smt2 (content) unsat unsat 0.061s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413398/iso_icl460.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413397/iso_icl459.smt2 (content) unsat unsat 0.081s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413397/iso_icl459.smt2 (content) unsat unsat 0.037s