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.499s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl701.smt2 (content) unsat unsat 0.063s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl700.smt2 (content) unsat unsat 0.305s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl700.smt2 (content) unsat unsat 0.051s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl699.smt2 (content) unsat unsat 0.422s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl699.smt2 (content) unsat unsat 0.053s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl698.smt2 (content) unsat unsat 0.231s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl698.smt2 (content) unsat unsat 0.036s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl697.smt2 (content) unsat unsat 0.244s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl697.smt2 (content) unsat unsat 0.042s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl696.smt2 (content) unsat unsat 0.241s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl696.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl695.smt2 (content) unsat unsat 0.178s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl695.smt2 (content) unsat unsat 0.045s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl694.smt2 (content) unsat unsat 0.325s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl694.smt2 (content) unsat unsat 0.047s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl693.smt2 (content) unsat unsat 0.156s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl693.smt2 (content) unsat unsat 0.042s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl692.smt2 (content) unsat unsat 0.126s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl692.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl691.smt2 (content) unsat unsat 0.523s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl691.smt2 (content) unsat unsat 0.111s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl690.smt2 (content) unsat unsat 0.599s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl690.smt2 (content) unsat unsat 0.131s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl689.smt2 (content) unsat unsat 0.343s