detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn003.smt2 (content) sat sat 0.098s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn003.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn002.smt2 (content) sat sat 0.047s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn002.smt2 (content) sat sat 0.038s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn001.smt2 (content) sat sat 0.068s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_brn001.smt2 (content) sat sat 0.046s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_icl109.smt2 (content) unsat unsat 0.650s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_icl109.smt2 (content) unsat unsat 0.158s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_icl108.smt2 (content) unsat unsat 1.2s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_icl108.smt2 (content) unsat unsat 0.220s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_icl107.smt2 (content) unsat unsat 1.5s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_icl107.smt2 (content) unsat unsat 0.186s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_icl106.smt2 (content) unsat unsat 2.7s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_icl106.smt2 (content) unsat unsat 0.190s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_icl105.smt2 (content) unsat unsat 1.6s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_icl105.smt2 (content) unsat unsat 0.219s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_icl104.smt2 (content) unsat unsat 1.7s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_icl104.smt2 (content) unsat unsat 0.181s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_icl103.smt2 (content) unsat unsat 0.840s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_icl103.smt2 (content) unsat unsat 0.153s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_icl102.smt2 (content) unsat unsat 1.3s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_icl102.smt2 (content) unsat unsat 0.133s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_icl101.smt2 (content) unsat unsat 0.404s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_icl101.smt2 (content) unsat unsat 0.084s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/gensys_icl100.smt2 (content) unsat unsat 0.706s