detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl824.smt2 (content) unsat unknown 0.321s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl823.smt2 (content) timeout unknown 10.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl823.smt2 (content) timeout unknown 11.3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl823.smt2 (content) unsat unknown 0.652s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl822.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl822.smt2 (content) unsat unknown 6.3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl822.smt2 (content) unsat unknown 0.398s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl821.smt2 (content) timeout unknown 19.5s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl821.smt2 (content) unknown unknown 22.8s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl821.smt2 (content) unsat unknown 1.4s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl820.smt2 (content) timeout unknown 21.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl820.smt2 (content) timeout unknown 27.6s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl820.smt2 (content) unsat unknown 2.3s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl819.smt2 (content) unsat unknown 0.910s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl819.smt2 (content) unsat unknown 0.713s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl819.smt2 (content) unsat unknown 0.103s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl818.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl818.smt2 (content) timeout unknown 11s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl818.smt2 (content) unsat unknown 0.558s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl817.smt2 (content) timeout unknown 10.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl817.smt2 (content) timeout unknown 11.4s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl817.smt2 (content) unsat unknown 0.507s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl816.smt2 (content) timeout unknown 13s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl816.smt2 (content) unknown unknown 16.3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl816.smt2 (content) unsat unknown 0.451s