detailed results (3039 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl289.smt2 (content) unsat unsat 0.106s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl288.smt2 (content) unsat unsat 0.206s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl287.smt2 (content) unsat unsat 0.123s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl286.smt2 (content) unsat unsat 0.111s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl285.smt2 (content) unsat unsat 0.109s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl284.smt2 (content) unsat unsat 0.087s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl283.smt2 (content) unsat unsat 0.093s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl282.smt2 (content) unsat unsat 0.121s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl281.smt2 (content) unsat unsat 0.121s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl280.smt2 (content) unsat unsat 0.223s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl279.smt2 (content) unsat unsat 0.116s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl278.smt2 (content) unsat unsat 0.118s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl277.smt2 (content) unsat unsat 0.089s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl276.smt2 (content) unsat unsat 0.102s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl275.smt2 (content) unsat unsat 0.097s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl274.smt2 (content) unsat unsat 0.101s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl273.smt2 (content) unsat unsat 0.071s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl272.smt2 (content) unsat unsat 0.102s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl271.smt2 (content) unsat unsat 0.142s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl270.smt2 (content) unsat unsat 0.119s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl269.smt2 (content) unsat unsat 0.074s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl268.smt2 (content) unsat unsat 0.071s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl267.smt2 (content) unsat unsat 0.063s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl266.smt2 (content) unsat unsat 0.205s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl265.smt2 (content) unsat unsat 0.269s