detailed results (473 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410651/gensys_icl323.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410648/gensys_icl320.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410644/gensys_icl316.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410642/gensys_icl314.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410632/gensys_icl304.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410631/gensys_icl303.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410628/gensys_icl300.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410626/gensys_icl298.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410624/gensys_icl296.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410622/gensys_icl294.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410620/gensys_icl292.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410523/gensys_icl195.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410496/gensys_icl168.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410495/gensys_icl167.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410487/gensys_icl159.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410486/gensys_icl158.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410485/gensys_icl157.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410484/gensys_icl156.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410480/gensys_icl152.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410475/gensys_icl147.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410471/gensys_icl143.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410459/gensys_icl131.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410426/gensys_icl1256.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410424/gensys_icl1254.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410386/gensys_icl122.smt2 (content) timeout unsat 11s