detailed results (4328 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1065.smt2 (content) unsat unsat 0.165s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1064.smt2 (content) unsat unsat 0.115s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1063.smt2 (content) unsat unsat 0.280s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1062.smt2 (content) unsat unsat 0.450s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1061.smt2 (content) unsat unsat 0.070s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1060.smt2 (content) unsat unsat 0.215s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl106.smt2 (content) unsat unsat 0.407s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1059.smt2 (content) unsat unsat 0.411s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1058.smt2 (content) unsat unsat 0.124s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1057.smt2 (content) unsat unsat 0.818s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1056.smt2 (content) unsat unsat 0.759s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1055.smt2 (content) unsat unsat 0.649s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1054.smt2 (content) unsat unsat 0.457s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1053.smt2 (content) unsat unsat 0.759s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1052.smt2 (content) unsat unsat 0.657s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1051.smt2 (content) unsat unsat 0.480s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1050.smt2 (content) unsat unsat 0.957s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl105.smt2 (content) unsat unsat 0.286s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1049.smt2 (content) unsat unsat 0.099s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1048.smt2 (content) unsat unsat 0.103s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1047.smt2 (content) unsat unsat 0.145s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1046.smt2 (content) unsat unsat 0.176s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1045.smt2 (content) unsat unsat 0.076s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1044.smt2 (content) unsat unsat 0.093s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1043.smt2 (content) unsat unsat 0.094s