detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413096/iso_icl158.smt2 (content) unsat unsat 0.194s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413096/iso_icl158.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413095/iso_icl157.smt2 (content) unsat unsat 0.121s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413095/iso_icl157.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413094/iso_icl156.smt2 (content) unsat unsat 0.175s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413094/iso_icl156.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413093/iso_icl155.smt2 (content) unsat unsat 0.063s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413093/iso_icl155.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413092/iso_icl154.smt2 (content) unsat unsat 0.105s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413092/iso_icl154.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413091/iso_icl153.smt2 (content) unsat unsat 0.080s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413091/iso_icl153.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413090/iso_icl152.smt2 (content) unsat unsat 0.143s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413090/iso_icl152.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413089/iso_icl151.smt2 (content) unsat unsat 0.181s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413089/iso_icl151.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413088/iso_icl150.smt2 (content) unsat unsat 0.140s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413088/iso_icl150.smt2 (content) unsat unsat 0.051s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413087/iso_icl149.smt2 (content) unsat unsat 0.075s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413087/iso_icl149.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413086/iso_icl148.smt2 (content) unsat unsat 0.122s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413086/iso_icl148.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413085/iso_icl147.smt2 (content) unsat unsat 0.114s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413085/iso_icl147.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413084/iso_icl146.smt2 (content) unsat unsat 0.132s