detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412821/iso_icl1060.smt2 (content) unsat unsat 0.107s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412821/iso_icl1060.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412820/iso_icl106.smt2 (content) unsat unsat 0.161s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412820/iso_icl106.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412819/iso_icl1059.smt2 (content) unsat unsat 0.098s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412819/iso_icl1059.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412818/iso_icl1058.smt2 (content) unsat unsat 0.108s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412818/iso_icl1058.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412817/iso_icl1057.smt2 (content) unsat unsat 0.151s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412817/iso_icl1057.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412816/iso_icl1056.smt2 (content) unsat unsat 0.104s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412816/iso_icl1056.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412815/iso_icl1055.smt2 (content) unsat unsat 0.167s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412815/iso_icl1055.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412814/iso_icl1054.smt2 (content) unsat unsat 0.143s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412814/iso_icl1054.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412813/iso_icl1053.smt2 (content) unsat unsat 0.191s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412813/iso_icl1053.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412812/iso_icl1052.smt2 (content) unsat unsat 0.131s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412812/iso_icl1052.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412811/iso_icl1051.smt2 (content) unsat unsat 0.222s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412811/iso_icl1051.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412810/iso_icl1050.smt2 (content) unsat unsat 0.242s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412810/iso_icl1050.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412809/iso_icl105.smt2 (content) unsat unsat 0.171s