detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen_sk013.smt2 (content) sat unknown 9.4s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen_sk013.smt2 (content) sat unknown 0.088s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen_sk012.smt2 (content) timeout unknown 10.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen_sk012.smt2 (content) sat unknown 10.4s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen_sk012.smt2 (content) sat unknown 0.244s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen_sk011.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen_sk011.smt2 (content) sat unknown 6.4s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen_sk011.smt2 (content) sat unknown 0.053s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen_sk010.smt2 (content) timeout unknown 10.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen_sk010.smt2 (content) sat unknown 5.3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen_sk010.smt2 (content) sat unknown 0.054s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen_sk009.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen_sk009.smt2 (content) sat unknown 6.8s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen_sk009.smt2 (content) sat unknown 0.063s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen_sk008.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen_sk008.smt2 (content) sat unknown 5.3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen_sk008.smt2 (content) sat unknown 0.040s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen_sk007.smt2 (content) sat unknown 9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen_sk007.smt2 (content) sat unknown 3.7s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen_sk007.smt2 (content) sat unknown 0.075s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen_sk006.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen_sk006.smt2 (content) sat unknown 2.3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen_sk006.smt2 (content) sat unknown 0.037s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen_sk005.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg7/iso_brn_repgen_sk005.smt2 (content) sat unknown 4.8s