detailed results (4326 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl365.smt2 (content) unsat unsat 0.504s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl364.smt2 (content) unsat unsat 0.091s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl363.smt2 (content) unsat unsat 0.260s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl362.smt2 (content) unsat unsat 0.547s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl361.smt2 (content) unsat unsat 0.137s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl360.smt2 (content) unsat unsat 0.209s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl359.smt2 (content) unsat unsat 0.391s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl358.smt2 (content) unsat unsat 0.061s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl357.smt2 (content) unsat unsat 0.084s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl356.smt2 (content) unsat unsat 0.206s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl355.smt2 (content) unsat unsat 0.172s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl354.smt2 (content) unsat unsat 0.080s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl353.smt2 (content) unsat unsat 0.108s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl352.smt2 (content) unsat unsat 0.166s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl351.smt2 (content) unsat unsat 0.213s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl350.smt2 (content) unsat unsat 0.132s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl349.smt2 (content) unsat unsat 0.177s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl348.smt2 (content) unsat unsat 0.245s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl347.smt2 (content) unsat unsat 0.233s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl346.smt2 (content) unsat unsat 0.157s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl345.smt2 (content) unsat unsat 0.224s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl344.smt2 (content) unsat unsat 0.360s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl343.smt2 (content) unsat unsat 0.571s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl342.smt2 (content) unsat unsat 0.623s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl341.smt2 (content) unsat unsat 0.387s