detailed results (431 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410899/gensys_icl571.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410898/gensys_icl570.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410897/gensys_icl569.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410896/gensys_icl568.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410882/gensys_icl554.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410880/gensys_icl552.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410861/gensys_icl533.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410854/gensys_icl526.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410848/gensys_icl520.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410846/gensys_icl518.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410838/gensys_icl510.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410837/gensys_icl509.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410834/gensys_icl506.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410690/gensys_icl362.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/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/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