detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412846/iso_icl1083.smt2 (content) unsat unsat 0.112s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412846/iso_icl1083.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412845/iso_icl1082.smt2 (content) unsat unsat 0.072s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412845/iso_icl1082.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412844/iso_icl1081.smt2 (content) unsat unsat 0.068s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412844/iso_icl1081.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412843/iso_icl1080.smt2 (content) unsat unsat 0.116s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412843/iso_icl1080.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412842/iso_icl108.smt2 (content) unsat unsat 0.212s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412842/iso_icl108.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412841/iso_icl1079.smt2 (content) unsat unsat 0.078s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412841/iso_icl1079.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412840/iso_icl1078.smt2 (content) unsat unsat 0.102s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412840/iso_icl1078.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412839/iso_icl1077.smt2 (content) unsat unsat 0.124s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412839/iso_icl1077.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412838/iso_icl1076.smt2 (content) unsat unsat 0.095s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412838/iso_icl1076.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412837/iso_icl1075.smt2 (content) unsat unsat 0.099s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412837/iso_icl1075.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412836/iso_icl1074.smt2 (content) unsat unsat 0.094s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412836/iso_icl1074.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412835/iso_icl1073.smt2 (content) unsat unsat 0.106s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412835/iso_icl1073.smt2 (content) unsat unsat 0.045s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412834/iso_icl1072.smt2 (content) unsat unsat 0.148s