detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1202.smt2 (content) unsat unsat 0.048s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1201.smt2 (content) unsat unsat 0.288s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1201.smt2 (content) unsat unsat 0.071s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1200.smt2 (content) unsat unsat 0.386s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1200.smt2 (content) unsat unsat 0.068s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl120.smt2 (content) unsat unsat 0.250s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl120.smt2 (content) unsat unsat 0.064s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1199.smt2 (content) unsat unsat 0.324s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1199.smt2 (content) unsat unsat 0.078s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1198.smt2 (content) unsat unsat 0.792s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1198.smt2 (content) unsat unsat 0.066s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1197.smt2 (content) unsat unsat 0.268s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1197.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1196.smt2 (content) unsat unsat 0.294s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1196.smt2 (content) unsat unsat 0.050s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1195.smt2 (content) unsat unsat 0.356s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1195.smt2 (content) unsat unsat 0.054s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1194.smt2 (content) unsat unsat 0.203s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1194.smt2 (content) unsat unsat 0.050s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1193.smt2 (content) unsat unsat 0.105s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1193.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1192.smt2 (content) unsat unsat 0.354s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1192.smt2 (content) unsat unsat 0.055s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1191.smt2 (content) unsat unsat 0.172s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1191.smt2 (content) unsat unsat 0.058s