detailed results (4327 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1066.smt2 (content) unsat unsat 0.178s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1065.smt2 (content) unsat unsat 0.155s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1064.smt2 (content) unsat unsat 0.168s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1063.smt2 (content) unsat unsat 0.335s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1062.smt2 (content) unsat unsat 0.380s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1061.smt2 (content) unsat unsat 0.071s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1060.smt2 (content) unsat unsat 0.304s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl106.smt2 (content) unsat unsat 0.393s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1059.smt2 (content) unsat unsat 0.327s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1058.smt2 (content) unsat unsat 0.107s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1057.smt2 (content) unsat unsat 0.688s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1056.smt2 (content) unsat unsat 0.531s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1055.smt2 (content) unsat unsat 0.997s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1054.smt2 (content) unsat unsat 0.474s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1053.smt2 (content) unsat unsat 0.725s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1052.smt2 (content) unsat unsat 0.803s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1051.smt2 (content) unsat unsat 0.525s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1050.smt2 (content) unsat unsat 0.875s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl105.smt2 (content) unsat unsat 0.424s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1049.smt2 (content) unsat unsat 0.131s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1048.smt2 (content) unsat unsat 0.094s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1047.smt2 (content) unsat unsat 0.167s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1046.smt2 (content) unsat unsat 0.160s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1045.smt2 (content) unsat unsat 0.075s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1044.smt2 (content) unsat unsat 0.074s