detailed results (4326 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl315.smt2 (content) unsat unsat 0.123s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl314.smt2 (content) unsat unsat 0.945s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl313.smt2 (content) unsat unsat 0.430s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl312.smt2 (content) unsat unsat 0.433s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl311.smt2 (content) unsat unsat 0.203s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl310.smt2 (content) unsat unsat 0.182s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl309.smt2 (content) unsat unsat 0.408s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl308.smt2 (content) unsat unsat 0.078s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl307.smt2 (content) unsat unsat 1.3s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl306.smt2 (content) unsat unsat 1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl305.smt2 (content) unsat unsat 0.422s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl304.smt2 (content) unsat unsat 0.808s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl303.smt2 (content) unsat unsat 0.815s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl302.smt2 (content) unsat unsat 0.755s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl301.smt2 (content) unsat unsat 0.931s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl300.smt2 (content) unsat unsat 0.737s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl299.smt2 (content) unsat unsat 0.450s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl298.smt2 (content) unsat unsat 1.1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl297.smt2 (content) unsat unsat 0.179s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl296.smt2 (content) unsat unsat 1.7s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl295.smt2 (content) unsat unsat 0.951s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl294.smt2 (content) unsat unsat 0.463s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl293.smt2 (content) unsat unsat 0.910s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl292.smt2 (content) unsat unsat 1.3s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl291.smt2 (content) unsat unsat 0.216s