detailed results (4326 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1067.smt2 (content) unsat unsat 0.065s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1066.smt2 (content) unsat unsat 0.136s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1065.smt2 (content) unsat unsat 0.120s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1064.smt2 (content) unsat unsat 0.247s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1063.smt2 (content) unsat unsat 0.596s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1062.smt2 (content) unsat unsat 0.453s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1061.smt2 (content) unsat unsat 0.068s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1060.smt2 (content) unsat unsat 0.232s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl106.smt2 (content) unsat unsat 0.356s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1059.smt2 (content) unsat unsat 0.212s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1058.smt2 (content) unsat unsat 0.088s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1057.smt2 (content) unsat unsat 0.693s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1056.smt2 (content) unsat unsat 0.592s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1055.smt2 (content) unsat unsat 0.552s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1054.smt2 (content) unsat unsat 0.311s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1053.smt2 (content) unsat unsat 0.730s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1052.smt2 (content) unsat unsat 0.655s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1051.smt2 (content) unsat unsat 0.649s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1050.smt2 (content) unsat unsat 0.690s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl105.smt2 (content) unsat unsat 0.407s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1049.smt2 (content) unsat unsat 0.138s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1048.smt2 (content) unsat unsat 0.097s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1047.smt2 (content) unsat unsat 0.140s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1046.smt2 (content) unsat unsat 0.130s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1045.smt2 (content) unsat unsat 0.096s