detailed results (4326 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl265.smt2 (content) unsat unsat 0.401s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl264.smt2 (content) unsat unsat 0.454s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl263.smt2 (content) unsat unsat 0.083s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl262.smt2 (content) unsat unsat 0.096s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl261.smt2 (content) unsat unsat 0.073s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl260.smt2 (content) unsat unsat 0.058s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl259.smt2 (content) unsat unsat 0.082s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl258.smt2 (content) unsat unsat 0.067s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl257.smt2 (content) unsat unsat 0.098s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl256.smt2 (content) unsat unsat 0.080s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl255.smt2 (content) unsat unsat 0.782s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl254.smt2 (content) unsat unsat 0.614s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl253.smt2 (content) unsat unsat 0.806s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl252.smt2 (content) unsat unsat 0.835s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl251.smt2 (content) unsat unsat 0.400s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl250.smt2 (content) unsat unsat 0.080s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl249.smt2 (content) unsat unsat 0.088s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl248.smt2 (content) unsat unsat 0.176s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl247.smt2 (content) unsat unsat 0.041s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl246.smt2 (content) unsat unsat 0.063s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl245.smt2 (content) unsat unsat 0.050s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl244.smt2 (content) unsat unsat 0.051s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl243.smt2 (content) unsat unsat 0.065s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl242.smt2 (content) unsat unsat 0.067s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl241.smt2 (content) unsat unsat 0.097s