detailed results (482 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410690/gensys_icl362.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410644/gensys_icl316.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410642/gensys_icl314.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410635/gensys_icl307.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410634/gensys_icl306.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410631/gensys_icl303.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410628/gensys_icl300.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410621/gensys_icl293.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410620/gensys_icl292.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410523/gensys_icl195.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410496/gensys_icl168.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410495/gensys_icl167.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410487/gensys_icl159.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410486/gensys_icl158.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410485/gensys_icl157.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410484/gensys_icl156.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410480/gensys_icl152.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410475/gensys_icl147.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410471/gensys_icl143.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410466/gensys_icl138.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410459/gensys_icl131.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410452/gensys_icl128.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410426/gensys_icl1256.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410424/gensys_icl1254.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410408/gensys_icl124.smt2 (content) timeout unsat 11s