detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl951.smt2 (content) unsat unsat 0.484s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl951.smt2 (content) unsat unsat 0.056s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl950.smt2 (content) unsat unsat 0.347s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl950.smt2 (content) unsat unsat 0.050s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl949.smt2 (content) unsat unsat 0.151s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl949.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl948.smt2 (content) unsat unsat 0.224s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl948.smt2 (content) unsat unsat 0.056s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl947.smt2 (content) unsat unsat 0.182s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl947.smt2 (content) unsat unsat 0.054s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl946.smt2 (content) unsat unsat 0.343s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl946.smt2 (content) unsat unsat 0.155s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl945.smt2 (content) unsat unsat 0.183s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl945.smt2 (content) unsat unsat 0.045s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl944.smt2 (content) unsat unsat 0.212s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl944.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl943.smt2 (content) unsat unsat 0.157s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl943.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl942.smt2 (content) unsat unsat 0.104s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl942.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl941.smt2 (content) unsat unsat 0.132s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl941.smt2 (content) unsat unsat 0.038s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl940.smt2 (content) unsat unsat 0.203s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl940.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl939.smt2 (content) unsat unsat 0.354s