detailed results (3602 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409082/gensys_brn1240.smt2 (content) unsat unsat 0.372s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409081/gensys_brn124.smt2 (content) unsat unsat 2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409079/gensys_brn1238.smt2 (content) unsat unsat 2.6s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409074/gensys_brn1233.smt2 (content) unsat unsat 3.2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409072/gensys_brn1231.smt2 (content) unsat unsat 4.0s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409071/gensys_brn1230.smt2 (content) unsat unsat 3.3s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409070/gensys_brn123.smt2 (content) unsat unsat 2.3s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409066/gensys_brn1226.smt2 (content) unsat unsat 0.759s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409063/gensys_brn1223.smt2 (content) unsat unsat 1.5s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409059/gensys_brn122.smt2 (content) unsat unsat 1.4s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409053/gensys_brn1214.smt2 (content) unsat unsat 4.9s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409032/gensys_brn1195.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409025/gensys_brn1189.smt2 (content) unsat unsat 0.479s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409019/gensys_brn1183.smt2 (content) unsat unsat 0.502s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408992/gensys_brn1159.smt2 (content) unsat unsat 0.582s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408991/gensys_brn1158.smt2 (content) unsat unsat 2.2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408983/gensys_brn1150.smt2 (content) unsat unsat 7.2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408982/gensys_brn115.smt2 (content) unsat unsat 0.736s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408981/gensys_brn1149.smt2 (content) unsat unsat 6s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408980/gensys_brn1148.smt2 (content) unsat unsat 5.3s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408932/gensys_brn1104.smt2 (content) unsat unsat 5.4s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408931/gensys_brn1103.smt2 (content) unsat unsat 6s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408925/gensys_brn1098.smt2 (content) unsat unsat 6.6s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408913/gensys_brn1087.smt2 (content) unsat unsat 0.811s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/408911/gensys_brn1085.smt2 (content) unsat unsat 0.570s