detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413234/iso_icl296.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413233/iso_icl295.smt2 (content) unsat unsat 0.189s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413233/iso_icl295.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413232/iso_icl294.smt2 (content) unsat unsat 0.182s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413232/iso_icl294.smt2 (content) unsat unsat 0.045s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413231/iso_icl293.smt2 (content) unsat unsat 0.207s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413231/iso_icl293.smt2 (content) unsat unsat 0.054s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413230/iso_icl292.smt2 (content) unsat unsat 0.212s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413230/iso_icl292.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413229/iso_icl291.smt2 (content) unsat unsat 0.101s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413229/iso_icl291.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413228/iso_icl290.smt2 (content) unsat unsat 0.077s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413228/iso_icl290.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413227/iso_icl289.smt2 (content) unsat unsat 0.077s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413227/iso_icl289.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413226/iso_icl288.smt2 (content) unsat unsat 0.109s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413226/iso_icl288.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413225/iso_icl287.smt2 (content) unsat unsat 0.077s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413225/iso_icl287.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413224/iso_icl286.smt2 (content) unsat unsat 0.073s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413224/iso_icl286.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413223/iso_icl285.smt2 (content) unsat unsat 0.059s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413223/iso_icl285.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413222/iso_icl284.smt2 (content) unsat unsat 0.060s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413222/iso_icl284.smt2 (content) unsat unsat 0.031s