detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl951.smt2 (content) unsat unsat 0.383s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl951.smt2 (content) unsat unsat 0.058s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl950.smt2 (content) unsat unsat 0.229s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl950.smt2 (content) unsat unsat 0.036s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl949.smt2 (content) unsat unsat 0.154s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl949.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl948.smt2 (content) unsat unsat 0.218s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl948.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl947.smt2 (content) unsat unsat 0.193s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl947.smt2 (content) unsat unsat 0.050s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl946.smt2 (content) unsat unsat 0.183s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl946.smt2 (content) unsat unsat 0.054s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl945.smt2 (content) unsat unsat 0.166s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl945.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl944.smt2 (content) unsat unsat 0.331s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl944.smt2 (content) unsat unsat 0.075s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl943.smt2 (content) unsat unsat 0.225s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl943.smt2 (content) unsat unsat 0.049s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl942.smt2 (content) unsat unsat 0.180s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl942.smt2 (content) unsat unsat 0.055s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl941.smt2 (content) unsat unsat 0.311s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl941.smt2 (content) unsat unsat 0.053s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl940.smt2 (content) unsat unsat 0.271s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl940.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl939.smt2 (content) unsat unsat 0.271s