detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl701.smt2 (content) unsat unsat 0.565s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl701.smt2 (content) unsat unsat 0.067s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl700.smt2 (content) unsat unsat 0.349s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl700.smt2 (content) unsat unsat 0.053s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl699.smt2 (content) unsat unsat 0.256s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl699.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl698.smt2 (content) unsat unsat 0.348s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl698.smt2 (content) unsat unsat 0.054s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl697.smt2 (content) unsat unsat 0.297s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl697.smt2 (content) unsat unsat 0.091s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl696.smt2 (content) unsat unsat 0.237s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl696.smt2 (content) unsat unsat 0.051s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl695.smt2 (content) unsat unsat 0.211s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl695.smt2 (content) unsat unsat 0.053s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl694.smt2 (content) unsat unsat 0.218s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl694.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl693.smt2 (content) unsat unsat 0.087s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl693.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl692.smt2 (content) unsat unsat 0.108s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl692.smt2 (content) unsat unsat 0.046s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl691.smt2 (content) unsat unsat 0.235s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl691.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl690.smt2 (content) unsat unsat 0.252s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl690.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl689.smt2 (content) unsat unsat 0.284s