detailed results (7457 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl889.smt2 (content) unsat unsat 0.084s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl888.smt2 (content) unsat unsat 0.295s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl887.smt2 (content) unsat unsat 0.298s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl886.smt2 (content) unsat unsat 0.171s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl885.smt2 (content) unsat unsat 0.235s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl884.smt2 (content) unsat unsat 0.200s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl883.smt2 (content) unsat unsat 0.178s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl882.smt2 (content) unsat unsat 0.130s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl881.smt2 (content) unsat unsat 0.160s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl880.smt2 (content) unsat unsat 0.256s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl879.smt2 (content) unsat unsat 0.262s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl878.smt2 (content) unsat unsat 0.362s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl877.smt2 (content) unsat unsat 0.129s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl876.smt2 (content) unsat unsat 0.122s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl875.smt2 (content) unsat unsat 0.134s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl874.smt2 (content) unsat unsat 0.152s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl873.smt2 (content) unsat unsat 0.195s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl872.smt2 (content) unsat unsat 0.065s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl871.smt2 (content) unsat unsat 0.127s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl870.smt2 (content) unsat unsat 0.179s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl869.smt2 (content) unsat unsat 0.193s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl868.smt2 (content) unsat unsat 0.223s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl867.smt2 (content) unsat unsat 0.273s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl866.smt2 (content) unsat unsat 0.211s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl865.smt2 (content) unsat unsat 0.342s