detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413209/iso_icl271.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413208/iso_icl270.smt2 (content) unsat unsat 0.086s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413208/iso_icl270.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413207/iso_icl269.smt2 (content) unsat unsat 0.041s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413207/iso_icl269.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413206/iso_icl268.smt2 (content) unsat unsat 0.058s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413206/iso_icl268.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413205/iso_icl267.smt2 (content) unsat unsat 0.058s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413205/iso_icl267.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413204/iso_icl266.smt2 (content) unsat unsat 0.123s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413204/iso_icl266.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413203/iso_icl265.smt2 (content) unsat unsat 0.194s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413203/iso_icl265.smt2 (content) unsat unsat 0.053s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413202/iso_icl264.smt2 (content) unsat unsat 0.101s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413202/iso_icl264.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413201/iso_icl263.smt2 (content) unsat unsat 0.052s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413201/iso_icl263.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413200/iso_icl262.smt2 (content) unsat unsat 0.080s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413200/iso_icl262.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413199/iso_icl261.smt2 (content) unsat unsat 0.081s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413199/iso_icl261.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413198/iso_icl260.smt2 (content) unsat unsat 0.114s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413198/iso_icl260.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413197/iso_icl259.smt2 (content) unsat unsat 0.056s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413197/iso_icl259.smt2 (content) unsat unsat 0.029s