detailed results (28749 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408493/iso_brn057.smt2 (content) sat sat 0.384s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408493/iso_brn057.smt2 (content) sat sat 0.037s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408492/iso_brn056.smt2 (content) sat sat 0.127s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408492/iso_brn056.smt2 (content) sat sat 0.139s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408492/iso_brn056.smt2 (content) sat sat 0.037s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408491/iso_brn055.smt2 (content) sat sat 0.174s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408491/iso_brn055.smt2 (content) sat sat 0.175s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408491/iso_brn055.smt2 (content) sat sat 0.036s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408490/iso_brn054.smt2 (content) sat sat 0.116s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408490/iso_brn054.smt2 (content) sat sat 0.122s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408490/iso_brn054.smt2 (content) sat sat 0.033s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408489/iso_brn053.smt2 (content) unsat unsat 0.182s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408489/iso_brn053.smt2 (content) unsat unsat 0.184s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408489/iso_brn053.smt2 (content) unsat unsat 0.047s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408488/iso_brn052.smt2 (content) sat sat 0.235s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408488/iso_brn052.smt2 (content) sat sat 0.222s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408488/iso_brn052.smt2 (content) sat sat 0.103s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408487/iso_brn051.smt2 (content) sat sat 0.197s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408487/iso_brn051.smt2 (content) sat sat 0.294s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408487/iso_brn051.smt2 (content) sat sat 0.120s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408486/iso_brn050.smt2 (content) sat sat 0.265s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408486/iso_brn050.smt2 (content) sat sat 0.318s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408486/iso_brn050.smt2 (content) sat sat 0.388s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408485/iso_brn049.smt2 (content) unsat unsat 0.177s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408485/iso_brn049.smt2 (content) unsat unsat 0.202s