detailed results (22371 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_nogen_sk008.smt2 (content) sat unknown 0.621s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_nogen_sk008.smt2 (content) sat unknown 0.620s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_nogen_sk008.smt2 (content) sat unknown 0.112s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_nogen_sk007.smt2 (content) sat unknown 2.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_nogen_sk007.smt2 (content) sat unknown 0.901s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_nogen_sk007.smt2 (content) sat unknown 0.109s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_nogen_sk006.smt2 (content) sat unknown 2.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_nogen_sk006.smt2 (content) sat unknown 0.536s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_nogen_sk006.smt2 (content) sat unknown 0.101s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_nogen_sk005.smt2 (content) sat unknown 0.544s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_nogen_sk005.smt2 (content) sat unknown 0.314s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_nogen_sk005.smt2 (content) sat unknown 0.102s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_nogen_sk004.smt2 (content) sat unknown 1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_nogen_sk004.smt2 (content) sat unknown 0.400s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_nogen_sk004.smt2 (content) sat unknown 0.110s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_nogen_sk003.smt2 (content) sat unknown 0.404s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_nogen_sk003.smt2 (content) sat unknown 0.379s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_nogen_sk003.smt2 (content) sat unknown 0.098s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_nogen_sk002.smt2 (content) sat unknown 0.647s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_nogen_sk002.smt2 (content) sat unknown 0.358s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_nogen_sk002.smt2 (content) sat unknown 0.118s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_nogen_sk001.smt2 (content) sat unknown 0.273s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_nogen_sk001.smt2 (content) sat unknown 0.411s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_nogen_sk001.smt2 (content) sat unknown 0.093s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn_nogen017.smt2 (content) timeout unknown 10s