detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1075.smt2 (content) unsat unknown 0.148s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1074.smt2 (content) timeout unknown 10.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1074.smt2 (content) unsat unknown 4s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1074.smt2 (content) unsat unknown 0.054s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1073.smt2 (content) unsat unknown 8.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1073.smt2 (content) unsat unknown 5s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1073.smt2 (content) unsat unknown 0.083s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1072.smt2 (content) timeout unknown 10.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1072.smt2 (content) unsat unknown 5.5s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1072.smt2 (content) unsat unknown 0.281s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1071.smt2 (content) unsat unknown 7.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1071.smt2 (content) unsat unknown 4s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1071.smt2 (content) unsat unknown 0.277s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1070.smt2 (content) unsat unknown 4.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1070.smt2 (content) unsat unknown 2.5s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1070.smt2 (content) unsat unknown 0.342s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl107.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl107.smt2 (content) unsat unknown 3.9s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl107.smt2 (content) unsat unknown 0.585s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1069.smt2 (content) unsat unknown 1.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1069.smt2 (content) unsat unknown 0.411s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1069.smt2 (content) unsat unknown 0.039s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1068.smt2 (content) unsat unknown 3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1068.smt2 (content) unsat unknown 1.3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1068.smt2 (content) unsat unknown 0.064s