detailed results (28749 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408476/iso_brn040.smt2 (content) sat sat 0.162s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408476/iso_brn040.smt2 (content) sat sat 0.150s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408476/iso_brn040.smt2 (content) sat sat 0.046s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408475/iso_brn039.smt2 (content) sat sat 0.105s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408475/iso_brn039.smt2 (content) sat sat 0.136s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408475/iso_brn039.smt2 (content) sat sat 0.036s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408474/iso_brn038.smt2 (content) unsat unsat 0.094s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408474/iso_brn038.smt2 (content) unsat unsat 0.190s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408474/iso_brn038.smt2 (content) unsat unsat 0.036s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408473/iso_brn037.smt2 (content) sat sat 0.067s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408473/iso_brn037.smt2 (content) sat sat 0.120s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408473/iso_brn037.smt2 (content) sat sat 0.034s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408472/iso_brn036.smt2 (content) sat sat 0.158s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408472/iso_brn036.smt2 (content) sat sat 0.330s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408472/iso_brn036.smt2 (content) sat sat 0.045s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408471/iso_brn035.smt2 (content) sat sat 0.273s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408471/iso_brn035.smt2 (content) sat sat 0.285s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408471/iso_brn035.smt2 (content) sat sat 0.062s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408470/iso_brn034.smt2 (content) sat sat 0.346s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408470/iso_brn034.smt2 (content) sat sat 0.240s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408470/iso_brn034.smt2 (content) sat sat 0.057s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408469/iso_brn033.smt2 (content) unsat unsat 0.144s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408469/iso_brn033.smt2 (content) unsat unsat 0.216s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408469/iso_brn033.smt2 (content) unsat unsat 0.051s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408468/iso_brn032.smt2 (content) sat sat 0.166s