detailed results (473 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410181/gensys_icl1033.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410179/gensys_icl1031.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410176/gensys_icl1029.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410172/gensys_icl1025.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410171/gensys_icl1024.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410169/gensys_icl1022.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410168/gensys_icl1021.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410167/gensys_icl1020.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410153/gensys_icl1008.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410150/gensys_icl1005.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410149/gensys_icl1004.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410148/gensys_icl1003.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410145/gensys_icl1000.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410135/gensys_icl091.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410134/gensys_icl090.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410133/gensys_icl089.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410131/gensys_icl087.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410042/gensys_brn997.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409977/gensys_brn932.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409942/gensys_brn897.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409940/gensys_brn895.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409936/gensys_brn891.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409925/gensys_brn880.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409914/gensys_brn869.smt2 (content) timeout unsat 11s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409896/gensys_brn851.smt2 (content) timeout unsat 11s