detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn009.smt2 (content) sat unknown 0.159s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn009.smt2 (content) sat unknown 0.039s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn008.smt2 (content) sat unknown 2.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn008.smt2 (content) sat unknown 0.364s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn008.smt2 (content) sat unknown 0.080s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn007.smt2 (content) sat unknown 1.5s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn007.smt2 (content) sat unknown 0.241s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn007.smt2 (content) sat unknown 0.041s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn006.smt2 (content) sat unknown 6.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn006.smt2 (content) sat unknown 0.699s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn006.smt2 (content) sat unknown 0.074s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn005.smt2 (content) sat unknown 1.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn005.smt2 (content) sat unknown 0.118s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn005.smt2 (content) sat unknown 0.035s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn004.smt2 (content) sat unknown 0.962s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn004.smt2 (content) sat unknown 0.194s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn004.smt2 (content) sat unknown 0.046s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn003.smt2 (content) sat unknown 0.983s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn003.smt2 (content) sat unknown 0.155s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn003.smt2 (content) sat unknown 0.024s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn002.smt2 (content) sat unknown 0.308s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn002.smt2 (content) sat unknown 0.214s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn002.smt2 (content) sat unknown 0.055s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn001.smt2 (content) sat unknown 1.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn001.smt2 (content) sat unknown 0.233s