detailed results (22371 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen050.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen050.smt2 (content) sat unknown 1.4s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen050.smt2 (content) sat unknown 0.168s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen049.smt2 (content) timeout unknown 10.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen049.smt2 (content) sat unknown 2.8s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen049.smt2 (content) sat unknown 0.053s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen048.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen048.smt2 (content) sat unknown 3.0s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen048.smt2 (content) sat unknown 0.174s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen047.smt2 (content) timeout unknown 10.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen047.smt2 (content) sat unknown 3.8s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen047.smt2 (content) sat unknown 0.296s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen046.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen046.smt2 (content) sat unknown 3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen046.smt2 (content) sat unknown 0.085s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen045.smt2 (content) timeout unknown 10.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen045.smt2 (content) unknown unknown 10.3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen045.smt2 (content) sat unknown 0.362s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen044.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen044.smt2 (content) sat unknown 4.3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen044.smt2 (content) sat unknown 0.254s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen043.smt2 (content) timeout unknown 10.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen043.smt2 (content) sat unknown 7s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen043.smt2 (content) sat unknown 0.258s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen042.smt2 (content) timeout unknown 10s