detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408510/iso_brn074.smt2 (content) unsat unsat 0.055s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408509/iso_brn073.smt2 (content) sat sat 1.3s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408509/iso_brn073.smt2 (content) sat sat 0.675s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408509/iso_brn073.smt2 (content) sat sat 0.082s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408508/iso_brn072.smt2 (content) sat sat 0.223s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408508/iso_brn072.smt2 (content) sat sat 0.229s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408508/iso_brn072.smt2 (content) sat sat 0.038s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408507/iso_brn071.smt2 (content) sat sat 0.279s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408507/iso_brn071.smt2 (content) sat sat 0.219s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408507/iso_brn071.smt2 (content) sat sat 0.068s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408506/iso_brn070.smt2 (content) sat sat 0.211s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408506/iso_brn070.smt2 (content) sat sat 0.250s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408506/iso_brn070.smt2 (content) sat sat 0.041s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408505/iso_brn069.smt2 (content) sat sat 0.243s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408505/iso_brn069.smt2 (content) sat sat 0.201s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408505/iso_brn069.smt2 (content) sat sat 0.046s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408504/iso_brn068.smt2 (content) unsat unsat 0.181s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408504/iso_brn068.smt2 (content) unsat unsat 0.217s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408504/iso_brn068.smt2 (content) unsat unsat 0.050s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408503/iso_brn067.smt2 (content) unsat unsat 0.225s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408503/iso_brn067.smt2 (content) unsat unsat 0.450s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408503/iso_brn067.smt2 (content) unsat unsat 0.047s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408502/iso_brn066.smt2 (content) unsat unsat 0.215s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408502/iso_brn066.smt2 (content) unsat unsat 0.639s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408502/iso_brn066.smt2 (content) unsat unsat 0.067s