detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl914.smt2 (content) unsat unsat 0.067s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl913.smt2 (content) unsat unsat 0.154s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl913.smt2 (content) unsat unsat 0.042s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl912.smt2 (content) unsat unsat 0.194s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl912.smt2 (content) unsat unsat 0.064s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl911.smt2 (content) unsat unsat 0.157s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl911.smt2 (content) unsat unsat 0.050s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl910.smt2 (content) unsat unsat 0.093s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl910.smt2 (content) unsat unsat 0.046s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl909.smt2 (content) unsat unsat 0.230s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl909.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl908.smt2 (content) unsat unsat 0.120s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl908.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl907.smt2 (content) unsat unsat 0.510s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl907.smt2 (content) unsat unsat 0.065s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl906.smt2 (content) unsat unsat 0.355s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl906.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl905.smt2 (content) unsat unsat 0.162s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl905.smt2 (content) unsat unsat 0.050s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl904.smt2 (content) unsat unsat 0.362s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl904.smt2 (content) unsat unsat 0.046s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl903.smt2 (content) unsat unsat 0.259s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl903.smt2 (content) unsat unsat 0.049s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl902.smt2 (content) unsat unsat 0.288s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl902.smt2 (content) unsat unsat 0.110s