detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410209/gensys_icl1059.smt2 (content) unsat unsat 0.248s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410208/gensys_icl1058.smt2 (content) unsat unsat 3.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410208/gensys_icl1058.smt2 (content) unsat unsat 0.078s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410207/gensys_icl1057.smt2 (content) unsat unsat 6.7s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410207/gensys_icl1057.smt2 (content) unsat unsat 0.614s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410206/gensys_icl1056.smt2 (content) unsat unsat 4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410206/gensys_icl1056.smt2 (content) unsat unsat 0.583s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410205/gensys_icl1055.smt2 (content) unsat unsat 4.6s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410205/gensys_icl1055.smt2 (content) unsat unsat 0.466s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410204/gensys_icl1054.smt2 (content) unsat unsat 2.4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410204/gensys_icl1054.smt2 (content) unsat unsat 0.362s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410203/gensys_icl1053.smt2 (content) unsat unsat 4.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410203/gensys_icl1053.smt2 (content) unsat unsat 0.604s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410202/gensys_icl1052.smt2 (content) unsat unsat 6.5s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410202/gensys_icl1052.smt2 (content) unsat unsat 0.723s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410201/gensys_icl1051.smt2 (content) unsat unsat 6.6s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410201/gensys_icl1051.smt2 (content) unsat unsat 0.533s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410200/gensys_icl1050.smt2 (content) unsat unsat 9.5s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410200/gensys_icl1050.smt2 (content) unsat unsat 0.804s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410199/gensys_icl105.smt2 (content) unsat unsat 3.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410199/gensys_icl105.smt2 (content) unsat unsat 0.328s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410198/gensys_icl1049.smt2 (content) unsat unsat 6.4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410198/gensys_icl1049.smt2 (content) unsat unsat 0.131s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410197/gensys_icl1048.smt2 (content) unsat unsat 4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410197/gensys_icl1048.smt2 (content) unsat unsat 0.085s