detailed results (473 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413938/dead_dnd001.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411327/gensys_icl999.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411325/gensys_icl997.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411323/gensys_icl995.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411316/gensys_icl988.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411315/gensys_icl987.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411308/gensys_icl980.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411306/gensys_icl978.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411303/gensys_icl975.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411302/gensys_icl974.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411301/gensys_icl973.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411297/gensys_icl969.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411293/gensys_icl965.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411291/gensys_icl963.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411290/gensys_icl962.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411279/gensys_icl951.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411231/gensys_icl903.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411221/gensys_icl893.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411206/gensys_icl878.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411186/gensys_icl858.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411185/gensys_icl857.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411180/gensys_icl852.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411179/gensys_icl851.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411178/gensys_icl850.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411177/gensys_icl849.smt2 (content) timeout unsat 11s