detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1054.smt2 (content) unsat unsat 0.155s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1054.smt2 (content) unsat unsat 0.047s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1053.smt2 (content) unsat unsat 0.382s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1053.smt2 (content) unsat unsat 0.051s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1052.smt2 (content) unsat unsat 0.234s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1052.smt2 (content) unsat unsat 0.050s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1051.smt2 (content) unsat unsat 0.253s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1051.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1050.smt2 (content) unsat unsat 0.236s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1050.smt2 (content) unsat unsat 0.038s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl105.smt2 (content) unsat unsat 0.316s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl105.smt2 (content) unsat unsat 0.060s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1049.smt2 (content) unsat unsat 0.128s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1049.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1048.smt2 (content) unsat unsat 0.135s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1048.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1047.smt2 (content) unsat unsat 0.118s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1047.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1046.smt2 (content) unsat unsat 0.167s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1046.smt2 (content) unsat unsat 0.056s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1045.smt2 (content) unsat unsat 0.064s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1045.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1044.smt2 (content) unsat unsat 0.087s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1044.smt2 (content) unsat unsat 0.060s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1043.smt2 (content) unsat unsat 0.082s