detailed results (22371 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn688.smt2 (content) sat unknown 0.099s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn688.smt2 (content) sat unknown 0.069s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn688.smt2 (content) sat unknown 0.031s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn687.smt2 (content) unsat unknown 0.260s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn687.smt2 (content) unsat unknown 0.216s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn687.smt2 (content) unsat unknown 0.035s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn686.smt2 (content) sat unknown 0.150s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn686.smt2 (content) sat unknown 0.127s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn686.smt2 (content) sat unknown 0.020s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn685.smt2 (content) sat unknown 0.118s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn685.smt2 (content) sat unknown 0.162s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn685.smt2 (content) sat unknown 0.022s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn684.smt2 (content) sat unknown 0.076s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn684.smt2 (content) sat unknown 0.063s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn684.smt2 (content) sat unknown 0.027s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn683.smt2 (content) unsat unknown 0.088s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn683.smt2 (content) unsat unknown 0.103s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn683.smt2 (content) unsat unknown 0.020s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn682.smt2 (content) sat unknown 0.087s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn682.smt2 (content) sat unknown 0.075s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn682.smt2 (content) sat unknown 0.018s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn681.smt2 (content) sat unknown 0.193s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn681.smt2 (content) sat unknown 0.170s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn681.smt2 (content) sat unknown 0.029s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn680.smt2 (content) sat unknown 0.175s