detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408535/iso_brn099.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408534/iso_brn098.smt2 (content) unsat unsat 0.173s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408534/iso_brn098.smt2 (content) unsat unsat 0.619s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408534/iso_brn098.smt2 (content) unsat unsat 0.045s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408533/iso_brn097.smt2 (content) sat sat 0.391s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408533/iso_brn097.smt2 (content) sat sat 0.372s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408533/iso_brn097.smt2 (content) sat sat 0.043s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408532/iso_brn096.smt2 (content) unsat unsat 0.147s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408532/iso_brn096.smt2 (content) unsat unsat 0.221s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408532/iso_brn096.smt2 (content) unsat unsat 0.087s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408531/iso_brn095.smt2 (content) sat sat 0.305s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408531/iso_brn095.smt2 (content) sat sat 0.324s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408531/iso_brn095.smt2 (content) sat sat 0.068s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408530/iso_brn094.smt2 (content) sat sat 0.327s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408530/iso_brn094.smt2 (content) sat sat 0.398s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408530/iso_brn094.smt2 (content) sat sat 0.047s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408529/iso_brn093.smt2 (content) sat sat 0.288s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408529/iso_brn093.smt2 (content) sat sat 0.271s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408529/iso_brn093.smt2 (content) sat sat 0.047s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408528/iso_brn092.smt2 (content) sat sat 0.329s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408528/iso_brn092.smt2 (content) sat sat 0.444s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408528/iso_brn092.smt2 (content) sat sat 0.070s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408527/iso_brn091.smt2 (content) sat sat 0.227s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408527/iso_brn091.smt2 (content) sat sat 0.367s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408527/iso_brn091.smt2 (content) sat sat 0.042s