detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1196.smt2 (content) unsat unknown 2.8s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1196.smt2 (content) unsat unknown 0.052s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1195.smt2 (content) unsat unknown 4.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1195.smt2 (content) unsat unknown 4.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1195.smt2 (content) unsat unknown 0.102s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1194.smt2 (content) unsat unknown 2.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1194.smt2 (content) unsat unknown 3.9s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1194.smt2 (content) unsat unknown 0.069s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1193.smt2 (content) unsat unknown 8.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1193.smt2 (content) unsat unknown 2.5s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1193.smt2 (content) unsat unknown 0.105s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1192.smt2 (content) unsat unknown 4.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1192.smt2 (content) unsat unknown 6.4s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1192.smt2 (content) unsat unknown 0.147s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1191.smt2 (content) unsat unknown 3.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1191.smt2 (content) unsat unknown 1.0s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1191.smt2 (content) unsat unknown 0.072s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1190.smt2 (content) unsat unknown 0.280s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1190.smt2 (content) unsat unknown 0.155s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1190.smt2 (content) unsat unknown 0.043s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl119.smt2 (content) unsat unknown 3.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl119.smt2 (content) unsat unknown 1.9s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl119.smt2 (content) unsat unknown 0.143s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1189.smt2 (content) unsat unknown 0.497s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1189.smt2 (content) unsat unknown 0.290s