detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410221/gensys_icl107.smt2 (content) unsat unsat 5s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410221/gensys_icl107.smt2 (content) unsat unsat 0.830s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410220/gensys_icl1069.smt2 (content) unsat unsat 0.658s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410220/gensys_icl1069.smt2 (content) unsat unsat 0.051s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410219/gensys_icl1068.smt2 (content) unsat unsat 2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410219/gensys_icl1068.smt2 (content) unsat unsat 0.119s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410218/gensys_icl1067.smt2 (content) unsat unsat 0.865s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410218/gensys_icl1067.smt2 (content) unsat unsat 0.095s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410217/gensys_icl1066.smt2 (content) unsat unsat 2.1s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410217/gensys_icl1066.smt2 (content) unsat unsat 0.187s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410216/gensys_icl1065.smt2 (content) unsat unsat 2.7s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410216/gensys_icl1065.smt2 (content) unsat unsat 0.140s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410215/gensys_icl1064.smt2 (content) unsat unsat 7.7s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410215/gensys_icl1064.smt2 (content) unsat unsat 0.121s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410214/gensys_icl1063.smt2 (content) unsat unsat 3.4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410214/gensys_icl1063.smt2 (content) unsat unsat 0.305s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410213/gensys_icl1062.smt2 (content) unsat unsat 3.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410213/gensys_icl1062.smt2 (content) unsat unsat 0.364s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410212/gensys_icl1061.smt2 (content) unsat unsat 0.852s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410212/gensys_icl1061.smt2 (content) unsat unsat 0.049s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410211/gensys_icl1060.smt2 (content) unsat unsat 2.4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410211/gensys_icl1060.smt2 (content) unsat unsat 0.243s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410210/gensys_icl106.smt2 (content) unsat unsat 4.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410210/gensys_icl106.smt2 (content) unsat unsat 0.339s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410209/gensys_icl1059.smt2 (content) unsat unsat 2.4s