detailed results (19166 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410147/gensys_icl1002.smt2 (content) unsat unsat 0.455s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410147/gensys_icl1002.smt2 (content) unsat unsat 0.066s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410146/gensys_icl1001.smt2 (content) unsat unsat 3.3s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410146/gensys_icl1001.smt2 (content) unsat unsat 0.187s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410145/gensys_icl1000.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410145/gensys_icl1000.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410144/gensys_icl100.smt2 (content) unsat unsat 1.2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410144/gensys_icl100.smt2 (content) unsat unsat 0.128s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410143/gensys_icl099.smt2 (content) unsat unsat 1.7s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410143/gensys_icl099.smt2 (content) unsat unsat 0.162s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410142/gensys_icl098.smt2 (content) unsat unsat 0.779s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410142/gensys_icl098.smt2 (content) unsat unsat 0.102s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410141/gensys_icl097.smt2 (content) unsat unsat 1.4s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410141/gensys_icl097.smt2 (content) unsat unsat 0.181s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410140/gensys_icl096.smt2 (content) unsat unsat 1.3s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410140/gensys_icl096.smt2 (content) unsat unsat 0.201s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410139/gensys_icl095.smt2 (content) unsat unsat 2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410139/gensys_icl095.smt2 (content) unsat unsat 0.170s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410138/gensys_icl094.smt2 (content) unsat unsat 4.4s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410138/gensys_icl094.smt2 (content) unsat unsat 0.567s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410137/gensys_icl093.smt2 (content) unsat unsat 5.2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410137/gensys_icl093.smt2 (content) unsat unsat 0.759s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410136/gensys_icl092.smt2 (content) unsat unsat 5.6s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410136/gensys_icl092.smt2 (content) unsat unsat 0.401s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410135/gensys_icl091.smt2 (content) timeout unsat 11s