detailed results (28749 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408518/iso_brn082.smt2 (content) sat sat 0.341s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408518/iso_brn082.smt2 (content) sat sat 0.043s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408517/iso_brn081.smt2 (content) sat sat 0.196s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408517/iso_brn081.smt2 (content) sat sat 0.323s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408517/iso_brn081.smt2 (content) sat sat 0.070s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408516/iso_brn080.smt2 (content) sat sat 0.294s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408516/iso_brn080.smt2 (content) sat sat 0.367s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408516/iso_brn080.smt2 (content) sat sat 0.042s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408515/iso_brn079.smt2 (content) unsat unsat 0.227s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408515/iso_brn079.smt2 (content) unsat unsat 0.373s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408515/iso_brn079.smt2 (content) unsat unsat 0.044s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408514/iso_brn078.smt2 (content) unsat unsat 0.540s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408514/iso_brn078.smt2 (content) unsat unsat 1s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408514/iso_brn078.smt2 (content) unsat unsat 0.062s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408513/iso_brn077.smt2 (content) unsat unsat 0.442s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408513/iso_brn077.smt2 (content) unsat unsat 0.569s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408513/iso_brn077.smt2 (content) unsat unsat 0.054s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408512/iso_brn076.smt2 (content) sat sat 0.755s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408512/iso_brn076.smt2 (content) sat sat 0.837s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408512/iso_brn076.smt2 (content) sat sat 0.061s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408511/iso_brn075.smt2 (content) unsat unsat 0.325s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408511/iso_brn075.smt2 (content) unsat unsat 0.604s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408511/iso_brn075.smt2 (content) unsat unsat 0.070s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408510/iso_brn074.smt2 (content) unsat unsat 0.128s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408510/iso_brn074.smt2 (content) unsat unsat 0.673s