detailed results (22371 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_sk007.smt2 (content) sat unknown 0.976s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_sk007.smt2 (content) sat unknown 0.112s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_sk007.smt2 (content) sat unknown 0.027s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_sk006.smt2 (content) sat unknown 1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_sk006.smt2 (content) sat unknown 0.367s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_sk006.smt2 (content) sat unknown 0.057s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_sk005.smt2 (content) sat unknown 0.735s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_sk005.smt2 (content) sat unknown 0.209s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_sk005.smt2 (content) sat unknown 0.047s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_sk004.smt2 (content) sat unknown 0.299s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_sk004.smt2 (content) sat unknown 0.094s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_sk004.smt2 (content) sat unknown 0.035s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_sk003.smt2 (content) sat unknown 0.480s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_sk003.smt2 (content) sat unknown 0.043s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_sk003.smt2 (content) sat unknown 0.020s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_sk002.smt2 (content) sat unknown 0.482s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_sk002.smt2 (content) sat unknown 0.083s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_sk002.smt2 (content) sat unknown 0.038s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_sk001.smt2 (content) sat unknown 0.164s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_sk001.smt2 (content) sat unknown 0.060s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_sk001.smt2 (content) sat unknown 0.021s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_repgen_sk017.smt2 (content) sat unknown 5.0s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_repgen_sk017.smt2 (content) sat unknown 0.799s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_repgen_sk017.smt2 (content) sat unknown 0.059s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_repgen_sk016.smt2 (content) timeout unknown 10.2s