detailed results (7457 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl939.smt2 (content) unsat unsat 0.198s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl938.smt2 (content) unsat unsat 0.248s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl937.smt2 (content) unsat unsat 0.115s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl936.smt2 (content) unsat unsat 0.172s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl935.smt2 (content) unsat unsat 0.101s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl934.smt2 (content) unsat unsat 0.173s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl933.smt2 (content) unsat unsat 0.267s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl932.smt2 (content) unsat unsat 0.183s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl931.smt2 (content) unsat unsat 0.243s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl930.smt2 (content) unsat unsat 0.153s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl929.smt2 (content) unsat unsat 0.219s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl928.smt2 (content) unsat unsat 0.230s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl927.smt2 (content) unsat unsat 0.160s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl926.smt2 (content) unsat unsat 0.314s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl925.smt2 (content) unsat unsat 0.165s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl924.smt2 (content) unsat unsat 0.136s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl923.smt2 (content) unsat unsat 0.131s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl922.smt2 (content) unsat unsat 0.361s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl921.smt2 (content) unsat unsat 0.251s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl920.smt2 (content) unsat unsat 0.325s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl919.smt2 (content) unsat unsat 0.206s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl918.smt2 (content) unsat unsat 0.361s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl917.smt2 (content) unsat unsat 0.190s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl916.smt2 (content) unsat unsat 0.112s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl915.smt2 (content) unsat unsat 0.148s