detailed results (4253 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl332.smt2 (content) unsat unknown 0.496s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl331.smt2 (content) unsat unknown 0.057s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl330.smt2 (content) unsat unknown 0.096s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl329.smt2 (content) unsat unknown 0.329s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl328.smt2 (content) unsat unknown 0.262s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl327.smt2 (content) unsat unknown 0.523s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl326.smt2 (content) unsat unknown 0.478s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl325.smt2 (content) unsat unknown 0.323s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl324.smt2 (content) unsat unknown 0.439s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl323.smt2 (content) unsat unknown 0.487s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl322.smt2 (content) unsat unknown 0.446s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl321.smt2 (content) unsat unknown 0.051s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl320.smt2 (content) unsat unknown 0.557s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl319.smt2 (content) unsat unknown 0.401s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl318.smt2 (content) unsat unknown 0.125s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl317.smt2 (content) unsat unknown 0.582s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl316.smt2 (content) unsat unknown 0.629s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl315.smt2 (content) unsat unknown 0.055s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl314.smt2 (content) unsat unknown 0.577s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl313.smt2 (content) unsat unknown 0.276s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl312.smt2 (content) unsat unknown 0.383s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl311.smt2 (content) unsat unknown 0.092s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl310.smt2 (content) unsat unknown 0.152s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl309.smt2 (content) unsat unknown 0.132s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl308.smt2 (content) unsat unknown 0.055s