detailed results (19166 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410635/gensys_icl307.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410634/gensys_icl306.smt2 (content) unsat unsat 10.1s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410634/gensys_icl306.smt2 (content) unsat unsat 0.738s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410633/gensys_icl305.smt2 (content) unsat unsat 7.3s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410633/gensys_icl305.smt2 (content) unsat unsat 0.554s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410632/gensys_icl304.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410632/gensys_icl304.smt2 (content) unsat unsat 0.681s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410631/gensys_icl303.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410631/gensys_icl303.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410630/gensys_icl302.smt2 (content) unsat unsat 6.6s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410630/gensys_icl302.smt2 (content) unsat unsat 0.745s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410629/gensys_icl301.smt2 (content) unsat unsat 5.0s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410629/gensys_icl301.smt2 (content) unsat unsat 0.723s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410628/gensys_icl300.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410628/gensys_icl300.smt2 (content) unsat unsat 0.735s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410627/gensys_icl299.smt2 (content) unsat unsat 0.334s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410627/gensys_icl299.smt2 (content) unsat unsat 0.504s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410626/gensys_icl298.smt2 (content) unknown unsat 10.5s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410626/gensys_icl298.smt2 (content) unsat unsat 0.862s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410625/gensys_icl297.smt2 (content) unsat unsat 2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410625/gensys_icl297.smt2 (content) unsat unsat 0.215s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410624/gensys_icl296.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410624/gensys_icl296.smt2 (content) unsat unsat 0.982s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410623/gensys_icl295.smt2 (content) unsat unsat 8.5s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410623/gensys_icl295.smt2 (content) unsat unsat 0.757s