detailed results (473 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411128/gensys_icl800.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411123/gensys_icl795.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411122/gensys_icl794.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411115/gensys_icl787.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411113/gensys_icl785.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411111/gensys_icl783.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411104/gensys_icl776.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411103/gensys_icl775.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411098/gensys_icl770.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411090/gensys_icl762.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411085/gensys_icl757.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411081/gensys_icl753.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411050/gensys_icl722.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411046/gensys_icl718.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411027/gensys_icl699.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411026/gensys_icl698.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411019/gensys_icl691.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411018/gensys_icl690.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411013/gensys_icl685.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411008/gensys_icl680.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411007/gensys_icl679.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411002/gensys_icl674.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410992/gensys_icl664.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410991/gensys_icl663.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410989/gensys_icl661.smt2 (content) timeout unsat 11s