detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn722.smt2 (content) sat unknown 0.018s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn721.smt2 (content) sat unknown 0.138s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn721.smt2 (content) sat unknown 0.128s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn721.smt2 (content) sat unknown 0.026s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn720.smt2 (content) sat unknown 0.193s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn720.smt2 (content) sat unknown 0.144s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn720.smt2 (content) sat unknown 0.035s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn719.smt2 (content) sat unknown 0.102s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn719.smt2 (content) sat unknown 0.125s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn719.smt2 (content) sat unknown 0.016s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn718.smt2 (content) sat unknown 0.063s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn718.smt2 (content) sat unknown 0.080s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn718.smt2 (content) sat unknown 0.014s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn717.smt2 (content) unsat unknown 0.212s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn717.smt2 (content) unsat unknown 0.273s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn717.smt2 (content) unsat unknown 0.038s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn716.smt2 (content) sat unknown 0.083s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn716.smt2 (content) sat unknown 0.069s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn716.smt2 (content) sat unknown 0.014s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn715.smt2 (content) sat unknown 0.075s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn715.smt2 (content) sat unknown 0.059s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn715.smt2 (content) sat unknown 0.017s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn714.smt2 (content) sat unknown 0.033s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn714.smt2 (content) sat unknown 0.049s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn714.smt2 (content) sat unknown 0.016s