detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1134.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1133.smt2 (content) unsat unsat 0.064s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1133.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1132.smt2 (content) unsat unsat 0.072s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1132.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1131.smt2 (content) unsat unsat 0.078s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1131.smt2 (content) unsat unsat 0.038s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1130.smt2 (content) unsat unsat 0.257s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1130.smt2 (content) unsat unsat 0.097s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl113.smt2 (content) unsat unsat 0.277s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl113.smt2 (content) unsat unsat 0.047s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1129.smt2 (content) unsat unsat 0.150s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1129.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1128.smt2 (content) unsat unsat 0.059s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1128.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1127.smt2 (content) unsat unsat 0.101s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1127.smt2 (content) unsat unsat 0.038s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1126.smt2 (content) unsat unsat 0.139s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1126.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1125.smt2 (content) unsat unsat 0.086s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1125.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1124.smt2 (content) unsat unsat 0.118s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1124.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1123.smt2 (content) unsat unsat 0.106s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1123.smt2 (content) unsat unsat 0.031s