detailed results (3887 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1214.smt2 (content) unsat unknown 3.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1195.smt2 (content) unsat unknown 0.954s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1189.smt2 (content) unsat unknown 0.596s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1183.smt2 (content) unsat unknown 0.803s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1159.smt2 (content) unsat unknown 0.390s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1158.smt2 (content) unsat unknown 1.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1150.smt2 (content) unsat unknown 4.7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn115.smt2 (content) unsat unknown 0.932s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1149.smt2 (content) unsat unknown 9.0s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1148.smt2 (content) unsat unknown 3.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1104.smt2 (content) unsat unknown 3.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1103.smt2 (content) unsat unknown 3.0s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1098.smt2 (content) unsat unknown 4.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1087.smt2 (content) unsat unknown 0.556s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1085.smt2 (content) unsat unknown 0.489s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1083.smt2 (content) unsat unknown 0.130s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1074.smt2 (content) unsat unknown 6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1073.smt2 (content) unsat unknown 9.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1061.smt2 (content) unsat unknown 0.186s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1057.smt2 (content) unsat unknown 4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1052.smt2 (content) unsat unknown 1.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1050.smt2 (content) unsat unknown 9.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn105.smt2 (content) unsat unknown 2.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1038.smt2 (content) unsat unknown 0.360s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1034.smt2 (content) unsat unknown 0.309s