detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl889.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl888.smt2 (content) unsat unsat 0.295s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl888.smt2 (content) unsat unsat 0.057s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl887.smt2 (content) unsat unsat 0.298s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl887.smt2 (content) unsat unsat 0.099s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl886.smt2 (content) unsat unsat 0.171s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl886.smt2 (content) unsat unsat 0.058s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl885.smt2 (content) unsat unsat 0.235s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl885.smt2 (content) unsat unsat 0.047s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl884.smt2 (content) unsat unsat 0.200s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl884.smt2 (content) unsat unsat 0.045s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl883.smt2 (content) unsat unsat 0.178s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl883.smt2 (content) unsat unsat 0.049s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl882.smt2 (content) unsat unsat 0.130s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl882.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl881.smt2 (content) unsat unsat 0.160s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl881.smt2 (content) unsat unsat 0.042s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl880.smt2 (content) unsat unsat 0.256s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl880.smt2 (content) unsat unsat 0.062s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl879.smt2 (content) unsat unsat 0.262s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl879.smt2 (content) unsat unsat 0.050s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl878.smt2 (content) unsat unsat 0.362s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl878.smt2 (content) unsat unsat 0.052s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl877.smt2 (content) unsat unsat 0.129s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl877.smt2 (content) unsat unsat 0.043s