detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408485/iso_brn049.smt2 (content) unsat unsat 0.098s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408484/iso_brn048.smt2 (content) sat sat 0.327s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408484/iso_brn048.smt2 (content) sat sat 0.188s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408484/iso_brn048.smt2 (content) sat sat 0.056s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408483/iso_brn047.smt2 (content) sat sat 0.277s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408483/iso_brn047.smt2 (content) sat sat 0.145s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408483/iso_brn047.smt2 (content) sat sat 0.034s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408482/iso_brn046.smt2 (content) unsat unsat 0.251s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408482/iso_brn046.smt2 (content) unsat unsat 0.246s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408482/iso_brn046.smt2 (content) unsat unsat 0.063s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408481/iso_brn045.smt2 (content) unsat unsat 0.284s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408481/iso_brn045.smt2 (content) unsat unsat 0.276s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408481/iso_brn045.smt2 (content) unsat unsat 0.072s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408480/iso_brn044.smt2 (content) unsat unsat 0.218s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408480/iso_brn044.smt2 (content) unsat unsat 0.197s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408480/iso_brn044.smt2 (content) unsat unsat 0.080s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408479/iso_brn043.smt2 (content) sat sat 0.171s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408479/iso_brn043.smt2 (content) sat sat 0.210s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408479/iso_brn043.smt2 (content) sat sat 0.070s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408478/iso_brn042.smt2 (content) sat sat 0.135s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408478/iso_brn042.smt2 (content) sat sat 0.103s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408478/iso_brn042.smt2 (content) sat sat 0.039s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408477/iso_brn041.smt2 (content) sat sat 0.097s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408477/iso_brn041.smt2 (content) sat sat 0.114s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408477/iso_brn041.smt2 (content) sat sat 0.032s